Joey Eremondi

14 papers C 3Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Insertion Operations on Deterministic Reversal-Bounded Counter Machines.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2019 J jnl
Insertion operations on deterministic reversal-bounded counter machines.
J. Comput. Syst. Sci.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2019 J jnl
On the Density of Context-Free and Counter Languages.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2018 J jnl
On the Density of Context-Free and Counter Languages.
Int. J. Found. Comput. Sci.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2018 J jnl
On the complexity and decidability of some problems involving shuffle.
Inf. Comput.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2017 J jnl
Deletion operations on deterministic families of automata.
Inf. Comput.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2016 J jnl
Deletion Operations on Deterministic Families of Automata.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2016 J jnl
On the Complexity and Decidability of Some Problems Involving Shuffle.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 C conf
Deletion Operations on Deterministic Families of Automata.
TAMC
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 C conf
Insertion Operations on Deterministic Reversal-Bounded Counter Machines.
LATA
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 — conf
On the Complexity and Decidability of Some Problems Involving Shuffle.
DCFS
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 C conf
On the Density of Context-Free and Counter Languages.
DLT
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2013 — conf
The poor man's proof assistant: using prolog to develop formal language theoretic proofs.
SPLASH (Companion Volume)
Joey Eremondi
2013 — conf
The poor man's proof assistant: using prolog to develop formal language theoretic proofs.
SPLASH (Companion Volume)
Joey Eremondi