Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Max S. New, Daniel R. Licata |
A Formal Logic for Formal Category Theory. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi 0001 |
Compositional Learning for Interleaving Parallel Automata. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amgad Rady, Franck van Breugel |
Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
A Strict Constrained Superposition Calculus for Graphs. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman |
When Programs Have to Watch Paint Dry. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Guy Hefetz |
On the Comparison of Discounted-Sum Automata with Multiple Discount Factors. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Quang Loc Le, Xuan-Bach Dinh Le |
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Attie, William Cocke |
Model and Program Repair via Group Actions. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Romain Péchoux, Mário Silva |
A Programming Language Characterizing Quantum Polynomial Time. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gaëtan Douéneau-Tabot |
Pebble minimization: the last theorems. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild |
Kantorovich Functors and Characteristic Logics for Behavioural Distances. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
Just Testing. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro H. Azevedo de Amorim |
A Higher-Order Language for Markov Kernels and Linear Operators. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Sabina Rossi |
Reverse Bisimilarity vs. Forward Bisimilarity. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Prakash 0002, K. S. Thejaswini |
On History-Deterministic One-Counter Nets. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Pawel Sobocinski 0001 (eds.) |
Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki |
Coverability in 2-VASS with One Unary Counter is in NP. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aliaume Lopez |
Fixed Points and Noetherian Topologies. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |
Preservation and Reflection of Bisimilarity via Invertible Steps. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhibo Chen 0009, Frank Pfenning |
A Logical Framework with Higher-Order Rational (Circular) Terms. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut, Thorsten Wißmann |
Weighted and Branching Bisimilarities from Generalized Open Maps. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar |
Fast Matching of Regular Patterns with Synchronizing Counting. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
Quantitative Safety and Liveness. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail R. Starchak |
On the Existential Arithmetics with Addition and Bitwise Minimum. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Baumann 0001, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche |
Unboundedness Problems for Machines with Reversal-Bounded Counters. |
FoSSaCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George |
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau, Robin Piedeleu |
Graphical Piecewise-Linear Algebra. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos |
The Different Shades of Infinite Session Types. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Sam van Gool, Rémi Morvan |
First-order separation over countable ordinals. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Javier Esparza |
Separators in Continuous Petri Nets. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ascari, Roberto Bruni, Roberta Gori |
Limits and difficulties in the design of under-approximation abstract domains. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi |
Variable binding and substitution for (nameless) dummies. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Karoliina Lehtinen |
Token Games and History-Deterministic Quantitative Automata. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Castelnovo, Fabio Gadducci, Marino Miculan |
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux |
Complete and tractable machine-independent characterizations of second-order polytime. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen |
Model Checking Temporal Properties of Recursive Probabilistic Programs. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Christoph Haase, Alessio Mansutti |
Quantifier elimination for counting extensions of Presburger arithmetic. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi 0001, Hünkar Can Tunç |
DyNetKAT: An Algebra of Dynamic Networks. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
Temporal Stream Logic modulo Theories. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy |
Parameterized Analysis of Reconfigurable Broadcast Networks. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raul Fervari, Alessio Mansutti |
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reijo Jaakkola |
Uniform Guarded Fragments. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anne Broadbent, Martti Karvonen |
Categorical composable cryptography. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Lutz Schröder (eds.) |
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
A first-order logic characterisation of safety and co-safety languages. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Karoliina Lehtinen, Salomon Sickert |
On the Translation of Automata to Linear Temporal Logic. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Florian Funke 0002, Jakob Piribauer, Robin Ziemek |
On probability-raising causality in Markov decision processes. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
Sweedler Theory of Monads. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo, Delia Kesner, Loïc Peyrot |
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alex Dixon, Ranko Lazic 0001, Andrzej S. Murawski, Igor Walukiewicz |
Leafy automata for higher-order concurrency. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Learning Pomset Automata. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Alessio Santamaria |
Combining Semilattices and Semimodules. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gheorghiu, Sonia Marin |
Focused Proof-search in the Logic of Bunched Implications. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Czerner, Stefan Jaax |
Running Time Analysis of Broadcast Consensus Protocols. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. R. Myers, Stefan Milius, Henning Urbat |
Nondeterministic Syntactic Complexity. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Vilmart |
The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
Fair Refinement for Asynchronous Session Types. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami |
Adjoint Reactive GUI Programming. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan |
Fixpoint Theory - Upside Down. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis |
One-way Resynchronizability of Word Transducers. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yoji Fukihara, Shin-ya Katsumata |
Generalized Bounded Linear Logic and its Categorical Semantics. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Kura 0001 |
A General Semantic Construction of Dependent Refinement Type Systems, Categorically. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Slawomir Lasota 0001, Szymon Torunczyk |
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin |
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Jakub Rózycki |
On the Expressiveness of Büchi Arithmetic. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini |
Constructing a universe for the setoid model. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Schmidt 0001, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume |
Work-sensitive Dynamic Complexity of Formal Languages. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Jakub Michaliszyn |
"Most of" leads to undecidability: Failure of adding frequencies to LTL. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
Interpolation and Amalgamation for Arrays with MaxDiff. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian, Giulio Guerrieri |
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robin Piedeleu, Fabio Zanasi |
A String Diagrammatic Axiomatisation of Finite-State Automata. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Loïc Peyrot, Daniel Ventura |
The Spirit of Node Replication. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul Wild, Lutz Schröder |
A Quantified Coalgebraic van Benthem Theorem. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Christine Tasson (eds.) |
Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
Nominal Equational Problems. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Johann, Enrico Ghiorzi, Daniel Jeffries |
Parametricity for Primitive Nested Types. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Salomon Sickert |
Certifying Inexpressibility. |
FoSSaCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Zuleger |
The Polynomial Complexity of Vector Addition Systems with States. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski |
An Axiomatic Approach to Reversible Computation. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva 0001 |
Learning Weighted Automata over Principal Ideal Domains. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
Minimal Coverability Tree Construction Made Complete and Efficient. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Kura 0001 |
Graded Algebraic Theories. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin |
General Supervised Learning as Change Propagation with Delta Lenses. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Kappé, Paul Brunet, Alexandra Silva 0001, Jana Wagemaker, Fabio Zanasi |
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
On Computability of Data Word Functions Defined by Transducers. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miriam Polzer, Sergey Goncharov 0001 |
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Neele, Antti Valmari, Tim A. C. Willemse |
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Mansutti |
An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
Decomposing Probabilistic Lambda-Calculi. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard |
Non-idempotent Intersection Types in Logical Form. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev |
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes |
On the k-synchronizability of Systems. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
On Well-Founded and Recursive Coalgebras. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay |
Cartesian Difference Categories. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David M. Kahn, Jan Hoffmann 0002 |
Exponential Automatic Amortized Resource Analysis. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
Constructing Infinitary Quotient-Inductive Types. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mai Gehrke, Tomas Jakl, Luca Reggio |
A Duality Theoretic View on Limits of Finite Structures. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|