| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
Concurrent Games with Ordered Objectives.  |
FoSSaCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal (eds.) |
Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings |
FOSSACS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Functions as Session-Typed Processes. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Mazza, Neil J. Ross |
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Nain, Moshe Y. Vardi |
Synthesizing Probabilistic Composers. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Preugschat, Thomas Wilke |
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell |
Branching-Time Model Checking of Parametric One-Counter Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva |
A Coalgebraic Perspective on Minimization and Determinization. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez |
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Andreas Reuß |
Extending ${\cal H}_1$ -Clauses with Path Disequalities. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gorín, Lutz Schröder |
Narcissists Are Easy, Stepmothers Are Hard. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Hülsbusch, Barbara König |
Deriving Bisimulation Congruences for Conditional Reactive Systems. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Breuers, Christof Löding, Jörg Olschewski |
Improved Ramsey-Based Büchi Complementation. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kartzow |
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Chen, Franck van Breugel, James Worrell |
On the Complexity of Computing Probabilistic Bisimilarity. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
Model Checking Languages of Data Words. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Uwe Nestmann |
Is It a "Good" Encoding of Mixed Choice? |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Bicategories of Concurrent Games - (Invited Paper). |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, James Chapman, Tarmo Uustalu |
When Is a Container a Comonad? |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Matias David Lee |
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz, Tomoyuki Suzuki 0001, Emilio Tuosto |
On Nominal Regular Languages with Binders. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann |
On Distributability of Petri Nets - (Extended Abstract). |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert |
Subgame Perfection for Equilibria in Quantitative Reachability Games. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Robustness of Structurally Equivalent Concurrent Parity Games. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann |
Fibrational Induction Meets Effects. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rocco De Nicola, Michele Loreti |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris |
Querying UML Class Diagrams. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Sergueï Lenglet |
Applicative Bisimulations for Delimited-Control Operators. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
Well-Pointed Coalgebras (Extended Abstract). |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Gustavo Petri, James Riely |
Brookes Is Relaxed, Almost! |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
On the Complexity of the Equivalence Problem for Probabilistic Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Kristian Støvring |
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Polymorphic Abstract Syntax via Grothendieck Construction. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Laurent Mauborgne |
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen, Robert Glück |
What Do Reversible Programs Compute? |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen |
A Game Approach to Determinize Timed Automata. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo |
Ordinal Theory for Expressiveness of Well Structured Transition Systems. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Francesca Pampaloni, Michela Paolini |
Asymptotic Information Leakage under One-Try Attacks. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay, Vincenzo Ciancia |
Freshness and Name-Restriction in Sets of Traces with Names. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Caucal, Dinh Trong Hieu |
Regularity and Context-Freeness over Word Rewriting Systems. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel |
Irrelevance in Type Theory with a Heterogeneous Equality Judgement. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia |
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shulamit Halamish, Orna Kupferman |
Minimizing Deterministic Lattice Automata. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann (eds.) |
Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Velner, Alexander Rabinovich |
Church Synthesis Problem for Noisy Input. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Blain Levy |
Similarity Quotients as Final Coalgebras. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Mohamed N. Menaa |
Synchronous Game Semantics via Round Abstraction. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Jaubert, Pierre-Alain Reynier |
Quantitative Robustness Analysis of Flat Timed Automata. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman |
Co-Büching Them All. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Mathias Schwarz |
HTML Validation of Context-Free Languages. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Walter Vogler |
A Trace-Based View on Operating Guidelines. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Marc Lasson |
Realizability and Parametricity in Pure Type Systems. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dax, Felix Klaedtke |
Alternation Elimination for Automata over Nested Words. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bernadet, Stéphane Lengrand |
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey, Patricia Johann, Neil Ghani |
When Is a Type Refinement an Inductive Type? |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault |
Estimation of the Length of Interactions in Arena Game Semantics. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naohiko Hoshino |
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Search for Structure in Quantum Computation. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Coalgebraic Walks, in Quantum and Turing Computation. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Mio |
Probabilistic Modal μ-Calculus with Independent Product. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Gaëlle Fontaine |
An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
The Complexity of Synchronous Notions of Information Flow Security. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus |
A Semantic Foundation for Hidden State. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca |
Fair Adversaries and Randomization in Two-Player Games. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton |
Completeness for Algebraic Theories of Local State. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | C.-H. Luke Ong (eds.) |
Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Coalgebraic Correspondence Theory. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Widjaja To, Leonid Libkin |
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Saurin |
A Hierarchy for Delimited Continuations in Call-by-Name. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu |
Parameterised Multiparty Session Types. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Elsa L. Gunter |
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Chambart, Ph. Schnoebelen |
Toward a Compositional Theory of Leftist Grammars and Transformations. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Arnaud Sangnier |
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Tsukada, Naoki Kobayashi |
Untyped Recursion Schemes and Infinite Intersection Types. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
On the Relationship between Spatial Logics and Behavioral Simulations. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Model Checking Is Static Analysis of Modal Logic. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pagani, Simona Ronchi Della Rocca |
Solvability in Resource Lambda-Calculus. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre |
Reachability Analysis of Communicating Pushdown Systems. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonja Georgievska, Suzana Andova |
Retaining the Probabilities in Probabilistic Testing Theory. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius, Lawrence S. Moss, Daniel Schwencke |
CIA Structures and the Semantics of Recursion. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, James Chapman, Tarmo Uustalu |
Monads Need Not Be Endofunctors. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson |
Linearly-Used Continuations in the Enriched Effect Calculus. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
Forward Analysis of Depth-Bounded Processes. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas |
Degrees of Lookahead in Regular Infinite Games. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Stirling |
Introduction to Decidability of Higher-Order Matching. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen |
Delayed Nondeterminism in Continuous-Time Markov Decision Processes. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Component Libraries. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Richard Mayr |
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Abbes, Albert Benveniste |
Concurrency, sigma-Algebras, and Probabilistic Fairness. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency |
| 1 | Pierre Clairambault |
Least and Greatest Fixpoints in Game Semantics. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer |
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Fossati, Daniele Varacca |
The Calculus of Handshake Configurations. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, types, process calculus, Handshake protocols |
| 1 | Sven Schewe |
Tighter Bounds for the Determinisation of Büchi Automata. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur |
Temporal Reasoning about Program Executions. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")