Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Uli Fahrenberg
@article{DBLP:journals/corr/abs-2401-17444, author = {Amazigh Amrane and Hugo Bazille and Emily Clement and Uli Fahrenberg}, title = {Languages of Higher-Dimensional Timed Automata}, journal = {CoRR}, volume = {abs/2401.17444}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.17444}, doi = {10.48550/ARXIV.2401.17444}, eprinttype = {arXiv}, eprint = {2401.17444}, timestamp = {Wed, 07 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-17444.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-01589, author = {Safa Zouari and Krzysztof Ziemianski and Uli Fahrenberg}, title = {Bisimulations and Logics for Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2402.01589}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.01589}, doi = {10.48550/ARXIV.2402.01589}, eprinttype = {arXiv}, eprint = {2402.01589}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-01589.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/FahrenbergZ23, author = {Uli Fahrenberg and Krzysztof Ziemianski}, editor = {Lu{\'{\i}}s Gomes and Robert Lorenz}, title = {A Myhill-Nerode Theorem for Higher-Dimensional Automata}, booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13929}, pages = {167--188}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33620-1\_9}, doi = {10.1007/978-3-031-33620-1\_9}, timestamp = {Wed, 31 May 2023 14:56:55 +0200}, biburl = {https://dblp.org/rec/conf/apn/FahrenbergZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DziadekFS23, author = {Sven Dziadek and Uli Fahrenberg and Philipp Schlehuber{-}Caissier}, editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker}, title = {Energy B{\"{u}}chi Problems}, booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14000}, pages = {222--239}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-27481-7\_14}, doi = {10.1007/978-3-031-27481-7\_14}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/DziadekFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/AmraneBFZ23, author = {Amazigh Amrane and Hugo Bazille and Uli Fahrenberg and Krzysztof Ziemianski}, editor = {Erika {\'{A}}brah{\'{a}}m and Clemens Dubslaff and Silvia Lizeth Tapia Tarifa}, title = {Closure and Decision Properties for Higher-Dimensional Automata}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14446}, pages = {295--312}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47963-2\_18}, doi = {10.1007/978-3-031-47963-2\_18}, timestamp = {Fri, 01 Dec 2023 18:39:19 +0100}, biburl = {https://dblp.org/rec/conf/ictac/AmraneBFZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-02873, author = {Amazigh Amrane and Hugo Bazille and Uli Fahrenberg and Krzysztof Ziemianski}, title = {Developments in Higher-Dimensional Automata Theory}, journal = {CoRR}, volume = {abs/2305.02873}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.02873}, doi = {10.48550/ARXIV.2305.02873}, eprinttype = {arXiv}, eprint = {2305.02873}, timestamp = {Wed, 10 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-02873.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FahrenbergJSZ22, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Posets with interfaces as a model for concurrency}, journal = {Inf. Comput.}, volume = {285}, number = {Part}, pages = {104914}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104914}, doi = {10.1016/J.IC.2022.104914}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/FahrenbergJSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lites/AbateFF22, author = {Alessandro Abate and Uli Fahrenberg and Martin Fr{\"{a}}nzle}, title = {Introduction to the Special Issue on Distributed Hybrid Systems}, journal = {Leibniz Trans. Embed. Syst.}, volume = {8}, number = {2}, pages = {00:1--00:3}, year = {2022}, url = {https://doi.org/10.4230/LITES.8.2.0}, doi = {10.4230/LITES.8.2.0}, timestamp = {Fri, 27 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lites/AbateFF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lites/Fahrenberg22, author = {Uli Fahrenberg}, title = {Higher-Dimensional Timed and Hybrid Automata}, journal = {Leibniz Trans. Embed. Syst.}, volume = {8}, number = {2}, pages = {03:1--03:16}, year = {2022}, url = {https://doi.org/10.4230/LITES.8.2.3}, doi = {10.4230/LITES.8.2.3}, timestamp = {Fri, 27 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lites/Fahrenberg22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/FahrenbergL22, author = {Uli Fahrenberg and Axel Legay}, title = {Featured games}, journal = {Sci. Comput. Program.}, volume = {223}, pages = {102874}, year = {2022}, url = {https://doi.org/10.1016/j.scico.2022.102874}, doi = {10.1016/J.SCICO.2022.102874}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/FahrenbergL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FahrenbergJSZ22, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, editor = {Bartek Klin and Slawomir Lasota and Anca Muscholl}, title = {A Kleene Theorem for Higher-Dimensional Automata}, booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland}, series = {LIPIcs}, volume = {243}, pages = {29:1--29:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.29}, doi = {10.4230/LIPICS.CONCUR.2022.29}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/FahrenbergJSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-03791, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {A Kleene Theorem for Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2202.03791}, year = {2022}, url = {https://arxiv.org/abs/2202.03791}, eprinttype = {arXiv}, eprint = {2202.03791}, timestamp = {Wed, 09 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-03791.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-11302, author = {Uli Fahrenberg}, title = {A Generic Approach to Quantitative Verification}, journal = {CoRR}, volume = {abs/2204.11302}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.11302}, doi = {10.48550/ARXIV.2204.11302}, eprinttype = {arXiv}, eprint = {2204.11302}, timestamp = {Thu, 28 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-11302.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-04392, author = {Sven Dziadek and Uli Fahrenberg and Philipp Schlehuber{-}Caissier}, title = {Energy B{\"{u}}chi Problems}, journal = {CoRR}, volume = {abs/2205.04392}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.04392}, doi = {10.48550/ARXIV.2205.04392}, eprinttype = {arXiv}, eprint = {2205.04392}, timestamp = {Wed, 11 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-04392.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-08298, author = {Uli Fahrenberg and Krzysztof Ziemianski}, title = {A Myhill-Nerode Theorem for Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2210.08298}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.08298}, doi = {10.48550/ARXIV.2210.08298}, eprinttype = {arXiv}, eprint = {2210.08298}, timestamp = {Wed, 19 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-08298.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BacciBFLMR21, author = {Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey and Pierre{-}Alain Reynier}, title = {Optimal and robust controller synthesis using energy timed automata with uncertainty}, journal = {Formal Aspects Comput.}, volume = {33}, number = {1}, pages = {3--25}, year = {2021}, url = {https://doi.org/10.1007/s00165-020-00521-4}, doi = {10.1007/S00165-020-00521-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BacciBFLMR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FahrenbergJTZ21, author = {Uli Fahrenberg and Christian Johansen and Christopher Trotter and Krzysztof Ziemianski}, title = {Sculptures in Concurrency}, journal = {Log. Methods Comput. Sci.}, volume = {17}, number = {2}, year = {2021}, url = {https://lmcs.episciences.org/7363}, timestamp = {Tue, 20 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/FahrenbergJTZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/FahrenbergJSZ21, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Languages of higher-dimensional automata}, journal = {Math. Struct. Comput. Sci.}, volume = {31}, number = {5}, pages = {575--613}, year = {2021}, url = {https://doi.org/10.1017/S0960129521000293}, doi = {10.1017/S0960129521000293}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/FahrenbergJSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/CalkFJSZ21, author = {Cameron Calk and Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, editor = {Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter}, title = {{\(\mathscr{l}\)} r-Multisemigroups, Modal Quantales and the Origin of Locality}, booktitle = {Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13027}, pages = {90--107}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88701-8\_6}, doi = {10.1007/978-3-030-88701-8\_6}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/CalkFJSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/FahrenbergL21, author = {Uli Fahrenberg and Axel Legay}, title = {Featured Games}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2021, Shanghai, China, August 25-27, 2021}, pages = {167--174}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TASE52547.2021.00027}, doi = {10.1109/TASE52547.2021.00027}, timestamp = {Mon, 11 Oct 2021 17:13:04 +0200}, biburl = {https://dblp.org/rec/conf/tase/FahrenbergL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/2021, editor = {Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter}, title = {Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13027}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88701-8}, doi = {10.1007/978-3-030-88701-8}, isbn = {978-3-030-88700-1}, timestamp = {Mon, 25 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-07557, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Languages of Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2103.07557}, year = {2021}, url = {https://arxiv.org/abs/2103.07557}, eprinttype = {arXiv}, eprint = {2103.07557}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-07557.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-00188, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {lr-Multisemigroups and Modal Convolution Algebras}, journal = {CoRR}, volume = {abs/2105.00188}, year = {2021}, url = {https://arxiv.org/abs/2105.00188}, eprinttype = {arXiv}, eprint = {2105.00188}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-00188.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-10895, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Posets with Interfaces for Concurrent Kleene Algebra}, journal = {CoRR}, volume = {abs/2106.10895}, year = {2021}, url = {https://arxiv.org/abs/2106.10895}, eprinttype = {arXiv}, eprint = {2106.10895}, timestamp = {Tue, 29 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-10895.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BenesFKLT20, author = {Nikola Benes and Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay and Louis{-}Marie Traonouez}, title = {Logical vs. behavioural specifications}, journal = {Inf. Comput.}, volume = {271}, pages = {104487}, year = {2020}, url = {https://doi.org/10.1016/j.ic.2019.104487}, doi = {10.1016/J.IC.2019.104487}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BenesFKLT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/FahrenbergL20, author = {Uli Fahrenberg and Axel Legay}, title = {A linear-time-branching-time spectrum for behavioral specification theories}, journal = {J. Log. Algebraic Methods Program.}, volume = {110}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100499}, doi = {10.1016/J.JLAMP.2019.100499}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/FahrenbergL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FahrenbergLQ20, author = {Uli Fahrenberg and Axel Legay and Karin Quaas}, title = {Computing branching distances with quantitative games}, journal = {Theor. Comput. Sci.}, volume = {847}, pages = {134--146}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2020.10.001}, doi = {10.1016/J.TCS.2020.10.001}, timestamp = {Fri, 13 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FahrenbergLQ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/FahrenbergJST20, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Ratan Bahadur Thapa}, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Generating Posets Beyond {N}}, booktitle = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, pages = {82--99}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2\_6}, doi = {10.1007/978-3-030-43520-2\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/FahrenbergL20, author = {Uli Fahrenberg and Axel Legay}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Behavioral Specification Theories: An Algebraic Taxonomy}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12476}, pages = {262--274}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-61362-4\_14}, doi = {10.1007/978-3-030-61362-4\_14}, timestamp = {Thu, 29 Oct 2020 15:56:14 +0100}, biburl = {https://dblp.org/rec/conf/isola/FahrenbergL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/2020, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2}, doi = {10.1007/978-3-030-43520-2}, isbn = {978-3-030-43519-6}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-05666, author = {Uli Fahrenberg and Axel Legay}, title = {Featured Games}, journal = {CoRR}, volume = {abs/2005.05666}, year = {2020}, url = {https://arxiv.org/abs/2005.05666}, eprinttype = {arXiv}, eprint = {2005.05666}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-05666.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-11011, author = {Uli Fahrenberg and Axel Legay}, title = {Behavioral Specification Theories: an Algebraic Taxonomy}, journal = {CoRR}, volume = {abs/2009.11011}, year = {2020}, url = {https://arxiv.org/abs/2009.11011}, eprinttype = {arXiv}, eprint = {2009.11011}, timestamp = {Wed, 30 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-11011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-04704, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianksi}, title = {Domain Semirings United}, journal = {CoRR}, volume = {abs/2011.04704}, year = {2020}, url = {https://arxiv.org/abs/2011.04704}, eprinttype = {arXiv}, eprint = {2011.04704}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-04704.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/CacheraFL19, author = {David Cachera and Uli Fahrenberg and Axel Legay}, title = {An {\(\omega\)}{\(\omega\)}{\textbackslash}omega-Algebra for Real-Time Energy Problems}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {2}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(2:17)2019}, doi = {10.23638/LMCS-15(2:17)2019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/CacheraFL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FahrenbergL19, author = {Uli Fahrenberg and Axel Legay}, title = {Quantitative properties of featured automata}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {21}, number = {6}, pages = {667--677}, year = {2019}, url = {https://doi.org/10.1007/s10009-019-00538-y}, doi = {10.1007/S10009-019-00538-Y}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/FahrenbergL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FahrenbergLQ19, author = {Uli Fahrenberg and Axel Legay and Karin Quaas}, editor = {Robert M. Hierons and Mohamed Mosbah}, title = {Computing Branching Distances Using Quantitative Games}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11884}, pages = {59--75}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32505-3\_4}, doi = {10.1007/978-3-030-32505-3\_4}, timestamp = {Tue, 11 Oct 2022 14:59:07 +0200}, biburl = {https://dblp.org/rec/conf/ictac/FahrenbergLQ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-06162, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Ratan Bahadur Thapa}, title = {Generating Posets Beyond {N}}, journal = {CoRR}, volume = {abs/1910.06162}, year = {2019}, url = {http://arxiv.org/abs/1910.06162}, eprinttype = {arXiv}, eprint = {1910.06162}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-06162.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-08943, author = {Uli Fahrenberg and Axel Legay and Karin Quaas}, title = {Computing Branching Distances Using Quantitative Games}, journal = {CoRR}, volume = {abs/1910.08943}, year = {2019}, url = {http://arxiv.org/abs/1910.08943}, eprinttype = {arXiv}, eprint = {1910.08943}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-08943.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soco/FahrenbergKLT18, author = {Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay and Louis{-}Marie Traonouez}, title = {Compositionality for quantitative specifications}, journal = {Soft Comput.}, volume = {22}, number = {4}, pages = {1139--1158}, year = {2018}, url = {https://doi.org/10.1007/s00500-017-2519-5}, doi = {10.1007/S00500-017-2519-5}, timestamp = {Tue, 06 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/soco/FahrenbergKLT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adhs/Fahrenberg18, author = {Uli Fahrenberg}, editor = {Alessandro Abate and Antoine Girard and Maurice Heemels}, title = {Higher-Dimensional Timed Automata}, booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS} 2018, Oxford, UK, July 11-13, 2018}, series = {IFAC-PapersOnLine}, volume = {51}, number = {16}, pages = {109--114}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.ifacol.2018.08.019}, doi = {10.1016/J.IFACOL.2018.08.019}, timestamp = {Mon, 08 Oct 2018 13:49:16 +0200}, biburl = {https://dblp.org/rec/conf/adhs/Fahrenberg18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/0001BFLMR18, author = {Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Pierre{-}Alain Reynier}, editor = {Klaus Havelund and Jan Peleska and Bill Roscoe and Erik P. de Vink}, title = {Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty}, booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10951}, pages = {203--221}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-95582-7\_12}, doi = {10.1007/978-3-319-95582-7\_12}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/0001BFLMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/OlaecheaALF18, author = {Rafael Olaechea and Joanne M. Atlee and Axel Legay and Uli Fahrenberg}, editor = {Jesper Andersson and Danny Weyns}, title = {Trace checking for dynamic software product lines}, booktitle = {Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018}, pages = {69--75}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3194133.3194143}, doi = {10.1145/3194133.3194143}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/OlaecheaALF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nik/FahrenbergL18, author = {Uli Fahrenberg and Kim G. Larsen}, title = {Energiautomater, energifunktioner og Kleene-algebra}, booktitle = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018}, publisher = {Bibsys Open Journal Systems, Norway}, year = {2018}, url = {https://ojs.bibsys.no/index.php/NIK/article/view/495}, timestamp = {Fri, 05 Feb 2021 11:08:06 +0100}, biburl = {https://dblp.org/rec/conf/nik/FahrenbergL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/mc/BouyerFLMO018, author = {Patricia Bouyer and Uli Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Jo{\"{e}}l Ouaknine and James Worrell}, editor = {Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem}, title = {Model Checking Real-Time Systems}, booktitle = {Handbook of Model Checking}, pages = {1001--1046}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-10575-8\_29}, doi = {10.1007/978-3-319-10575-8\_29}, timestamp = {Mon, 03 Jan 2022 22:13:30 +0100}, biburl = {https://dblp.org/rec/reference/mc/BouyerFLMO018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-07038, author = {Uli Fahrenberg}, title = {Higher-Dimensional Timed Automata}, journal = {CoRR}, volume = {abs/1802.07038}, year = {2018}, url = {http://arxiv.org/abs/1802.07038}, eprinttype = {arXiv}, eprint = {1802.07038}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-07038.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-00847, author = {Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey and Pierre{-}Alain Reynier}, title = {Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty}, journal = {CoRR}, volume = {abs/1805.00847}, year = {2018}, url = {http://arxiv.org/abs/1805.00847}, eprinttype = {arXiv}, eprint = {1805.00847}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-00847.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-02008, author = {Uli Fahrenberg and Christian Johansen and Christopher Trotter and Krzysztof Ziemianski}, title = {Sculptures in Concurrency}, journal = {CoRR}, volume = {abs/1812.02008}, year = {2018}, url = {http://arxiv.org/abs/1812.02008}, eprinttype = {arXiv}, eprint = {1812.02008}, timestamp = {Tue, 01 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-02008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/actaC/EsikFLQ17, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay and Karin Quaas}, title = {An Algebraic Approach to Energy Problems {I} - \({}^{\mbox{*}}\)-Continuous Kleene {\(\omega\)}-Algebras}, journal = {Acta Cybern.}, volume = {23}, number = {1}, pages = {203--228}, year = {2017}, url = {https://doi.org/10.14232/actacyb.23.1.2017.13}, doi = {10.14232/ACTACYB.23.1.2017.13}, timestamp = {Mon, 15 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/actaC/EsikFLQ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/actaC/EsikFLQ17a, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay and Karin Quaas}, title = {An Algebraic Approach to Energy Problems {II} - The Algebra of Energy Functions}, journal = {Acta Cybern.}, volume = {23}, number = {1}, pages = {229--268}, year = {2017}, url = {https://doi.org/10.14232/actacyb.23.1.2017.14}, doi = {10.14232/ACTACYB.23.1.2017.14}, timestamp = {Mon, 15 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/actaC/EsikFLQ17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/FahrenbergL17, author = {Uli Fahrenberg and Axel Legay}, title = {Featured Weighted Automata}, booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017}, pages = {51--57}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/FormaliSE.2017.2}, doi = {10.1109/FORMALISE.2017.2}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/FahrenbergL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OuederniFLS17, author = {Meriem Ouederni and Uli Fahrenberg and Axel Legay and Gwen Sala{\"{u}}n}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, title = {Compatibility flooding: measuring interaction of services interfaces}, booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017}, pages = {1334--1340}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3019612.3019807}, doi = {10.1145/3019612.3019807}, timestamp = {Wed, 01 Feb 2023 17:58:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/OuederniFLS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FahrenbergL17, author = {Uli Fahrenberg and Axel Legay}, editor = {Bernhard Steffen and Christel Baier and Mark van den Brand and Johann Eder and Mike Hinchey and Tiziana Margaria}, title = {A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories}, booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10139}, pages = {49--61}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-51963-0\_5}, doi = {10.1007/978-3-319-51963-0\_5}, timestamp = {Sun, 02 Oct 2022 16:15:51 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/FahrenbergL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/LarsenFL17, author = {Kim G. Larsen and Uli Fahrenberg and Axel Legay}, editor = {Alexander Pretschner and Doron Peled and Thomas Hutzelmann}, title = {From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {50}, pages = {60--103}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-810-5-60}, doi = {10.3233/978-1-61499-810-5-60}, timestamp = {Tue, 06 Aug 2019 09:52:02 +0200}, biburl = {https://dblp.org/rec/series/natosec/LarsenFL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CacheraFL17, author = {David Cachera and Uli Fahrenberg and Axel Legay}, title = {An {\(\omega\)}-Algebra for Real-Time Energy Problems}, journal = {CoRR}, volume = {abs/1701.08524}, year = {2017}, url = {http://arxiv.org/abs/1701.08524}, eprinttype = {arXiv}, eprint = {1701.08524}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CacheraFL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergL17, author = {Uli Fahrenberg and Axel Legay}, title = {Featured Weighted Automata}, journal = {CoRR}, volume = {abs/1702.07484}, year = {2017}, url = {http://arxiv.org/abs/1702.07484}, eprinttype = {arXiv}, eprint = {1702.07484}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LePFL16, author = {Thi Thieu Hoa Le and Roberto Passerone and Ulrich Fahrenberg and Axel Legay}, title = {A tag contract framework for modeling heterogeneous systems}, journal = {Sci. Comput. Program.}, volume = {115-116}, pages = {225--246}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2015.06.004}, doi = {10.1016/J.SCICO.2015.06.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LePFL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/LePFL16, author = {Thi Thieu Hoa Le and Roberto Passerone and Uli Fahrenberg and Axel Legay}, title = {Contract-Based Requirement Modularization via Synthesis of Correct Decompositions}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {15}, number = {2}, pages = {33:1--33:26}, year = {2016}, url = {https://doi.org/10.1145/2885752}, doi = {10.1145/2885752}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/LePFL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/OlaecheaFAL16, author = {Rafael Olaechea and Uli Fahrenberg and Joanne M. Atlee and Axel Legay}, editor = {Hong Mei}, title = {Long-term average cost in featured transition systems}, booktitle = {Proceedings of the 20th International Systems and Software Product Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016}, pages = {109--118}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2934466.2934473}, doi = {10.1145/2934466.2934473}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/splc/OlaecheaFAL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergL16, author = {Uli Fahrenberg and Axel Legay}, title = {A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories}, journal = {CoRR}, volume = {abs/1604.06503}, year = {2016}, url = {http://arxiv.org/abs/1604.06503}, eprinttype = {arXiv}, eprint = {1604.06503}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/OlaecheaFAL16, author = {Rafael Olaechea and Uli Fahrenberg and Joanne M. Atlee and Axel Legay}, title = {Long-Term Average Cost in Featured Transition Systems}, journal = {CoRR}, volume = {abs/1604.06781}, year = {2016}, url = {http://arxiv.org/abs/1604.06781}, eprinttype = {arXiv}, eprint = {1604.06781}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/OlaecheaFAL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/FahrenbergL15, author = {Ulrich Fahrenberg and Axel Legay}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Partial Higher-dimensional Automata}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {101--115}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.101}, doi = {10.4230/LIPICS.CALCO.2015.101}, timestamp = {Tue, 21 Apr 2020 10:56:16 +0200}, biburl = {https://dblp.org/rec/conf/calco/FahrenbergL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/EsikFL15, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay}, editor = {Igor Potapov}, title = {*-Continuous Kleene {\(\omega\)}-Algebras}, booktitle = {Developments in Language Theory - 19th International Conference, {DLT} 2015, Liverpool, UK, July 27-30, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9168}, pages = {240--251}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21500-6\_19}, doi = {10.1007/978-3-319-21500-6\_19}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/EsikFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CacheraFL15, author = {David Cachera and Uli Fahrenberg and Axel Legay}, editor = {Prahladh Harsha and G. Ramalingam}, title = {An omega-Algebra for Real-Time Energy Problems}, booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015, Bangalore, India}, series = {LIPIcs}, volume = {45}, pages = {394--407}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.394}, doi = {10.4230/LIPICS.FSTTCS.2015.394}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/CacheraFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/AtleeFL15, author = {Joanne M. Atlee and Uli Fahrenberg and Axel Legay}, editor = {Stefania Gnesi and Nico Plat}, title = {Measuring Behaviour Interactions between Product-Line Features}, booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015}, pages = {20--25}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/FormaliSE.2015.11}, doi = {10.1109/FORMALISE.2015.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/AtleeFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/AtleeBFL15, author = {Joanne M. Atlee and Sandy Beidu and Uli Fahrenberg and Axel Legay}, editor = {Michalis Famelis and Daniel Ratiu and Martina Seidl and Gehan M. K. Selim}, title = {Merging Features in Featured Transition Systems}, booktitle = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with {ACM/IEEE} 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1514}, pages = {38--43}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1514/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/AtleeBFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/EsikFL15a, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay}, editor = {Ralph Matthes and Matteo Mio}, title = {*-Continuous Kleene {\(\omega\)}-Algebras for Energy Problems}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {48--59}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.6}, doi = {10.4204/EPTCS.191.6}, timestamp = {Sun, 02 Oct 2022 15:31:45 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsikFL15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EsikFL15, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay}, title = {*-Continuous Kleene {\(\omega\)}-Algebras}, journal = {CoRR}, volume = {abs/1501.01118}, year = {2015}, url = {http://arxiv.org/abs/1501.01118}, eprinttype = {arXiv}, eprint = {1501.01118}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsikFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FahrenbergL14, author = {Uli Fahrenberg and Axel Legay}, title = {General quantitative specification theories with modal transition systems}, journal = {Acta Informatica}, volume = {51}, number = {5}, pages = {261--295}, year = {2014}, url = {https://doi.org/10.1007/s00236-014-0196-8}, doi = {10.1007/S00236-014-0196-8}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FahrenbergL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1212-4288, author = {Beno{\^{\i}}t Delahaye and Uli Fahrenberg and Kim G. Larsen and Axel Legay}, title = {Refinement and Difference for Probabilistic Automata}, journal = {Log. Methods Comput. Sci.}, volume = {10}, number = {3}, year = {2014}, url = {https://doi.org/10.2168/LMCS-10(3:11)2014}, doi = {10.2168/LMCS-10(3:11)2014}, timestamp = {Sun, 16 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-4288.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijac/AllamigeonFGKL14, author = {Xavier Allamigeon and Uli Fahrenberg and St{\'{e}}phane Gaubert and Ricardo David Katz and Axel Legay}, title = {Tropical Fourier-Motzkin elimination, with an application to real-time verification}, journal = {Int. J. Algebra Comput.}, volume = {24}, number = {5}, pages = {569--608}, year = {2014}, url = {https://doi.org/10.1142/S0218196714500258}, doi = {10.1142/S0218196714500258}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijac/AllamigeonFGKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FahrenbergL14, author = {Uli Fahrenberg and Axel Legay}, title = {The quantitative linear-time-branching-time spectrum}, journal = {Theor. Comput. Sci.}, volume = {538}, pages = {54--69}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2013.07.030}, doi = {10.1016/J.TCS.2013.07.030}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FahrenbergL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/FahrenbergLLT14, author = {Uli Fahrenberg and Kim Guldstrand Larsen and Axel Legay and Louis{-}Marie Traonouez}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Parametric and Quantitative Extensions of Modal Transition Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {84--97}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_6}, doi = {10.1007/978-3-642-54848-2\_6}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/etaps/FahrenbergLLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/FahrenbergLT14, author = {Uli Fahrenberg and Axel Legay and Louis{-}Marie Traonouez}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Specification Theories for Probabilistic and Real-Time Systems}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {98--117}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_7}, doi = {10.1007/978-3-642-54848-2\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/FahrenbergLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/FahrenbergKLT14, author = {Ulrich Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay and Louis{-}Marie Traonouez}, editor = {Ivan Lanese and Eric Madelaine}, title = {Compositionality for Quantitative Specifications}, booktitle = {Formal Aspects of Component Software - 11th International Symposium, {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8997}, pages = {306--324}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15317-9\_19}, doi = {10.1007/978-3-319-15317-9\_19}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/facs2/FahrenbergKLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/FahrenbergALW14, author = {Uli Fahrenberg and Mathieu Acher and Axel Legay and Andrzej Wasowski}, editor = {Stefania Gnesi and Arend Rensink}, title = {Sound Merging and Differencing for Class Diagrams}, booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, {FASE} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8411}, pages = {63--78}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54804-8\_5}, doi = {10.1007/978-3-642-54804-8\_5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/FahrenbergALW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FahrenbergLT14, author = {Uli Fahrenberg and Axel Legay and Louis{-}Marie Traonouez}, editor = {Gabriel Ciobanu and Dominique M{\'{e}}ry}, title = {Structural Refinement for the Modal nu-Calculus}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8687}, pages = {169--187}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10882-7\_11}, doi = {10.1007/978-3-319-10882-7\_11}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/FahrenbergLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/FahrenbergL14, author = {Uli Fahrenberg and Axel Legay}, editor = {Davide Di Ruscio and Juan de Lara and Alfonso Pierantonio}, title = {Configurable Formal Methods for Extreme Modeling}, booktitle = {Proceedings of the 3rd Workshop on Extreme Modeling co-located with {ACM/IEEE} 17th International Conference on Model Driven Engineering Languages {\&} Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1239}, pages = {52--57}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1239/xm14\_submission\_6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/FahrenbergL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slsp/FahrenbergBCJKL14, author = {Uli Fahrenberg and Fabrizio Biondi and Kevin Corre and Cyrille J{\'{e}}gourel and Simon Kongsh{\o}j and Axel Legay}, editor = {Laurent Besacier and Adrian{-}Horia Dediu and Carlos Mart{\'{\i}}n{-}Vide}, title = {Measuring Global Similarity Between Texts}, booktitle = {Statistical Language and Speech Processing - Second International Conference, {SLSP} 2014, Grenoble, France, October 14-16, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8791}, pages = {220--232}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11397-5\_17}, doi = {10.1007/978-3-319-11397-5\_17}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/slsp/FahrenbergBCJKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergLT14, author = {Uli Fahrenberg and Axel Legay and Louis{-}Marie Traonouez}, title = {Structural Refinement for the Modal nu-Calculus}, journal = {CoRR}, volume = {abs/1402.2143}, year = {2014}, url = {http://arxiv.org/abs/1402.2143}, eprinttype = {arXiv}, eprint = {1402.2143}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergBCJKL14, author = {Uli Fahrenberg and Fabrizio Biondi and Kevin Corre and Cyrille J{\'{e}}gourel and Simon Kongsh{\o}j and Axel Legay}, title = {Measuring Structural Distances between Texts}, journal = {CoRR}, volume = {abs/1403.4024}, year = {2014}, url = {http://arxiv.org/abs/1403.4024}, eprinttype = {arXiv}, eprint = {1403.4024}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergBCJKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergKLT14, author = {Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay and Louis{-}Marie Traonouez}, title = {Compositionality for Quantitative Specifications}, journal = {CoRR}, volume = {abs/1408.1256}, year = {2014}, url = {http://arxiv.org/abs/1408.1256}, eprinttype = {arXiv}, eprint = {1408.1256}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergKLT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FahrenbergL14, author = {Uli Fahrenberg and Axel Legay}, title = {Homotopy Bisimilarity for Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/1409.5865}, year = {2014}, url = {http://arxiv.org/abs/1409.5865}, eprinttype = {arXiv}, eprint = {1409.5865}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FahrenbergL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BauerFJLLT13, author = {Sebastian S. Bauer and Uli Fahrenberg and Line Juhl and Kim G. Larsen and Axel Legay and Claus R. Thrane}, title = {Weighted modal transition systems}, journal = {Formal Methods Syst. Des.}, volume = {42}, number = {2}, pages = {193--220}, year = {2013}, url = {https://doi.org/10.1007/s10703-012-0178-9}, doi = {10.1007/S10703-012-0178-9}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BauerFJLLT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/LePFL13, author = {Thi Thieu Hoa Le and Roberto Passerone and Ulrich Fahrenberg and Axel Legay}, editor = {Josep Carmona and Mihai T. Lazarescu and Marta Pietkiewicz{-}Koutny}, title = {Tag Machines for Modeling Heterogeneous Systems}, booktitle = {13th International Conference on Application of Concurrency to System Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013}, pages = {186--195}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ACSD.2013.23}, doi = {10.1109/ACSD.2013.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/LePFL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/FahrenbergL13, author = {Uli Fahrenberg and Axel Legay}, editor = {Chung{-}chieh Shan}, title = {Generalized Quantitative Analysis of Metric Transition Systems}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {192--208}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_14}, doi = {10.1007/978-3-319-03542-0\_14}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/FahrenbergL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/EsikFLQ13, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay and Karin Quaas}, editor = {Dang Van Hung and Mizuhito Ogawa}, title = {Kleene Algebras and Semimodules for Energy Problems}, booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8172}, pages = {102--117}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02444-8\_9}, doi = {10.1007/978-3-319-02444-8\_9}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/EsikFLQ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BenesDFKL13, author = {Nikola Benes and Beno{\^{\i}}t Delahaye and Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay}, editor = {Pedro R. D'Argenio and Hern{\'{a}}n C. Melgratti}, title = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory}, booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference, {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8052}, pages = {76--90}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40184-8\_7}, doi = {10.1007/978-3-642-40184-8\_7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BenesDFKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esocc/LePFL13, author = {Thi Thieu Hoa Le and Roberto Passerone and Uli Fahrenberg and Axel Legay}, editor = {Carlos Canal and Massimo Villari}, title = {A Tag Contract Framework for Heterogeneous Systems}, booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {393}, pages = {204--217}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45364-9\_17}, doi = {10.1007/978-3-642-45364-9\_17}, timestamp = {Sat, 16 Sep 2017 12:08:59 +0200}, biburl = {https://dblp.org/rec/conf/esocc/LePFL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FahrenbergLL13, author = {Uli Fahrenberg and Kim G. Larsen and Axel Legay}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems}, booktitle = {Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at {ICTAC} 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {8050}, pages = {67--108}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39721-9\_2}, doi = {10.1007/978-3-642-39721-9\_2}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/FahrenbergLL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/DelahayeFLL13, author = {Beno{\^{\i}}t Delahaye and Uli Fahrenberg and Kim Guldstrand Larsen and Axel Legay}, editor = {Kaustubh R. Joshi and Markus Siegle and Mari{\"{e}}lle Stoelinga and Pedro R. D'Argenio}, title = {Refinement and Difference for Probabilistic Automata}, booktitle = {Quantitative Evaluation of Systems - 10th International Conference, {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8054}, pages = {22--38}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40196-1\_3}, doi = {10.1007/978-3-642-40196-1\_3}, timestamp = {Sat, 30 Sep 2023 09:55:03 +0200}, biburl = {https://dblp.org/rec/conf/qest/DelahayeFLL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FahrenbergL13, author = {Uli Fahrenberg and Axel Legay}, editor = {Dexter Kozen and Michael W. Mislove}, title = {History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps}, booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June 23-25, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {298}, pages = {165--178}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2013.09.012}, doi = {10.1016/J.ENTCS.2013.09.012}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/FahrenbergL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/FahrenbergLLT13, author = {Uli Fahrenberg and Kim G. Larsen and Axel Legay and Claus R. Thrane}, editor = {Manfred Broy and Doron A. Peled and Georg Kalus}, title = {Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems}, booktitle = {Engineering Dependable Software Systems}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {34}, pages = {235--273}, publisher = {{IOS} Press}, year = {2013}, url = {https://doi.org/10.3233/978-1-61499-207-3-235}, doi = {10.3233/978-1-61499-207-3-235}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/natosec/FahrenbergLLT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BenesDFKL13, author = {Nikola Benes and Beno{\^{\i}}t Delahaye and Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay}, title = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory}, journal = {CoRR}, volume = {abs/1306.0741}, year = {2013}, url = {http://arxiv.org/abs/1306.0741}, eprinttype = {arXiv}, eprint = {1306.0741}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenesDFKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EsikFLQ13, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay and Karin Quaas}, title = {Kleene Algebras and Semimodules for Energy Problems}, journal = {CoRR}, volume = {abs/1307.0635}, year = {2013}, url = {http://arxiv.org/abs/1307.0635}, eprinttype = {arXiv}, eprint = {1307.0635}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsikFLQ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AllamigeonFGKL13, author = {Xavier Allamigeon and Uli Fahrenberg and St{\'{e}}phane Gaubert and Ricardo David Katz and Axel Legay}, title = {Tropical Fourier-Motzkin elimination, with an application to real-time verification}, journal = {CoRR}, volume = {abs/1308.2122}, year = {2013}, url = {http://arxiv.org/abs/1308.2122}, eprinttype = {arXiv}, eprint = {1308.2122}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AllamigeonFGKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/LuMMRFL12, author = {Qi Lu and Michael Madsen and Martin Milata and S{\o}ren Ravn and Uli Fahrenberg and Kim G. Larsen}, title = {Reachability analysis for timed automata using max-plus algebra}, journal = {J. Log. Algebraic Methods Program.}, volume = {81}, number = {3}, pages = {298--313}, year = {2012}, url = {https://doi.org/10.1016/j.jlap.2011.10.004}, doi = {10.1016/J.JLAP.2011.10.004}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/LuMMRFL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csr/BauerFLT12, author = {Sebastian S. Bauer and Uli Fahrenberg and Axel Legay and Claus R. Thrane}, editor = {Edward A. Hirsch and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Michail Kh. Prilutskii}, title = {General Quantitative Specification Theories with Modalities}, booktitle = {Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, {CSR} 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7353}, pages = {18--30}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30642-6\_3}, doi = {10.1007/978-3-642-30642-6\_3}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/csr/BauerFLT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DelahayeFHLN12, author = {Beno{\^{\i}}t Delahaye and Uli Fahrenberg and Thomas A. Henzinger and Axel Legay and Dejan Nickovic}, editor = {Holger Giese and Grigore Rosu}, title = {Synchronous Interface Theories and Time Triggered Scheduling}, booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7273}, pages = {203--218}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30793-5\_13}, doi = {10.1007/978-3-642-30793-5\_13}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/DelahayeFHLN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1207-4268, author = {Uli Fahrenberg and Axel Legay}, editor = {Sebastian S. Bauer and Jean{-}Baptiste Raclet}, title = {A Robust Specification Theory for Modal Event-Clock Automata}, booktitle = {Proceedings Fourth Workshop on Foundations of Interface Technologies, {FIT} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {87}, pages = {5--16}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.87.2}, doi = {10.4204/EPTCS.87.2}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-4268.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1212-3454, editor = {Uli Fahrenberg and Axel Legay and Claus R. Thrane}, title = {Proceedings Quantities in Formal Methods, {QFM} 2012, Paris, France, 28 August 2012}, series = {{EPTCS}}, volume = {103}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.103}, doi = {10.4204/EPTCS.103}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-3454.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1209-4927, author = {Uli Fahrenberg and Axel Legay}, title = {History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps}, journal = {CoRR}, volume = {abs/1209.4927}, year = {2012}, url = {http://arxiv.org/abs/1209.4927}, eprinttype = {arXiv}, eprint = {1209.4927}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1209-4927.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1210-5659, author = {Sebastian S. Bauer and Uli Fahrenberg and Line Juhl and Kim G. Larsen and Axel Legay and Claus R. Thrane}, title = {Weighted Modal Transition Systems}, journal = {CoRR}, volume = {abs/1210.5659}, year = {2012}, url = {http://arxiv.org/abs/1210.5659}, eprinttype = {arXiv}, eprint = {1210.5659}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-5659.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/BouyerFLM11, author = {Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey}, title = {Quantitative analysis of real-time systems using priced timed automata}, journal = {Commun. {ACM}}, volume = {54}, number = {9}, pages = {78--87}, year = {2011}, url = {https://doi.org/10.1145/1995376.1995396}, doi = {10.1145/1995376.1995396}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/BouyerFLM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/LarsenFT11, author = {Kim G. Larsen and Uli Fahrenberg and Claus R. Thrane}, title = {Metrics for weighted transition systems: Axiomatization and complexity}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {28}, pages = {3358--3369}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.04.003}, doi = {10.1016/J.TCS.2011.04.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LarsenFT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FahrenbergLT11, author = {Uli Fahrenberg and Axel Legay and Claus R. Thrane}, editor = {Supratik Chakraborty and Amit Kumar}, title = {The Quantitative Linear-Time--Branching-Time Spectrum}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011, Mumbai, India}, series = {LIPIcs}, volume = {13}, pages = {103--114}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.103}, doi = {10.4230/LIPICS.FSTTCS.2011.103}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FahrenbergLT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FahrenbergJLS11, author = {Uli Fahrenberg and Line Juhl and Kim G. Larsen and Jir{\'{\i}} Srba}, editor = {Antonio Cerone and Pekka Pihlajasaari}, title = {Energy Games in Multiweighted Automata}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6916}, pages = {95--115}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23283-1\_9}, doi = {10.1007/978-3-642-23283-1\_9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/FahrenbergJLS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BauerFJLLT11, author = {Sebastian S. Bauer and Uli Fahrenberg and Line Juhl and Kim G. Larsen and Axel Legay and Claus R. Thrane}, editor = {Filip Murlak and Piotr Sankowski}, title = {Quantitative Refinement for Weighted Modal Transition Systems}, booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6907}, pages = {60--71}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22993-0\_9}, doi = {10.1007/978-3-642-22993-0\_9}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BauerFJLLT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/FahrenbergLW11, author = {Uli Fahrenberg and Axel Legay and Andrzej Wasowski}, editor = {Jon Whittle and Tony Clark and Thomas K{\"{u}}hne}, title = {Vision Paper: Make a Difference! (Semantically)}, booktitle = {Model Driven Engineering Languages and Systems, 14th International Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6981}, pages = {490--500}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24485-8\_36}, doi = {10.1007/978-3-642-24485-8\_36}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/FahrenbergLW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1107-1205, author = {Uli Fahrenberg and Claus R. Thrane and Kim G. Larsen}, editor = {Mieke Massink and Gethin Norman}, title = {Distances for Weighted Transition Systems: Games and Properties}, booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3, 2011}, series = {{EPTCS}}, volume = {57}, pages = {134--147}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.57.10}, doi = {10.4204/EPTCS.57.10}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1107-1205.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/FahrenbergLT11, author = {Uli Fahrenberg and Kim G. Larsen and Claus R. Thrane}, editor = {Manfred Broy and Christian Leuxner and Tony Hoare}, title = {Model-Based Verification and Analysis for Real-Time Systems}, booktitle = {Software and Systems Safety - Specification and Verification}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {30}, pages = {231--259}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-711-6-231}, doi = {10.3233/978-1-60750-711-6-231}, timestamp = {Tue, 16 May 2017 14:24:21 +0200}, biburl = {https://dblp.org/rec/series/natosec/FahrenbergLT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/formats/2011, editor = {Uli Fahrenberg and Stavros Tripakis}, title = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6919}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24310-3}, doi = {10.1007/978-3-642-24310-3}, isbn = {978-3-642-24309-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ThraneFL10, author = {Claus R. Thrane and Uli Fahrenberg and Kim G. Larsen}, title = {Quantitative analysis of weighted transition systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {7}, pages = {689--703}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2010.07.010}, doi = {10.1016/J.JLAP.2010.07.010}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ThraneFL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BouyerFLM10, author = {Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey}, editor = {Karl Henrik Johansson and Wang Yi}, title = {Timed automata with observers under energy constraints}, booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15, 2010}, pages = {61--70}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1755952.1755963}, doi = {10.1145/1755952.1755963}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/BouyerFLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/FahrenbergLT09, author = {Uli Fahrenberg and Kim G. Larsen and Claus R. Thrane}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Verification, Performance Analysis and Controller Synthesis for Real-Time Systems}, booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference, {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5961}, pages = {34--61}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11623-0\_2}, doi = {10.1007/978-3-642-11623-0\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/fsen/FahrenbergLT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memics/LarsenFT09, author = {Kim G. Larsen and Uli Fahrenberg and Claus R. Thrane}, editor = {Petr Hlinen{\'{y}} and V{\'{a}}clav Maty{\'{a}}s and Tom{\'{a}}s Vojnar}, title = {A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic}, booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic}, series = {OASIcs}, volume = {13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/2345}, timestamp = {Tue, 15 Feb 2022 09:40:04 +0100}, biburl = {https://dblp.org/rec/conf/memics/LarsenFT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FahrenbergL09a, author = {Ulrich Fahrenberg and Kim Guldstrand Larsen}, editor = {Christel Baier and Alessandra Di Pierro}, title = {Discounting in Time}, booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2009, York, UK, March 28-29, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {3}, pages = {25--31}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.10.003}, doi = {10.1016/J.ENTCS.2009.10.003}, timestamp = {Fri, 20 Jan 2023 14:27:03 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FahrenbergL09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FahrenbergL09, author = {Ulrich Fahrenberg and Kim Guldstrand Larsen}, editor = {Peter Habermehl and Tom{\'{a}}s Vojnar}, title = {Discount-Optimal Infinite Runs in Priced Timed Automata}, booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {239}, pages = {179--191}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.05.039}, doi = {10.1016/J.ENTCS.2009.05.039}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FahrenbergL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/BouyerFLMS08, author = {Patricia Bouyer and Ulrich Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Jir{\'{\i}} Srba}, editor = {Franck Cassez and Claude Jard}, title = {Infinite Runs in Weighted Timed Automata with Energy Constraints}, booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5215}, pages = {33--47}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85778-5\_4}, doi = {10.1007/978-3-540-85778-5\_4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/formats/BouyerFLMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Fahrenberg05, author = {Ulrich Fahrenberg}, editor = {Vladimiro Sassone}, title = {A Category of Higher-Dimensional Automata}, booktitle = {Foundations of Software Science and Computational Structures, 8th International Conference, {FOSSACS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3441}, pages = {187--201}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31982-5\_12}, doi = {10.1007/978-3-540-31982-5\_12}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Fahrenberg05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/getco/2003, editor = {Thomas T. Hildebrandt and Alexander Kurz and Eric Goubault and Ulrich Fahrenberg}, title = {Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France, September 6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {100}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/100/suppl/C}, timestamp = {Thu, 08 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/getco/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GoubaultF04, author = {Eric Goubault and Ulrich Fahrenberg}, editor = {Thomas T. Hildebrandt and Alexander Kurz and Eric Goubault and Ulrich Fahrenberg}, title = {Preface}, booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France, September 6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {100}, pages = {47--48}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.08.014}, doi = {10.1016/J.ENTCS.2004.08.014}, timestamp = {Thu, 08 Dec 2022 22:54:04 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GoubaultF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Fahrenberg04, author = {Ulrich Fahrenberg}, editor = {Thomas T. Hildebrandt and Alexander Kurz and Eric Goubault and Ulrich Fahrenberg}, title = {Directed Homology}, booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France, September 6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {100}, pages = {111--125}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.09.005}, doi = {10.1016/J.ENTCS.2004.09.005}, timestamp = {Thu, 08 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Fahrenberg04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Fahrenberg03, author = {Ulrich Fahrenberg}, editor = {Patrick Cousot and Lisbeth Fajstrup and Eric Goubault and Maurice Herlihy and Martin Raussen and Vladimiro Sassone}, title = {The Geometry of Timed {PV} Programs}, booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse, France, October 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {81}, pages = {1--14}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80832-6}, doi = {10.1016/S1571-0661(04)80832-6}, timestamp = {Wed, 07 Dec 2022 09:37:04 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Fahrenberg03.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.