The SCEAS System
Navigation Menu

Conferences in DBLP

Foundations of Software Science and Computation Structure (FoSSaCS) (fossacs)
2000 (conf/fossacs/2000)

  1. Christel Baier, Mariëlle Stoelinga
    Norm Functions for Probabilistic Bisimulations with Delays. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:1-16 [Conf]
  2. Gilles Barthe, Femke van Raamsdonk
    Constructor Subtyping in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:17-34 [Conf]
  3. Béatrice Bérard, Anne Labroue, Ph. Schnoebelen
    Verifying Performance Equivalence for Timed Basic Parallel Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:35-47 [Conf]
  4. Didier Caucal
    On Word Rewriting Systems Having a Rational Derivation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:48-62 [Conf]
  5. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Proof Nets and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:63-81 [Conf]
  6. Ferruccio Damiani
    Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:82-97 [Conf]
  7. Frank Drewes, Berthold Hoffmann, Detlef Plump
    Hierarchical Graph Transformation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:98-113 [Conf]
  8. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    A Program Refinement Framework Supporting Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:114-129 [Conf]
  9. Jo Erskine Hannay
    A Higher-Order Simulation Relation for System F. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:130-145 [Conf]
  10. Oltea Mihaela Herescu, Catuscia Palamidessi
    Probabilistic Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:146-160 [Conf]
  11. Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
    Constructive Data Refinement in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:161-176 [Conf]
  12. Jean-François Husson, Rémi Morin
    On Recognizable Stable Trace Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:177-191 [Conf]
  13. François Laroussinie, Ph. Schnoebelen
    The State Explosion Problem from Trace to Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:192-207 [Conf]
  14. Huimin Lin, Wang Yi
    A Proof System for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:208-222 [Conf]
  15. Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
    Categorical Models for Intuitionistic and Linear Type Theory. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:223-237 [Conf]
  16. Massimo Merro
    Locality and Polyadicity in Asynchronous Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:238-251 [Conf]
  17. Christophe Morvan
    On Rational Graphs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:252-266 [Conf]
  18. Jorge Sousa Pinto
    Sequential and Concurrent Abstract Machines for Interaction Nets. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:267-282 [Conf]
  19. Paola Quaglia, David Walker
    On Synchronous and Asynchronous Mobile Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:283-296 [Conf]
  20. Aleksy Schubert
    Type Inference for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:297-313 [Conf]
  21. Peter Thiemann
    An Algebraic Foundation for Adaptive Programming. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:314-328 [Conf]
  22. Ralf Treinen
    Predicate Logic and Tree Automata with Tests. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:329-343 [Conf]
  23. Yih-Kuen Tsay
    Compositional Verification in Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:344-358 [Conf]
  24. Hongseok Yang, Uday S. Reddy
    On the Semantics of Refinement Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:359-374 [Conf]
  25. Pascal Zimmer
    Subtyping and Typing Algorithms for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:375-390 [Conf]
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