Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matteo Mio |
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Orna Kupferman |
Parameterized Weighted Containment. |
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 | Ranald Clouston |
Generalised Name Abstraction for Nominal Sets. |
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 | Sam Staton |
An Algebraic Presentation of Predicate Logic - (Extended Abstract). |
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 | Michael Ummels, Christel Baier |
Computing Quantiles in Markov Reward Models. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
Strategies as Profunctors. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Di Gianantonio, Abbas Edalat |
A Language for Differentiable Functions. |
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 | Fredrik Dahlqvist, Dirk Pattinson |
Some Sahlqvist Completeness Results for Coalgebraic Logics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Dreier, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
On Unique Decomposition of Processes in the Applied π-Calculus. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-Order Logic. |
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 | Jonathan Hayman, Tobias Heindel |
Pattern Graphs and Rule-Based Models: The Semantics of Kappa. |
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 | Nikos Tzevelekos, Radu Grigore |
History-Register Automata. |
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 | Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux |
Type-Based Complexity Analysis for Fork Processes. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Martin Hofmann 0001, Aleksandr Karbyshev |
On Monadic Parametricity of Second-Order Functionals. |
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 | Andrzej S. Murawski, Nikos Tzevelekos |
Deconstructing General References via Game Semantics. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman |
Fatal Attractors in Parity Games. |
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 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Preorders on Monads and Coalgebraic Simulations. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Ramyaa Ramyaa, Ulrich Schöpp |
Pure Pointer Programs and Tree Isomorphism. |
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 | Matteo Mio, Alex Simpson |
A Proof System for Compositional Verification of Probabilistic Concurrent Processes. |
FoSSaCS |
2013 |
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 | Di Chen, Franck van Breugel, James Worrell 0001 |
On the Complexity of Computing Probabilistic Bisimilarity. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
Bicategories of Concurrent Games - (Invited Paper). |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Hülsbusch, Barbara König 0001 |
Deriving Bisimulation Congruences for Conditional Reactive Systems. |
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 | Dariusz Biernacki, Sergueï Lenglet |
Applicative Bisimulations for Delimited-Control Operators. |
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 | Alexander Kartzow |
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Robustness of Structurally Equivalent Concurrent Parity Games. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman, James Chapman 0001, Tarmo Uustalu |
When Is a Container a Comonad? |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Neil Ghani, Bart Jacobs 0001, Patricia Johann |
Fibrational Induction Meets Effects. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Calì, Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris |
Querying UML Class Diagrams. |
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 | Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
Well-Pointed Coalgebras (Extended Abstract). |
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 | 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 | Pedro R. D'Argenio, Matias David Lee |
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. |
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 | Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell 0001 |
Branching-Time Model Checking of Parametric One-Counter Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001 |
On the Complexity of the Equivalence Problem for Probabilistic Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kurz 0001, 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 | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
Concurrent Games with Ordered Objectives. |
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 | Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König 0001, Stefan Milius, Alexandra Silva 0001 |
A Coalgebraic Perspective on Minimization and Determinization. |
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 Breuers, Christof Löding, Jörg Olschewski |
Improved Ramsey-Based Büchi Complementation. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Nain, Moshe Y. Vardi |
Synthesizing Probabilistic Composers. |
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 | 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 0001, Rocco De Nicola, Michele Loreti |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. |
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 | Martin Hofmann 0001 (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 | Robert Atkey, Patricia Johann, Neil Ghani |
When Is a Type Refinement an Inductive Type? |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shulamit Halamish, Orna Kupferman |
Minimizing Deterministic Lattice Automata. |
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 | Paul Blain Levy |
Similarity Quotients as Final Coalgebras. |
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 | 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 | Udi Boker, Orna Kupferman |
Co-Büching Them All. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
The Search for Structure in Quantum Computation. |
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 | Alexis Bernadet, Stéphane Lengrand |
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types. |
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 | Rémi Jaubert, Pierre-Alain Reynier |
Quantitative Robustness Analysis of Flat Timed Automata. |
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 | Dan R. Ghica, Mohamed Nabih Menaa |
Synchronous Game Semantics via Round Abstraction. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes. |
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 | Nathalie Bertrand 0001, Amélie Stainer, Thierry Jéron, Moez Krichen |
A Game Approach to Determinize Timed Automata. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Coalgebraic Walks, in Quantum and Turing Computation. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Polymorphic Abstract Syntax via Grothendieck Construction. |
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 | Holger Bock Axelsen, Robert Glück |
What Do Reversible Programs Compute? |
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 | Christian Dax, Felix Klaedtke |
Alternation Elimination for Automata over Nested Words. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001 |
Irrelevance in Type Theory with a Heterogeneous Equality Judgement. |
FoSSaCS |
2011 |
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 | Anders Møller, Mathias Schwarz |
HTML Validation of Context-Free Languages. |
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 | Yaron Velner, Alexander Rabinovich |
Church Synthesis Problem for Noisy Input. |
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 | Matteo Mio |
Probabilistic Modal μ-Calculus with Independent Product. |
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 | Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu |
Monads Need Not Be Endofunctors. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Completeness for Algebraic Theories of Local State. |
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 | Michele Pagani, Simona Ronchi Della Rocca |
Solvability in Resource Lambda-Calculus. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Dirk Pattinson |
Coalgebraic Correspondence Theory. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|