The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Taolue Chen, Wan Fokkink, Sumit Nain
    On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:1-15 [Conf]
  2. Adrian Francalanza, Matthew Hennessy
    A Theory for Observational Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:16-31 [Conf]
  3. Cosimo Laneve, Luca Padovani
    Smooth Orchestrators. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:32-46 [Conf]
  4. Daniele Gorla
    On the Relative Expressive Power of Asynchronous Communication Primitives. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:47-62 [Conf]
  5. Zining Cao
    More on Bisimulations for Higher Order pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:63-78 [Conf]
  6. Fernando Magno Quintão Pereira, Jens Palsberg
    Register Allocation After Classical SSA Elimination is NP-Complete. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:79-93 [Conf]
  7. 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]
  8. Corin Pitcher, James Riely
    Dynamic Policy Discovery with Remote Attestation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:111-125 [Conf]
  9. Paolo Baldan, Stefan Haar, Barbara König
    Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:126-141 [Conf]
  10. Philipp Rohde
    On the µ-Calculus Augmented with Sabotage. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:142-156 [Conf]
  11. Lutz Schröder
    A Finite Model Construction for Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:157-171 [Conf]
  12. Marcello M. Bonsangue, Alexander Kurz
    Presenting Functors by Operations and Equations. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:172-186 [Conf]
  13. Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, Henning Niss
    Bigraphical Models of Context-Aware Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:187-201 [Conf]
  14. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
    Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:202-216 [Conf]
  15. Joël Ouaknine, James Worrell
    On Metric Temporal Logic and Faulty Turing Machines. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:217-230 [Conf]
  16. Abbas Edalat, Dirk Pattinson
    Denotational Semantics of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:231-245 [Conf]
  17. Iain Phillips, Irek Ulidowski
    Reversing Algebraic Process Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:246-260 [Conf]
  18. Gerald Lüttgen, Walter Vogler
    Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:261-276 [Conf]
  19. Petr Jancar, Jirí Srba
    Undecidability Results for Bisimilarity on Prefix Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:277-291 [Conf]
  20. Christof Löding, Olivier Serre
    Propositional Dynamic Logic with Recursive Programs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:292-306 [Conf]
  21. Andrei Popescu, Traian Serbanuta, Grigore Rosu
    A Semantic Approach to Interpolation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:307-321 [Conf]
  22. Dietrich Kuske, Markus Lohrey
    First-Order and Counting Theories of omega-Automatic Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:322-336 [Conf]
  23. Olivier Serre
    Parity Games Played on Transition Graphs of One-Counter Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:337-351 [Conf]
  24. James Laird
    Bidomains and Full Abstraction for Countable Nondeterminism. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:352-366 [Conf]
  25. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
    An Operational Characterization of Strong Normalization. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:367-381 [Conf]
  26. Frédéric Blanqui, Claude Kirchner, Colin Riba
    On the Confluence of lambda-Calculus with Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:382-397 [Conf]
  27. Martín Abadi, Mathieu Baudet, Bogdan Warinschi
    Guessing Attacks and the Computational Soundness of Static Equivalence. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:398-412 [Conf]
  28. Roberto Zunino, Pierpaolo Degano
    Handling exp, × (and Timestamps) in Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:413-427 [Conf]
  29. Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
    Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:428-445 [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