Search dblp for Publications

export results for "toc:db/conf/fossacs/fossacs2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fossacs/0001P18,
  author       = {St{\'{e}}phane Le Roux and
                  Guillermo A. P{\'{e}}rez},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {The Complexity of Graph-Based Reductions for Reachability in Markov
                  Decision Processes},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {367--383},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_20},
  doi          = {10.1007/978-3-319-89366-2\_20},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/0001P18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/0001S18,
  author       = {Sergey Goncharov and
                  Lutz Schr{\"{o}}der},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Guarded Traced Categories},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {313--330},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_17},
  doi          = {10.1007/978-3-319-89366-2\_17},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/0001S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AcetoAFI18,
  author       = {Luca Aceto and
                  Antonis Achilleos and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Framework for Parameterized Monitorability},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_11},
  doi          = {10.1007/978-3-319-89366-2\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AcetoAFI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AltenkirchCDKF18,
  author       = {Thorsten Altenkirch and
                  Paolo Capriotti and
                  Gabe Dijkstra and
                  Nicolai Kraus and
                  Fredrik Nordvall Forsberg},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Quotient Inductive-Inductive Types},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {293--310},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_16},
  doi          = {10.1007/978-3-319-89366-2\_16},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AltenkirchCDKF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BaldanP18,
  author       = {Paolo Baldan and
                  Tommaso Padoan},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Automata for True Concurrency Properties},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {165--182},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_9},
  doi          = {10.1007/978-3-319-89366-2\_9},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BaldanP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BansalCV18,
  author       = {Suguman Bansal and
                  Swarat Chaudhuri and
                  Moshe Y. Vardi},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Comparator Automata in Quantitative Verification},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {420--437},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_23},
  doi          = {10.1007/978-3-319-89366-2\_23},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BansalCV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BazilleFG18,
  author       = {Hugo Bazille and
                  Eric Fabre and
                  Blaise Genest},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Symbolically Quantifying Response Time in Stochastic Models Using
                  Moments and Semirings},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {403--419},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_22},
  doi          = {10.1007/978-3-319-89366-2\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BazilleFG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Bouyer18,
  author       = {Patricia Bouyer},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Games on Graphs with a Public Signal Monitoring},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {530--547},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_29},
  doi          = {10.1007/978-3-319-89366-2\_29},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Bouyer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/CamposL18,
  author       = {Marco Devesas Campos and
                  Paul Blain Levy},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Syntactic View of Computational Adequacy},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {71--87},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_4},
  doi          = {10.1007/978-3-319-89366-2\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CamposL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/CastellanCHW18,
  author       = {Simon Castellan and
                  Pierre Clairambault and
                  Jonathan Hayman and
                  Glynn Winskel},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Non-angelic Concurrent Game Semantics},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_1},
  doi          = {10.1007/978-3-319-89366-2\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CastellanCHW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Clouston18,
  author       = {Ranald Clouston},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Fitch-Style Modal Lambda Calculi},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {258--275},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_14},
  doi          = {10.1007/978-3-319-89366-2\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Clouston18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/DArgenioGHS18,
  author       = {Pedro R. D'Argenio and
                  Marcus Gerhold and
                  Arnd Hartmanns and
                  Sean Sedwards},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Hierarchy of Scheduler Classes for Stochastic Automata},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {384--402},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_21},
  doi          = {10.1007/978-3-319-89366-2\_21},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/DArgenioGHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/DardhaG18,
  author       = {Ornela Dardha and
                  Simon J. Gay},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A New Linear Logic for Deadlock-Free Session-Typed Processes},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {91--109},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_5},
  doi          = {10.1007/978-3-319-89366-2\_5},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/DardhaG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/DemriLM18,
  author       = {St{\'{e}}phane Demri and
                  {\'{E}}tienne Lozes and
                  Alessio Mansutti},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {The Effects of Adding Reachability Predicates in Propositional Separation
                  Logic},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {476--493},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_26},
  doi          = {10.1007/978-3-319-89366-2\_26},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/DemriLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/DochertyP18,
  author       = {Simon Docherty and
                  David J. Pym},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Modular Tableaux Calculi for Separation Theories},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {441--458},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_24},
  doi          = {10.1007/978-3-319-89366-2\_24},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/DochertyP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/EdalatM18,
  author       = {Abbas Edalat and
                  Mehrdad Maleki},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Differential Calculus with Imprecise Input and Its Logical Framework},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {459--475},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_25},
  doi          = {10.1007/978-3-319-89366-2\_25},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/EdalatM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/GenetHJ18,
  author       = {Thomas Genet and
                  Timoth{\'{e}}e Haudebourg and
                  Thomas P. Jensen},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Verifying Higher-Order Functions with Tree Automata},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {565--582},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_31},
  doi          = {10.1007/978-3-319-89366-2\_31},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GenetHJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Glabbeek18,
  author       = {Rob van Glabbeek},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended
                  Abstract)},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_10},
  doi          = {10.1007/978-3-319-89366-2\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Glabbeek18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/JaberT18,
  author       = {Guilhem Jaber and
                  Nikos Tzevelekos},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Trace Semantics for System {F} Parametric Polymorphism},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_2},
  doi          = {10.1007/978-3-319-89366-2\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/JaberT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/JacqM18,
  author       = {Cl{\'{e}}ment Jacq and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Categorical Combinatorics for Non Deterministic Strategies on Simple
                  Games},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {39--70},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_3},
  doi          = {10.1007/978-3-319-89366-2\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/JacqM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Katsumata18,
  author       = {Shin{-}ya Katsumata},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {A Double Category Theoretic Analysis of Graded Linear Exponential
                  Comonads},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {110--127},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_6},
  doi          = {10.1007/978-3-319-89366-2\_6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Katsumata18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/KesnerRV18,
  author       = {Delia Kesner and
                  Alejandro R{\'{\i}}os and
                  Andr{\'{e}}s Viso},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Call-by-Need, Neededness and All That},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {241--257},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_13},
  doi          = {10.1007/978-3-319-89366-2\_13},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/KesnerRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/LasotaP18,
  author       = {Slawomir Lasota and
                  Radoslaw Pi{\'{o}}rkowski},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {{WQO} Dichotomy for 3-Graphs},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {548--564},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_30},
  doi          = {10.1007/978-3-319-89366-2\_30},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/LasotaP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/LiuYZ18,
  author       = {Xinxin Liu and
                  Tingting Yu and
                  Wenhui Zhang},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Logics for Bisimulation and Divergence},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_12},
  doi          = {10.1007/978-3-319-89366-2\_12},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/LiuYZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/MiqueyH18,
  author       = {{\'{E}}tienne Miquey and
                  Hugo Herbelin},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Realizability Interpretation and Normalization of Typed Call-by-Need
                  {\textbackslash}lambda -calculus with Control},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {276--292},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_15},
  doi          = {10.1007/978-3-319-89366-2\_15},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/MiqueyH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Rabusseau18,
  author       = {Guillaume Rabusseau},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Minimization of Graph Weighted Models over Circular Strings},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {513--529},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_28},
  doi          = {10.1007/978-3-319-89366-2\_28},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Rabusseau18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/SabryVV18,
  author       = {Amr Sabry and
                  Beno{\^{\i}}t Valiron and
                  Juliana Kaizer Vizzotto},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {From Symmetric Pattern-Matching to Quantum Control},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {348--364},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_19},
  doi          = {10.1007/978-3-319-89366-2\_19},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/SabryVV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Santocanale18,
  author       = {Luigi Santocanale},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {The Equational Theory of the Natural Join and Inner Union is Decidable},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {494--510},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_27},
  doi          = {10.1007/978-3-319-89366-2\_27},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Santocanale18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/SchererNRA18,
  author       = {Gabriel Scherer and
                  Max S. New and
                  Nick Rioux and
                  Amal Ahmed},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Fab ous Interoperability for {ML} and a Linear Language},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_8},
  doi          = {10.1007/978-3-319-89366-2\_8},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/SchererNRA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/SokolovaW18,
  author       = {Ana Sokolova and
                  Harald Woracek},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Proper Semirings and Proper Convex Functors},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {331--347},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_18},
  doi          = {10.1007/978-3-319-89366-2\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/SokolovaW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/ToninhoY18,
  author       = {Bernardo Toninho and
                  Nobuko Yoshida},
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {Depending on Session-Typed Processes},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  pages        = {128--145},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2\_7},
  doi          = {10.1007/978-3-319-89366-2\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/ToninhoY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fossacs/2018,
  editor       = {Christel Baier and
                  Ugo Dal Lago},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10803},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89366-2},
  doi          = {10.1007/978-3-319-89366-2},
  isbn         = {978-3-319-89365-5},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.