Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jean Goubault-Larrecq, Barbara König 0001 (eds.) |
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski 0001, Fabio Zanasi |
Contextual Equivalence for Signal Flow Graphs. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari 0001 |
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Fiore, Philip Saville |
Relative Full Completeness for Bicategorical Cartesian Closed Structure. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Anton Pirogov |
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
Spinal Atomic Lambda-Calculus. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka, Ulrich Schöpp |
Semantical Analysis of Contextual Types. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Huot, Sam Staton, Matthijs Vákár |
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Blaise Genest, Loïc Hélouët, Sharvik Mital |
Timed Negotiations. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann |
Controlling a Random Population. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Johann, Andrew Polonsky |
Deep Induction: Induction Rules for (Truly) Nested Types. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Hugunin |
Constructing Inductive-Inductive Types in Cubical Type Theory. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Geoff W. Hamilton |
Tight Worst-Case Bounds for Polynomial Loop Programs. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Nathanaël Fijalkow |
Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
Coalgebra Learning via Duality. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Leventis, Michele Pagani |
Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut |
Trees in Partial Higher Dimensional Automata. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Raphaela Palenta, Sebastian Maneth |
Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Alex Simpson (eds.) |
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
Identifiers in Registers - Describing Network Algorithms with Logic. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
Equational Theories and Monads from Polynomial Cayley Representations. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marie Kerjean, Jean-Simon Pacaud Lemay |
Higher-Order Distributions for Differential Linear Logic. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane, Denis Kuperberg, Damien Pous, Cécilia Pradic |
Kleene Algebra with Hypotheses. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
A Complete Normal-Form Bisimilarity for State. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cécilia Pradic, Colin Riba |
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aurore Alcolei, Pierre Clairambault, Olivier Laurent 0001 |
Resource-Tracking Concurrent Games. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Aleks Kissinger, Fabio Zanasi |
Causal Inference by String Diagram Surgery. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Lutz Schröder |
Optimal Satisfiability Checking for Arithmetic \mu -Calculi. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Guillermo A. Pérez 0001, Marie van den Bogaard |
The Impatient May Use Limited Optimism to Minimize Regret. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Dennis Nolte, Arend Rensink |
Rewriting Abstract Structures: Materialization Explained Categorically. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Georg Zetzsche |
Languages Ordered by the Subword Order. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Piribauer, Christel Baier |
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Matache, Sam Staton |
A Sound and Complete Logic for Algebraic Effects. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot |
Two-Way Parikh Automata with a Visibly Pushdown Stack. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Nobuko Yoshida |
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Utkarsh Gupta, Preey Shah, S. Akshay 0001, Piotr Hofman |
Continuous Reachability for Unordered Data Petri Nets is in PTime. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lucas, Matteo Mio |
Towards a Structural Proof Theory of Probabilistic \mu -Calculi. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alvarez-Picallo, C.-H. Luke Ong |
Change Actions: Models of Generalised Differentiation. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Henning Urbat |
Equational Axiomatization of Algebras with Structure. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Nobuko Yoshida |
Depending on Session-Typed Processes. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto |
From Symmetric Pattern-Matching to Quantum Control. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
Guarded Traced Categories. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir |
A Framework for Parameterized Monitorability. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Bazille, Eric Fabre, Blaise Genest |
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata |
A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Genet, Timothée Haudebourg, Thomas P. Jensen |
Verifying Higher-Order Functions with Tree Automata. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Clément Jacq, Paul-André Melliès |
Categorical Combinatorics for Non Deterministic Strategies on Simple Games. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |
Comparator Automata in Quantitative Verification. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Le Roux 0001, Guillermo A. Pérez 0001 |
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Nikos Tzevelekos |
A Trace Semantics for System F Parametric Polymorphism. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ranald Clouston |
Fitch-Style Modal Lambda Calculi. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sokolova, Harald Woracek |
Proper Semirings and Proper Convex Functors. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Simon J. Gay |
A New Linear Logic for Deadlock-Free Session-Typed Processes. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Slawomir Lasota 0001, Radoslaw Piórkowski |
WQO Dichotomy for 3-Graphs. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg |
Quotient Inductive-Inductive Types. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Rabusseau |
Minimization of Graph Weighted Models over Circular Strings. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Mehrdad Maleki |
Differential Calculus with Imprecise Input and Its Logical Framework. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Ugo Dal Lago (eds.) |
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Docherty, David J. Pym |
Modular Tableaux Calculi for Separation Theories. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey, Hugo Herbelin |
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
Games on Graphs with a Public Signal Monitoring. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
Call-by-Need, Neededness and All That. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel |
Non-angelic Concurrent Game Semantics. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Étienne Lozes, Alessio Mansutti |
The Effects of Adding Reachability Predicates in Propositional Separation Logic. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
The Equational Theory of the Natural Join and Inner Union is Decidable. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Tommaso Padoan |
Automata for True Concurrency Properties. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards |
A Hierarchy of Scheduler Classes for Stochastic Automata. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xinxin Liu 0009, Tingting Yu, Wenhui Zhang |
Logics for Bisimulation and Divergence. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed 0001 |
Fab ous Interoperability for ML and a Linear Language. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Devesas Campos, Paul Blain Levy |
A Syntactic View of Computational Adequacy. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois |
Degree of Sequentiality of Weighted Automata. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
From Qualitative to Quantitative Semantics - By Change of Base. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
On Higher-Order Probabilistic Subrecursion. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
A Lambda-Free Higher-Order Recursive Path Order. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder, Christoph Rauch, Maciej Piróg |
Unifying Guarded and Unguarded Iteration. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Mamouras |
Equational Theories of Abnormal Termination Based on Kleene Algebra. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson |
The Free Exponential Modality of Probabilistic Coherence Spaces. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Makoto Tatsuta |
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
Optimal Reachability in Divergent Weighted Timed Games. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex Simpson |
Cyclic Arithmetic Is Equivalent to Peano Arithmetic. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Andrzej S. Murawski (eds.) |
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier |
Pointless Learning. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kei Matsumoto |
Coherence Spaces and Uniform Continuity. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ken Sakayori, Takeshi Tsukada |
A Truly Concurrent Game Model of the Asynchronous \pi -Calculus. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gilbert 0002 |
Automated Constructivization of Proofs. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous, Jurriaan Rot |
Companions, Codensity and Causality. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paula Severi |
A Light Modality for Recursion. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi |
The Paths to Choreography Extraction. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen |
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Stéphane Le Roux 0001, Arno Pauly, Jean-François Raskin |
On the Existence of Weak Subgame Perfect Equilibria. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann 0002 |
Bounding Average-Energy Games. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann |
Nominal Automata with Name Binding. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|