Search results for "FoSSaCS"

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

Publications at "FoSSaCS"( http://dblp.L3S.de/Venues/FoSSaCS )