Skip to content
cs-conference-ranking.org

Graud Snizergues

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

6

Active years

1993–2020

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2020ICALPOn Polynomial Recursive Sequences.Michal Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Graud Snizergues
2018ICALPThe Isomorphism Problem for Finite Extensions of Free Groups Is In PSPACE.Graud Snizergues, Armin Wei
2015CSREquations over Free Inverse Monoids with Idempotent Variables.Volker Diekert, Florent Martin, Graud Snizergues, Pedro V. Silva
2007CSRSequences of Level 1, 2, 3, ...,Graud Snizergues
2006ICALPTheories of HNN-Extensions and Amalgamated Products.Markus Lohrey, Graud Snizergues
2003ICALPThe Equivalence Problem for t-Turn DPDA Is Co-NP.Graud Snizergues
2002ICALPL(A) = L(B)? Decidability Results from Complete Formal Systems.Graud Snizergues
2001MCUSome Applications of the Decidability of DPDA's Equivalence.Graud Snizergues
1999ICALPT(A) = T(B)?Graud Snizergues
1998FOCSDecidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree.Graud Snizergues
1998MCUComplete Formal Systems for Equivalence Problems.Graud Snizergues
1998MFCSThe Equivalence Problem for Deterministic Pushdown Transducers into Abelian Groups.Graud Snizergues
1997ICALPThe Equivalence Problem for Deterministic Pushdown Automata is Decidable.Graud Snizergues
1996ICALPSemi-Groups Acting on Context-Free Graphs.Graud Snizergues
1996LICSDecision Problems for Semi-Thue Systems with a Few Rules.Yuri V. Matiyasevich, Graud Snizergues
1993ICALPAn Effective Version of Stallings' Theorem in the Case of Context-Free Groups.Graud Snizergues