| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guy Avni, Orna Kupferman |
Parameterized Weighted Containment.  |
FoSSaCS  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bonnet, Rohit Chadha |
Bounded Context-Switching and Reentrant Locking. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre |
Reachability of Communicating Timed Processes. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Dirk Pattinson |
Some Sahlqvist Completeness Results for Coalgebraic Logics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Deconstructing General References via Game Semantics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
Checking Bisimilarity for Attributed Graph Transformation. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Di Gianantonio, Abbas Edalat |
A Language for Differentiable Functions. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp |
Pure Pointer Programs and Tree Isomorphism. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Tzevelekos, Radu Grigore |
History-Register Automata. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Czajka |
Partiality and Recursion in Higher-Order Logic. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Strategies as Profunctors. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens |
Deciding Definability by Deterministic Regular Expressions. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
On Monadic Parametricity of Second-Order Functionals. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranald Clouston |
Generalised Name Abstraction for Nominal Sets. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman, Tobias Heindel |
Pattern Graphs and Rule-Based Models: The Semantics of Kappa. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
Fatal Attractors in Parity Games. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Faris Abou-Saleh, Dirk Pattinson |
Comodels and Effects in Mathematical Operational Semantics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Mio, Alex Simpson |
A Proof System for Compositional Verification of Probabilistic Concurrent Processes. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Churchill, Peter D. Mosses |
Modular Bisimulation Theory for Computations and Values. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning (eds.) |
Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
FOSSACS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux |
Type-Based Complexity Analysis for Fork Processes. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robbert Krebbers, Freek Wiedijk |
Separation Logic for Non-local Control Flow and Block Scope Variables. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Paul Gastin, Benjamin Monmege |
Weighted Specifications over Nested Words. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ummels, Christel Baier |
Computing Quantiles in Markov Reward Models. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
On Unique Decomposition of Processes in the Applied π-Calculus. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-ya Katsumata, Tetsuya Sato |
Preorders on Monads and Coalgebraic Simulations. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Karandikar, Sylvain Schmitz |
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Straßburger |
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton |
An Algebraic Presentation of Predicate Logic - (Extended Abstract). |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 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 Fernando 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")