J. C. E. Dekker

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
1992 J jnl
Myhill's Work in Recursion Theory.
Ann. Pure Appl. Log.
J. C. E. Dekker, Erik Ellentuck
1990 J jnl
An isolic generalization of Cauchy's theorem for finite groups.
Arch. Math. Log.
J. C. E. Dekker
1989 J jnl
Isols and the Pigeonhole Principle.
J. Symb. Log.
J. C. E. Dekker, Erik Ellentuck
1986 J jnl
Isols and burnside's lemma.
Ann. Pure Appl. Log.
J. C. E. Dekker
1986 J jnl
The Inclusion-Exclusion Principle for Finitely Many Isolated Sets.
J. Symb. Log.
J. C. E. Dekker
1982 J jnl
Automorphisms of ω-octahedral graphs.
Notre Dame J. Formal Log.
J. C. E. Dekker
1981 J jnl
Automorphisms of ω-cubes.
Notre Dame J. Formal Log.
J. C. E. Dekker
1981 J jnl
Twilight Graphs.
J. Symb. Log.
J. C. E. Dekker
1978 J jnl
Projective bigraphs with recursive operations.
Notre Dame J. Formal Log.
J. C. E. Dekker
1976 J jnl
Projective Planes of Infinite But Isolic Order.
J. Symb. Log.
J. C. E. Dekker
1971 J jnl
Countable Vector Spaces with Recursive Operations. Part II.
J. Symb. Log.
J. C. E. Dekker
1971 J jnl
Two notes on vector spaces with recursive operations.
Notre Dame J. Formal Log.
J. C. E. Dekker
1970 J jnl
Partial Recursive Functions and omega-Functions.
J. Symb. Log.
C. H. Applebaum, J. C. E. Dekker
1969 J jnl
Countable Vector Spaces with Recursive Operations. Part I.
J. Symb. Log.
J. C. E. Dekker
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski