| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type.  |
FoSSaCS  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Lange, Nobuko Yoshida |
On the Undecidability of Asynchronous Session Subtyping. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Vincent Jugé |
Dynamic Complexity of the Dyck Reachability. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoang Bian, Alessandro Abate |
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi 0001, Takeshi Tsukada |
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Tommaso Padoan |
Local Model Checking in a Logic for True Concurrency. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | G. A. Kavvos |
On the Semantics of Intensionality. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Abriola, Diego Figueira, Santiago Figueira |
Logics of Repeating Values on Data Trees and Branching Counter Systems. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger |
Focused and Synthetic Nested Sequents. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Marc Bagnol, Thomas Seiller |
Unary Resolution: Characterizing Ptime. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Théo Pierron, Thomas Place, Marc Zeitoun |
Quantifier Alternation for Infinite Words. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Normann Decker, Daniel Thoma |
On Freeze LTL with Ordered Attributes. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Hofman, Slawomir Lasota 0001, Ranko Lazic 0001, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke |
Coverability Trees for Petri Nets with Unordered Data. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
Game Semantics for Bounded Polymorphism. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang-Ting Chen 0001, Jirí Adámek, Stefan Milius, Henning Urbat |
Profinite Monads, Profinite Equations, and Reiterman's Theorem. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, Neil Ghani, Gordon D. Plotkin |
Dependent Types and Fibred Computational Effects. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen, Robin Kaarsgaard |
Join Inverse Categories as Models of Reversible Recursion. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Fortin, Paul Gastin |
Verification of Parameterized Communicating Automata via Split-Width. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza |
A Theory of Monitors - (Extended Abstract). |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale |
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranko Lazic 0001, Andrzej S. Murawski |
Contextual Approximation and Higher-Order Procedures. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Order-Sorted Rewriting and Congruence Closure. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi |
Trace Refinement in Labelled Markov Decision Processes. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
Qualitative Analysis of VASS-Induced MDPs. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Venanzio Capretta, Tarmo Uustalu |
A Coalgebraic View of Bar Recursion and Bar Induction. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
Metric Temporal Logic with Counting. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal |
Guarded Dependent Type Theory with Coinductive Types. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier |
Robust Equilibria in Mean-Payoff Games. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Delia Kesner |
Reasoning About Call-by-need by Means of Types. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès |
Towards a Formal Theory of Graded Monads. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Jan Krcál, Steen Vester |
Distributed Synthesis in Continuous Time. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Durand-Gasselin, Peter Habermehl |
Regular Transformations of Data Words Through Origin Information. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Pavel Martyugin, Mahsa Shirmohammadi |
Synchronizing Automata over Nested Words. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar |
Shortest Paths in One-Counter Systems. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Anindya Banerjee 0001 |
A Theory of Slicing for Probabilistic Control Flow Graphs. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Dräger |
The Invariance Problem for Matrix Semigroups. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Christof Löding (eds.) |
Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pagani, Christine Tasson, Lionel Vaux |
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001, Yue Ben |
Decidable and Expressive Classes of Probabilistic Automata. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Winter |
A Completeness Result for Finite λ-bisimulations. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Jaber |
Operational Nominal Game Semantics. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Bas Westerbaan, Bram Westerbaan |
States of Convex Sets. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Jurriaan Rot |
Coalgebraic Trace Semantics via Forgetful Logics. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Cotton-Barratt, David Hopkins 0002, Andrzej S. Murawski, C.-H. Luke Ong |
Fragments of ML Decidable by Nested Data Class Memory Automata. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bagnol, Amina Doumane, Alexis Saurin |
On the Dependencies of Logical Rules. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsi-Ming Ho, Joël Ouaknine |
The Cyclic-Routing UAV Problem is PSPACE-Complete. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Ines Marusic, James Worrell 0001 |
Minimisation of Multiplicity Tree Automata. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Moses Ganardi |
Parity Games of Bounded Tree- and Clique-Width. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Bastien Maubert, Sophie Pinchinat |
Unifying Hyper and Epistemic Temporal Logics. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski |
On the Mints Hierarchy in First-Order Intuitionistic Logic. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthijs Vákár |
A Categorical Semantics for Linear Logical Frameworks. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Velner |
Robust Multidimensional Mean-Payoff Games are Undecidable. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Pitts (eds.) |
Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell 0001 |
Three Variables Suffice for Real-Time Logic. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Dennis Griffith |
Polarized Substructural Session Types. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Frank McSherry, Gordon D. Plotkin |
Foundations of Differential Dataflow. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant, Ramyaa Ramyaa |
The Computational Contents of Ramified Corecurrence. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault, Peter Dybjer |
Game Semantics and Normalization by Evaluation. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Bizjak, Lars Birkedal |
Step-Indexed Logical Relations for Probability. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Mamouras |
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Salvati, Igor Walukiewicz |
Typing Weak MSOL Properties. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Radu Mardare |
On the Total Variation Distance of Semi-Markov Chains. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Grellois, Paul-André Melliès |
An Infinitary Model of Linear Logic. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Dietrich Kuske |
On Presburger Arithmetic Extended with Modulo Counting Quantifiers. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
Compositional Metric Reasoning with Probabilistic Process Calculi. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Doron A. Peled, Sven Schewe |
Knowledge = Observation + Memory + Computation. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
Programming and Reasoning with Guarded Recursion for Coinductive Types. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranald Clouston, Rajeev Goré |
Sequent Calculus in the Topos of Trees. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Paulin Fournier, Arnaud Sangnier |
Playing with Probabilities in Reconfigurable Broadcast Networks. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lang 0001 |
Resource Reachability Games on Pushdown Graphs. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Andrzej Tarlecki |
A Relatively Complete Calculus for Structured Heterogeneous Specifications. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Tsukada, Naoki Kobayashi 0001 |
Complexity of Model-Checking Call-by-Value Programs. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Game Semantics for Nominal Exceptions. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Jörg Desel |
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat |
Generalized Eilenberg Theorem I: Local Varieties of Languages. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi |
Limit Synchronization in Markov Decision Processes. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Carraro, Giulio Guerrieri |
A Semantical and Operational Account of Call-by-Value Solvability. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin |
Analysis of Probabilistic Basic Parallel Processes. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea |
A Coalgebraic Approach to Linear-Time Logics. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Orna Kupferman, Tami Tamir |
Network-Formation Games with Regular Objectives. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James Ferlez, Rance Cleaveland, Steven I. Marcus |
Generalized Synchronization Trees. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine |
Foundations for Decision Problems in Separation Logic with General Inductive Predicates. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi 0001, Kazuhiro Inaba, Takeshi Tsukada |
Unsafe Order-2 Tree Languages Are Context-Sensitive. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët |
Active Diagnosis for Probabilistic Systems. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl (eds.) |
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen 0001, Sumit Nain, Moshe Y. Vardi |
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Pawel Sobocinski 0001, Fabio Zanasi |
Interacting Bialgebras Are Frobenius. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen 0001, Hugo Gimbert, Youssouf Oualhadj |
Perfect-Information Stochastic Mean-Payoff Parity Games. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy |
Bisimulations for Communicating Transactions - (Extended Abstract). |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Munch-Maccagnoni |
Models of a Non-associative Composition. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Christophe Ringeissen |
On Asymmetric Unification and the Combination Problem in Disjoint Theories. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar |
Equivalences of Pushdown Systems Are Hard. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Rot, Marcello M. Bonsangue |
Combining Bialgebraic Semantics and Equations. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaull Almagor, Orna Kupferman |
Latticed-LTL Synthesis in the Presence of Noisy Inputs. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongfei Fu 0001 |
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license