Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franck van Breugel, Babita Sharma, James Worrell 0001 |
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Igor Walukiewicz |
A Lower Bound on Web Services Composition. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
Automata simulation, complexity, web services composition |
1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Iterator Types. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Model-Checking One-Clock Priced Timed Automata. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Parma, Roberto Segala |
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan |
Formal Foundations for Aspects. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Colin Riba |
On the Stability by Union of Reducibility Candidates. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 |
Sampled Universality of Timed Automata. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski 0001 |
Semantic Barbs and Biorthogonality. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Types and Effects for Resource Usage Analysis. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bauland, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
The Complexity of Generalized Satisfiability for Linear Temporal Logic. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, linear temporal logic |
1 | Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001 |
Logical Reasoning for Higher-Order Functions with Local State. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Hongseok Yang |
Relational Parametricity and Separation Logic. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
Polynomial Constraints for Sets with Cardinality Bounds. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Serre |
Parity Games Played on Transition Graphs of One-Counter Processes. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine, James Worrell 0001 |
On Metric Temporal Logic and Faulty Turing Machines. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder |
A Finite Model Construction for Coalgebraic Modal Logic. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Wan J. Fokkink, Sumit Nain |
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Bidomains and Full Abstraction for Countable Nondeterminism. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Alexander Kurz 0001 |
Presenting Functors by Operations and Equations. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Matthew Hennessy |
A Theory for Observational Fault Tolerance. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Corin Pitcher, James Riely |
Dynamic Policy Discovery with Remote Attestation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation |
1 | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
An Operational Characterization of Strong Normalization. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
On the Relative Expressive Power of Asynchronous Communication Primitives. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Stefan Haar, Barbara König 0001 |
Distributed Unfolding of Petri Nets. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss |
Bigraphical Models of Context-Aware Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Iain C. C. Phillips, Irek Ulidowski |
Reversing Algebraic Process Calculi. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar, Jirí Srba |
Undecidability Results for Bisimilarity on Prefix Rewrite Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Lüttgen, Walter Vogler |
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Traian Serbanuta, Grigore Rosu |
A Semantic Approach to Interpolation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Luca Padovani |
Smooth Orchestrators. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 |
Processes for Adhesive Rewriting Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Olivier Serre |
Propositional Dynamic Logic with Recursive Programs. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Mathieu Baudet, Bogdan Warinschi |
Guessing Attacks and the Computational Soundness of Static Equivalence. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Markus Lohrey |
First-Order and Counting Theories of omega-Automatic Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register Allocation After Classical SSA Elimination is NP-Complete. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir (eds.) |
Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò 0001 |
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rohde |
On the µ-Calculus Augmented with Sabotage. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Dirk Pattinson |
Denotational Semantics of Hybrid Automata. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Zunino, Pierpaolo Degano |
Handling exp, × (and Timestamps) in Protocol Analysis. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
More on Bisimulations for Higher Order pi-Calculus. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, André Lieutier, Dirk Pattinson |
A Computational Model for Multi-variable Differential Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | François Laroussinie, Jeremy Sproston |
Model Checking Durational Probabilistic Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Lüttgen, Walter Vogler |
Bisimulation on Speed: A Unified Approach. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey, Julian Rathke |
Full Abstraction for Polymorphic Pi-Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimiro Sassone (eds.) |
Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore |
Mathematical Models of Computational and Combinatorial Structures. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
History-Based Access Control with Local Policies. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Slawomir Lasota 0001, Igor Walukiewicz |
Alternating Timed Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Kidane Yemane |
A Unifying Model of Variables and Names. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for Probabilistic Finite-State Behaviors. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Igor Walukiewicz |
Third-Order Idealized Algol with Iteration Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Optimal Conditional Reachability for Multi-priced Timed Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza |
Fault Diagnosis Using Timed Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney |
A Simpler Proof Theory for Nominal Logic. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian Stark |
Free-Algebra Models for the pi-Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg |
A Category of Higher-Dimensional Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations |
1 | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samy Abbes, Albert Benveniste |
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle |
Composition and Decomposition in True-Concurrency. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif |
On Decidability Within the Arithmetic of Addition and Divisibility. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder |
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bontemps, Pierre-Yves Schobbens |
The Complexity of Live Sequence Charts. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Alexander Kurz 0001 |
Duality for Logics of Transition Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong |
Safety Is not a Restriction at Level 2 for String Languages. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Congruence for Structural Congruences. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mark Schäfer, Walter Vogler |
Component Refinement and CSC Solving for STG Decomposition. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Simone Tini |
Probabilistic Congruence for Semistochastic Generative Processes. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Kaiser |
Confluence of Right Ground Term Rewriting Systems Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
Bridging Language-Based and Process Calculi Security. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Healfdene Goguen |
Justifying Algorithms for beta-eta-Conversion. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto |
Model Checking for Nominal Calculi. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
From Separation Logic to First-Order Logic. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Gianluigi Zavattaro |
Foundations of Web Transactions. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Lüttgen, Walter Vogler |
Bisimulation on Speed: Lower Time Bounds. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz (eds.) |
Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Filinski, Henning Korsholm Rohde |
A Denotational Account of Untyped Normalization by Evaluation. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler, Amir Pnueli |
On Recognizable Timed Languages. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Benjamin Leperchey |
Hypergraphs and Degrees of Parallelism: A Completeness Result. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Polynomials for Proving Termination of Context-Sensitive Rewriting. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
Programming languages, termination, rewriting |
1 | Emmanuel Polonowski |
Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Maria Grazia Vigliotti |
Electoral Systems in Ambient Calculi. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Barbara König 0001 |
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
LTL over Integer Periodicity Constraints: (Extended Abstract). |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Conforti, Giorgio Ghelli |
Decidability of Freshness, Undecidability of Revelation. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Chalopin, Yves Métivier |
Election and Local Computations on Edges. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Pucella, Vicky Weissman |
Reasoning about Dynamic Policies. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Georges Gonthier, Benjamin Werner |
Choice in Dynamic Linking. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell 0001 |
Duality for Labelled Markov Processes. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John Power |
Canonical Models for Computational Effects. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Lack, Pawel Sobocinski 0001 |
Adhesive Categories. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Theories for the Global Ubiquitous Computer. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Di Gianantonio, Marino Miculan |
Unifying Recursive and Co-recursive Definitions in Sheaf Categories. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|