Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2009.bht:"
@inproceedings{DBLP:conf/fossacs/AbbesB09, author = {Samy Abbes and Albert Benveniste}, editor = {Luca de Alfaro}, title = {Concurrency, sigma-Algebras, and Probabilistic Fairness}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {380--394}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_27}, doi = {10.1007/978-3-642-00596-1\_27}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/AbbesB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AbdullaM09, author = {Parosh Aziz Abdulla and Richard Mayr}, editor = {Luca de Alfaro}, title = {Minimal Cost Reachability/Coverability in Priced Timed Petri Nets}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {348--363}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_25}, doi = {10.1007/978-3-642-00596-1\_25}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/AbdullaM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AdamekMV09, author = {Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius and Jir{\'{\i}} Velebil}, editor = {Luca de Alfaro}, title = {A Description of Iterative Reflections of Monads (Extended Abstract)}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {152--166}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_12}, doi = {10.1007/978-3-642-00596-1\_12}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/AdamekMV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Alur09, author = {Rajeev Alur}, editor = {Luca de Alfaro}, title = {Temporal Reasoning about Program Executions}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {15}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_2}, doi = {10.1007/978-3-642-00596-1\_2}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Alur09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AlurDMW09, author = {Rajeev Alur and Aldric Degorre and Oded Maler and Gera Weiss}, editor = {Luca de Alfaro}, title = {On Omega-Languages Defined by Mean-Payoff Conditions}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {333--347}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_24}, doi = {10.1007/978-3-642-00596-1\_24}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/AlurDMW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AntonopoulosD09, author = {Timos Antonopoulos and Anuj Dawar}, editor = {Luca de Alfaro}, title = {Separating Graph Logic from {MSO}}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {63--77}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_6}, doi = {10.1007/978-3-642-00596-1\_6}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/AntonopoulosD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/ArandaVV09, author = {Jes{\'{u}}s Aranda and Frank D. Valencia and Cristian Versari}, editor = {Luca de Alfaro}, title = {On the Expressive Power of Restriction and Priorities in {CCS} with Replication}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {242--256}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_18}, doi = {10.1007/978-3-642-00596-1\_18}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/ArandaVV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BansalBL09, author = {Kshitij Bansal and R{\'{e}}mi Brochenin and {\'{E}}tienne Lozes}, editor = {Luca de Alfaro}, title = {Beyond Shapes: Lists with Ordered Data}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {425--439}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_30}, doi = {10.1007/978-3-642-00596-1\_30}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/BansalBL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BerardH09, author = {B{\'{e}}atrice B{\'{e}}rard and Serge Haddad}, editor = {Luca de Alfaro}, title = {Interrupt Timed Automata}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {197--211}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_15}, doi = {10.1007/978-3-642-00596-1\_15}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/BerardH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BirkedalST09, author = {Lars Birkedal and Kristian St{\o}vring and Jacob Thamsborg}, editor = {Luca de Alfaro}, title = {Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {456--470}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_32}, doi = {10.1007/978-3-642-00596-1\_32}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/BirkedalST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BolligGH09, author = {Benedikt Bollig and Manuela{-}Lidia Grindei and Peter Habermehl}, editor = {Luca de Alfaro}, title = {Realizability of Concurrent Recursive Programs}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {410--424}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_29}, doi = {10.1007/978-3-642-00596-1\_29}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/BolligGH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BonchiGM09, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Luca de Alfaro}, title = {Reactive Systems, Barbed Semantics, and the Mobile Ambients}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {272--287}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_20}, doi = {10.1007/978-3-642-00596-1\_20}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BonchiGM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BonsangueRS09, author = {Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, editor = {Luca de Alfaro}, title = {A Kleene Theorem for Polynomial Coalgebras}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {122--136}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_10}, doi = {10.1007/978-3-642-00596-1\_10}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BonsangueRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BroadbentO09, author = {Christopher H. Broadbent and C.{-}H. Luke Ong}, editor = {Luca de Alfaro}, title = {On Global Model Checking Trees Generated by Higher-Order Recursion Schemes}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {107--121}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_9}, doi = {10.1007/978-3-642-00596-1\_9}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/BroadbentO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/ChatzikokolakisNP09, author = {Konstantinos Chatzikokolakis and Gethin Norman and David Parker}, editor = {Luca de Alfaro}, title = {Bisimulation for Demonic Schedulers}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {318--332}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_23}, doi = {10.1007/978-3-642-00596-1\_23}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/ChatzikokolakisNP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Clairambault09, author = {Pierre Clairambault}, editor = {Luca de Alfaro}, title = {Least and Greatest Fixpoints in Game Semantics}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {16--31}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_3}, doi = {10.1007/978-3-642-00596-1\_3}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Clairambault09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FossatiV09, author = {Luca Fossati and Daniele Varacca}, editor = {Luca de Alfaro}, title = {The Calculus of Handshake Configurations}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {227--241}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_17}, doi = {10.1007/978-3-642-00596-1\_17}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/FossatiV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Gutierrez09, author = {Julian Gutierrez}, editor = {Luca de Alfaro}, title = {Logics and Bisimulation Games for Concurrency, Causality and Conflict}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {48--62}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_5}, doi = {10.1007/978-3-642-00596-1\_5}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Gutierrez09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Guttman09, author = {Joshua D. Guttman}, editor = {Luca de Alfaro}, title = {Cryptographic Protocol Composition via the Authentication Tests}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {303--317}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_22}, doi = {10.1007/978-3-642-00596-1\_22}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Guttman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KuhnrichSSK09, author = {Morten K{\"{u}}hnrich and Stefan Schwoon and Jir{\'{\i}} Srba and Stefan Kiefer}, editor = {Luca de Alfaro}, title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {440--455}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_31}, doi = {10.1007/978-3-642-00596-1\_31}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/KuhnrichSSK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KupfermanP09, author = {Orna Kupferman and Nir Piterman}, editor = {Luca de Alfaro}, title = {Lower Bounds on Witnesses for Nonemptiness of Universal Co-B{\"{u}}chi Automata}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {182--196}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_14}, doi = {10.1007/978-3-642-00596-1\_14}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/KupfermanP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Leivant09, author = {Daniel Leivant}, editor = {Luca de Alfaro}, title = {On the Completeness of Dynamic Logic}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {78--91}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_7}, doi = {10.1007/978-3-642-00596-1\_7}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Leivant09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LengletSS09, author = {Sergue{\"{\i}} Lenglet and Alan Schmitt and Jean{-}Bernard Stefani}, editor = {Luca de Alfaro}, title = {Normal Bisimulations in Calculi with Passivation}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {257--271}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_19}, doi = {10.1007/978-3-642-00596-1\_19}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/LengletSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LohreyMS09, author = {Markus Lohrey and Sebastian Maneth and Manfred Schmidt{-}Schau{\ss}}, editor = {Luca de Alfaro}, title = {Parameter Reduction in Grammar-Compressed Trees}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {212--226}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_16}, doi = {10.1007/978-3-642-00596-1\_16}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/LohreyMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LustigV09, author = {Yoad Lustig and Moshe Y. Vardi}, editor = {Luca de Alfaro}, title = {Synthesis from Component Libraries}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {395--409}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_28}, doi = {10.1007/978-3-642-00596-1\_28}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/LustigV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/MurawskiT09, author = {Andrzej S. Murawski and Nikos Tzevelekos}, editor = {Luca de Alfaro}, title = {Full Abstraction for Reduced {ML}}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {32--47}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_4}, doi = {10.1007/978-3-642-00596-1\_4}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/MurawskiT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/MyersPS09, author = {Robert S. R. Myers and Dirk Pattinson and Lutz Schr{\"{o}}der}, editor = {Luca de Alfaro}, title = {Coalgebraic Hybrid Logic}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {137--151}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_11}, doi = {10.1007/978-3-642-00596-1\_11}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/MyersPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/NeuhausserSK09, author = {Martin R. Neuh{\"{a}}u{\ss}er and Mari{\"{e}}lle Stoelinga and Joost{-}Pieter Katoen}, editor = {Luca de Alfaro}, title = {Delayed Nondeterminism in Continuous-Time Markov Decision Processes}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {364--379}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_26}, doi = {10.1007/978-3-642-00596-1\_26}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/NeuhausserSK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Schewe09, author = {Sven Schewe}, editor = {Luca de Alfaro}, title = {Tighter Bounds for the Determinisation of B{\"{u}}chi Automata}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {167--181}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_13}, doi = {10.1007/978-3-642-00596-1\_13}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Schewe09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Smith09, author = {Geoffrey Smith}, editor = {Luca de Alfaro}, title = {On the Foundations of Quantitative Information Flow}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {288--302}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_21}, doi = {10.1007/978-3-642-00596-1\_21}, timestamp = {Mon, 19 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Smith09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Stirling09, author = {Colin Stirling}, editor = {Luca de Alfaro}, title = {Dependency Tree Automata}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {92--106}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_8}, doi = {10.1007/978-3-642-00596-1\_8}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Stirling09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Thomas09, author = {Wolfgang Thomas}, editor = {Luca de Alfaro}, title = {Facets of Synthesis: Revisiting Church's Problem}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {1--14}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_1}, doi = {10.1007/978-3-642-00596-1\_1}, timestamp = {Thu, 07 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Thomas09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fossacs/2009, editor = {Luca de Alfaro}, title = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1}, doi = {10.1007/978-3-642-00596-1}, isbn = {978-3-642-00595-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/2009.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.