default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/fossacs/AlcoleiCL19,
author = {Aurore Alcolei and
Pierre Clairambault and
Olivier Laurent},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Resource-Tracking Concurrent Games},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {27--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_2},
doi = {10.1007/978-3-030-17127-8\_2},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AlcoleiCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Alvarez-Picallo19,
author = {Mario Alvarez{-}Picallo and
C.{-}H. Luke Ong},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Change Actions: Models of Generalised Differentiation},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {45--61},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_3},
doi = {10.1007/978-3-030-17127-8\_3},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Alvarez-Picallo19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BarloccoKR19,
author = {Simone Barlocco and
Clemens Kupke and
Jurriaan Rot},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Coalgebra Learning via Duality},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {62--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_4},
doi = {10.1007/978-3-030-17127-8\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BarloccoKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Ben-AmramH19,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Tight Worst-Case Bounds for Polynomial Loop Programs},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {80--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_5},
doi = {10.1007/978-3-030-17127-8\_5},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Ben-AmramH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BiernackiLP19,
author = {Dariusz Biernacki and
Sergue{\"{\i}} Lenglet and
Piotr Polesiuk},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {A Complete Normal-Form Bisimilarity for State},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {98--114},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_6},
doi = {10.1007/978-3-030-17127-8\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BiernackiLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BolligBR19,
author = {Benedikt Bollig and
Patricia Bouyer and
Fabian Reiter},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Identifiers in Registers - Describing Network Algorithms with Logic},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {115--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_7},
doi = {10.1007/978-3-030-17127-8\_7},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BolligBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CadilhacPB19,
author = {Micha{\"{e}}l Cadilhac and
Guillermo A. P{\'{e}}rez and
Marie van den Bogaard},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {The Impatient May Use Limited Optimism to Minimize Regret},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {133--149},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_8},
doi = {10.1007/978-3-030-17127-8\_8},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CadilhacPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CastellanY19,
author = {Simon Castellan and
Nobuko Yoshida},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free
Multiplicative-Additive Fragment)},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {150--168},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_9},
doi = {10.1007/978-3-030-17127-8\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/CastellanY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ColcombetF19,
author = {Thomas Colcombet and
Nathana{\"{e}}l Fijalkow},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Universal Graphs and Good for Games Automata: New Tools for Infinite
Duration Games},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {1--26},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_1},
doi = {10.1007/978-3-030-17127-8\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ColcombetF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CorradiniHKNR19,
author = {Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Dennis Nolte and
Arend Rensink},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Rewriting Abstract Structures: Materialization Explained Categorically},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {169--188},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_10},
doi = {10.1007/978-3-030-17127-8\_10},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CorradiniHKNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DartoisFT19,
author = {Luc Dartois and
Emmanuel Filiot and
Jean{-}Marc Talbot},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Two-Way Parikh Automata with a Visibly Pushdown Stack},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {189--206},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_11},
doi = {10.1007/978-3-030-17127-8\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DartoisFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DoumaneKPP19,
author = {Amina Doumane and
Denis Kuperberg and
Damien Pous and
C{\'{e}}cilia Pradic},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Kleene Algebra with Hypotheses},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {207--223},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_12},
doi = {10.1007/978-3-030-17127-8\_12},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DoumaneKPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Dubut19,
author = {J{\'{e}}r{\'{e}}my Dubut},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Trees in Partial Higher Dimensional Automata},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {224--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_13},
doi = {10.1007/978-3-030-17127-8\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Dubut19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EchenimIP19,
author = {Mnacho Echenim and
Radu Iosif and
Nicolas Peltier},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic
on Arbitrary Domains},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {242--259},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_14},
doi = {10.1007/978-3-030-17127-8\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EchenimIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Glabbeek19,
author = {Rob van Glabbeek},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Justness - {A} Completeness Criterion for Capturing Liveness Properties
(Extended Abstract)},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {505--522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_29},
doi = {10.1007/978-3-030-17127-8\_29},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Glabbeek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GuptaSAH19,
author = {Utkarsh Gupta and
Preey Shah and
S. Akshay and
Piotr Hofman},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Continuous Reachability for Unordered Data Petri Nets is in PTime},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {260--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_15},
doi = {10.1007/978-3-030-17127-8\_15},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/GuptaSAH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HausmannS19,
author = {Daniel Hausmann and
Lutz Schr{\"{o}}der},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Optimal Satisfiability Checking for Arithmetic {\textbackslash}mu
-Calculi},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {277--294},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_16},
doi = {10.1007/978-3-030-17127-8\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HausmannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Hugunin19,
author = {Jasper Hugunin},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Constructing Inductive-Inductive Types in Cubical Type Theory},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {295--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_17},
doi = {10.1007/978-3-030-17127-8\_17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Hugunin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JacobsKZ19,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Causal Inference by String Diagram Surgery},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {313--329},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_18},
doi = {10.1007/978-3-030-17127-8\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JacobsKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KerjeanL19,
author = {Marie Kerjean and
Jean{-}Simon Pacaud Lemay},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Higher-Order Distributions for Differential Linear Logic},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {330--347},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_19},
doi = {10.1007/978-3-030-17127-8\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KerjeanL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KuskeZ19,
author = {Dietrich Kuske and
Georg Zetzsche},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Languages Ordered by the Subword Order},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {348--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_20},
doi = {10.1007/978-3-030-17127-8\_20},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KuskeZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LeventisP19,
author = {Thomas Leventis and
Michele Pagani},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence
Spaces},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {365--381},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_21},
doi = {10.1007/978-3-030-17127-8\_21},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LeventisP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LucasM19,
author = {Christophe Lucas and
Matteo Mio},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Towards a Structural Proof Theory of Probabilistic {\textbackslash}mu
-Calculi},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {418--435},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_24},
doi = {10.1007/978-3-030-17127-8\_24},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LucasM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MatacheS19,
author = {Cristina Matache and
Sam Staton},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {A Sound and Complete Logic for Algebraic Effects},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {382--399},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_22},
doi = {10.1007/978-3-030-17127-8\_22},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MatacheS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MiliusU19,
author = {Stefan Milius and
Henning Urbat},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Equational Axiomatization of Algebras with Structure},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {400--417},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_23},
doi = {10.1007/978-3-030-17127-8\_23},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MiliusU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PiribauerB19,
author = {Jakob Piribauer and
Christel Baier},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Partial and Conditional Expectations in Markov Decision Processes
with Integer Weights},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {436--452},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_25},
doi = {10.1007/978-3-030-17127-8\_25},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PiribauerB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PirogPS19,
author = {Maciej Pir{\'{o}}g and
Piotr Polesiuk and
Filip Sieczkowski},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Equational Theories and Monads from Polynomial Cayley Representations},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {453--469},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_26},
doi = {10.1007/978-3-030-17127-8\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PirogPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PradicR19,
author = {C{\'{e}}cilia Pradic and
Colin Riba},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {A Dialectica-Like Interpretation of a Linear {MSO} on Infinite Words},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {470--487},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_27},
doi = {10.1007/978-3-030-17127-8\_27},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/PradicR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SeidlPM19,
author = {Helmut Seidl and
Raphaela Palenta and
Sebastian Maneth},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Deciding Equivalence of Separated Non-nested Attribute Systems in
Polynomial Time},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {488--504},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_28},
doi = {10.1007/978-3-030-17127-8\_28},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SeidlPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/WissmannDKH19,
author = {Thorsten Wi{\ss}mann and
J{\'{e}}r{\'{e}}my Dubut and
Shin{-}ya Katsumata and
Ichiro Hasuo},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic
Branching},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {523--540},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_30},
doi = {10.1007/978-3-030-17127-8\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/WissmannDKH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2019,
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {11425},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8},
doi = {10.1007/978-3-030-17127-8},
isbn = {978-3-030-17126-1},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-18 23:10 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
