The SCEAS System
Navigation Menu

Conferences in DBLP

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


  1. Finding Your Way in a Forest: On Different Types of Trees and Their Properties. [Citation Graph (, )][DBLP]


  2. Simple Stochastic Games with Few Random Vertices Are Easy to Solve. [Citation Graph (, )][DBLP]


  3. The Complexity of Nash Equilibria in Infinite Multiplayer Games. [Citation Graph (, )][DBLP]


  4. Stochastic Games with Lossy Channels. [Citation Graph (, )][DBLP]


  5. Simulation Hemi-metrics between Infinite-State Stochastic Games. [Citation Graph (, )][DBLP]


  6. Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. [Citation Graph (, )][DBLP]


  7. A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). [Citation Graph (, )][DBLP]


  8. The omega-Regular Post Embedding Problem. [Citation Graph (, )][DBLP]


  9. Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]


  10. Classes of Tree Homomorphisms with Decidable Preservation of Regularity. [Citation Graph (, )][DBLP]


  11. A Kleene-Schützenberger Theorem for Weighted Timed Automata. [Citation Graph (, )][DBLP]


  12. Robust Analysis of Timed Automata via Channel Machines. [Citation Graph (, )][DBLP]


  13. The Common Fragment of ACTL and LTL. [Citation Graph (, )][DBLP]


  14. The Complexity of CTL* + Linear Past. [Citation Graph (, )][DBLP]


  15. Footprints in Local Reasoning. [Citation Graph (, )][DBLP]


  16. A Modal Deconstruction of Access Control Logics. [Citation Graph (, )][DBLP]


  17. Coalgebraic Logic and Synthesis of Mealy Machines. [Citation Graph (, )][DBLP]


  18. The Microcosm Principle and Concurrency in Coalgebra. [Citation Graph (, )][DBLP]


  19. Systems of Equations Satisfied in All Commutative Finite Semigroups. [Citation Graph (, )][DBLP]


  20. Optimal Lower Bounds on Regular Expression Size Using Communication Complexity. [Citation Graph (, )][DBLP]


  21. On Decision Problems for Probabilistic Büchi Automata. [Citation Graph (, )][DBLP]


  22. Model-Checking omega-Regular Properties of Interval Markov Chains. [Citation Graph (, )][DBLP]


  23. Prevision Domains and Convex Powercones. [Citation Graph (, )][DBLP]


  24. RPO, Second-Order Contexts, and lambda-Calculus. [Citation Graph (, )][DBLP]


  25. Erasure and Polymorphism in Pure Type Systems. [Citation Graph (, )][DBLP]


  26. The Implicit Calculus of Constructions as a Programming Language with Dependent Types. [Citation Graph (, )][DBLP]


  27. Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. [Citation Graph (, )][DBLP]


  28. Symbolic Semantics Revisited. [Citation Graph (, )][DBLP]


  29. Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. [Citation Graph (, )][DBLP]


  30. Structural Operational Semantics for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  31. Compositional Methods for Information-Hiding. [Citation Graph (, )][DBLP]


  32. Products of Message Sequence Charts. [Citation Graph (, )][DBLP]


  33. What Else Is Decidable about Integer Arrays?. [Citation Graph (, )][DBLP]


  34. Model Checking Freeze LTL over One-Counter Automata. [Citation Graph (, )][DBLP]

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