The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antoine Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A Logic of Reachable Patterns in Linked Data-Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:94-110 [Conf]
  2. Antoine Meyer
    On Term Rewriting Systems Having a Rational Derivation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:378-392 [Conf]
  3. Ahmed Bouajjani, Antoine Meyer
    Symbolic Reachability Analysis of Higher-Order Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:135-147 [Conf]
  4. Arnaud Carayol, Antoine Meyer
    Linearly Bounded Infinite Graphs. [Citation Graph (0, 0)][DBLP]
    MFCS, 2005, pp:180-191 [Conf]
  5. Arnaud Carayol, Antoine Meyer
    Linearly bounded infinite graphs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:43, n:4, pp:265-292 [Journal]
  6. Arnaud Carayol, Antoine Meyer
    Context-Sensitive Languages, Rational Graphs and Determinism. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  7. Antoine Meyer
    Traces of Term-Automatic Graphs. [Citation Graph (0, 0)][DBLP]
    MFCS, 2007, pp:489-500 [Conf]
  8. Arnaud Carayol, Antoine Meyer
    Linearly bounded infinite graphs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  9. Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A Logic of Reachable Patterns in Linked Data-Structures [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  10. Ahmed Bouajjani, Antoine Meyer
    Symbolic Reachability Analysis of Higher-Order Context-Free Processes [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  11. Antoine Meyer
    On Term Rewriting Systems Having a Rational Derivation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  12. Arnaud Carayol, Antoine Meyer
    Context-Sensitive Languages, Rational Graphs and Determinism [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  13. Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A logic of reachable patterns in linked data-structures. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:111-142 [Journal]

  14. On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. [Citation Graph (, )][DBLP]


  15. Counting CTL. [Citation Graph (, )][DBLP]


  16. Winning Regions of Higher-Order Pushdown Games. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002