Search results for "FoSSaCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	Foundations for a Graph-Based Approach to the Specification of Access Control Policies.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Gordon D. Plotkin, John Power	Adequacy for Algebraic Effects.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Paola Quaglia, David Walker 0008	On Synchronous and Asynchronous Mobile Processes.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Huimin Lin, Wang Yi 0001	A Proof System for Timed Automata.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Frank Drewes, Berthold Hoffmann, Detlef Plump	Hierarchical Graph Transformation.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Christophe Morvan	On Rational Graphs.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Jean-François Husson, Rémi Morin	On Recognizable Stable Trace Languages.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	An Algebraic Foundation for Adaptive Programming.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Hongseok Yang, Uday S. Reddy	On the Semantics of Refinement Calculi.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Yih-Kuen Tsay	Compositional Verification in Linear-Time Temporal Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Anne Labroue, Philippe Schnoebelen	Verifying Performance Equivalence for Timed Basic Parallel Processes.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Christel Baier, Mariëlle Stoelinga	Norm Functions for Probabilistic Bisimulations with Delays.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Jo Erskine Hannay	A Higher-Order Simulation Relation for System F.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Jorge Sousa Pinto	Sequential and Concurrent Abstract Machines for Interaction Nets.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Oltea Mihaela Herescu, Catuscia Palamidessi	Probabilistic Asynchronous pi-Calculus.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Ralf Treinen	Predicate Logic and Tree Automata with Tests.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Kai Engelhardt, Ron van der Meyden, Yoram Moses	A Program Refinement Framework Supporting Reasoning about Knowledge and Time.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki	Constructive Data Refinement in Typed Lambda Calculus.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Jerzy Tiuryn (eds.)	Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	François Laroussinie, Philippe Schnoebelen	The State Explosion Problem from Trace to Bisimulation Equivalence.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Aleksy Schubert	Type Inference for First-Order Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Massimo Merro	Locality and Polyadicity in Asynchronous Name-Passing Calculi.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Didier Caucal	On Word Rewriting Systems Having a Rational Derivation.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Pascal Zimmer	Subtyping and Typing Algorithms for Mobile Ambients.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski	Proof Nets and Explicit Substitutions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Ferruccio Damiani	Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Christine Röckl, Davide Sangiorgi	A pi-calculus Process Semantics of Concurrent Idealised ALGOL.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Davide Sangiorgi	Reasoning About Concurrent Systems Using Types.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Unfolding and Event Structure Semantics for Graph Grammars.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Bruno Bogaert, Franck Seynhaeve, Sophie Tison	The Recognizability Problem for Tree Automata with Comparisons between Brothers.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001, Luca Cardelli	Equational Properties of Mobile Ambients.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Marina Lenisa	A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Marcin Benke	An Algebraic Characterization of Typability in ML with Subtyping.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Frank S. de Boer	A WP-calculus for OO.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Evgeny Dantsin, Andrei Voronkov	A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Javier Esparza, Jens Knoop	An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Gilles Barthe	Expanding the Cube.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Sebastian Maneth	String Languages Generated by Total Deterministic Macro Tree Transducers.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Neil Ghani, Valeria de Paiva, Eike Ritter	Categorical Models of Explicit Substitutions.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Michaela Huhn, Peter Niebert, Frank Wallner	Model Checking Logics for Communicating Sequential Agents.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Anca Muscholl	Matching Specifications for Message Sequence Charts.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer	Probabilistic Temporal Logics via the Modal Mu-Calculus.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Martín Abadi	Security Protocols and Specifications.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Michele Boreale, Rocco De Nicola, Rosario Pugliese	A Theory of "May" Testing for Asynchronous Languages.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Rosa Arruabarrena, Paqui Lucio, Marisa Navarro	A Strong Logic Programming View for Static Embedded Implications.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Static Analysis of Processes for No and Read-Up nad No Write-Down.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Wolfgang Thomas (eds.)	Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Luca Aceto, Anna Ingólfsdóttir	Testing Hennessy-Milner Logic with Recursion.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	Gundula Niemann, Friedrich Otto	The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Andrea Corradini 0001, Fabio Gadducci	Rational Term Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Michael W. Mislove	Generalizing Domain Theory.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Maurice Nivat (eds.)	Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Oliver Matz	On Piecewise Testable, Starfree, and Recognizable Picture Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Renate Klempien-Hinrichs	Net Refinement by Pullback Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Sylvain Porrot, Max Dauchet, Bruno Durand 0001, Nikolai K. Vereshchagin	Deterministic Rational Transducers and Random Sequences.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Eugenio Moggi	Functor Categories and Two-Level Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Reinhold Heckmann	The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Anca Muscholl, Doron A. Peled, Zhendong Su 0001	Deciding Properties for Message Sequence Charts.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Luca Cardelli, Andrew D. Gordon 0001	Mobile Ambients.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Roberto M. Amadio, Solange Coupet-Grimal	Analysis of a Guard Condition in Type Theory (Extended Abstract).	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Can Adam Albayrak, Thomas Noll 0001	The WHILE Hierarchy of Program Schemes Is Infinite.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Michael A. Bukatin, Svetlana Yu. Shorina	Partial Metrics and Co-continuous Valuations.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Julian Rathke	Resource Based Models for Asynchrony.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Asynchronous Observations of Processes.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	A Cook's Tour of Equational Axiomatizations for Prefix Iteration.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Anne Bottreau, Yves Métivier	Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling.	FoSSaCS	1998	DBLP DOI BibTeX RDF
1	Danièle Beauquier	Pumping Lemmas for Timed Automata.	FoSSaCS	1998	DBLP DOI BibTeX RDF

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