Search dblp for Publications

export results for "Tom Thaler"

 download as .bib file

@article{DBLP:journals/quantum/DallAgnolGMT22,
  author       = {Marcel Dall'Agnol and
                  Tom Gur and
                  Subhayan Roy Moulik and
                  Justin Thaler},
  title        = {Quantum Proofs of Proximity},
  journal      = {Quantum},
  volume       = {6},
  pages        = {834},
  year         = {2022},
  url          = {https://doi.org/10.22331/q-2022-10-13-834},
  doi          = {10.22331/Q-2022-10-13-834},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/quantum/DallAgnolGMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/SchoknechtT0FO22,
  author       = {Andreas Schoknecht and
                  Tom Thaler and
                  Ralf Laue and
                  Peter Fettke and
                  Andreas Oberweis},
  editor       = {Artem Polyvyanyy},
  title        = {Process Model Similarity Techniques for Process Querying},
  booktitle    = {Process Querying Methods},
  pages        = {459--478},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-92875-9\_16},
  doi          = {10.1007/978-3-030-92875-9\_16},
  timestamp    = {Fri, 20 May 2022 20:00:29 +0200},
  biburl       = {https://dblp.org/rec/books/sp/22/SchoknechtT0FO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03697,
  author       = {Marcel de Sena Dall'Agnol and
                  Tom Gur and
                  Subhayan Roy Moulik and
                  Justin Thaler},
  title        = {Quantum Proofs of Proximity},
  journal      = {CoRR},
  volume       = {abs/2105.03697},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.03697},
  eprinttype    = {arXiv},
  eprint       = {2105.03697},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-03697.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/DallAgnolGMT21,
  author       = {Marcel de Sena Dall'Agnol and
                  Tom Gur and
                  Subhayan Roy Moulik and
                  Justin Thaler},
  title        = {Quantum Proofs of Proximity},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR21-068}},
  year         = {2021},
  url          = {https://eccc.weizmann.ac.il/report/2021/068},
  eprinttype    = {ECCC},
  eprint       = {TR21-068},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/DallAgnolGMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/ThalerNAMFL18,
  author       = {Tom Thaler and
                  Sabine Norek and
                  Vittorio De Angelis and
                  Dirk Maurer and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Jan vom Brocke and
                  Jan Mendling},
  title        = {Mining the Usability of Process-Oriented Business Software: The Case
                  of the {ARIS} Designer of Software {AG}},
  booktitle    = {Business Process Management Cases, Digital Innovation and Business
                  Transformation in Practice},
  series       = {Management for Professionals},
  pages        = {291--310},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-58307-5\_16},
  doi          = {10.1007/978-3-319-58307-5\_16},
  timestamp    = {Wed, 12 Sep 2018 16:46:17 +0200},
  biburl       = {https://dblp.org/rec/books/sp/18/ThalerNAMFL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SchoknechtTFOL17,
  author       = {Andreas Schoknecht and
                  Tom Thaler and
                  Peter Fettke and
                  Andreas Oberweis and
                  Ralf Laue},
  title        = {Similarity of Business Process Models - {A} State-of-the-Art Analysis},
  journal      = {{ACM} Comput. Surv.},
  volume       = {50},
  number       = {4},
  pages        = {52:1--52:33},
  year         = {2017},
  url          = {https://doi.org/10.1145/3092694},
  doi          = {10.1145/3092694},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/SchoknechtTFOL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ThalerSFO016,
  author       = {Tom Thaler and
                  Andreas Schoknecht and
                  Peter Fettke and
                  Andreas Oberweis and
                  Ralf Laue},
  editor       = {Marlon Dumas and
                  Marcelo Fantinato},
  title        = {A Comparative Analysis of Business Process Model Similarity Measures},
  booktitle    = {Business Process Management Workshops - {BPM} 2016 International Workshops,
                  Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {281},
  pages        = {310--322},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-58457-7\_23},
  doi          = {10.1007/978-3-319-58457-7\_23},
  timestamp    = {Fri, 02 Nov 2018 09:44:24 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/ThalerSFO016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/FellmannFHLOSST16,
  author       = {Michael Fellmann and
                  Peter Fettke and
                  Constantin Houy and
                  Peter Loos and
                  Andreas Oberweis and
                  Andreas Schoknecht and
                  Michael Striewe and
                  Tom Thaler and
                  Meike Ullrich},
  editor       = {Ulrike Lucke and
                  Andreas Schwill and
                  Raphael Zender},
  title        = {Evaluation automatisierter Ans{\"{a}}tze f{\"{u}}r die Bewertung
                  von Modellierungsaufgaben},
  booktitle    = {DeLFI 2016 - Die 14. E-Learning Fachtagung Informatik, 11.-14. September
                  2016, Potsdam},
  series       = {{LNI}},
  volume       = {{P-262}},
  pages        = {203--214},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/542},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/delfi/FellmannFHLOSST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/ThalerHFL16,
  author       = {Tom Thaler and
                  Constantin Houy and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Stefanie Betz and
                  Ulrich Reimer},
  title        = {Automated Assessment of Process Modeling Exams: Basic Ideas and Prototypical
                  Implementation},
  booktitle    = {Modellierung 2016, 2.-4. M{\"{a}}rz 2016, Karlsruhe - Workshopband},
  series       = {{LNI}},
  volume       = {{P-255}},
  pages        = {63--70},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/856},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modellierung/ThalerHFL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vorgehensmodelle/LorenzFT16,
  author       = {Katja Lorenz and
                  Armin Fiedler and
                  Tom Thaler},
  editor       = {Martin Engstler and
                  Masud Fazal{-}Baqaie and
                  Eckhart Hanser and
                  Oliver Linssen and
                  Martin Mikusz and
                  Alexander Volland},
  title        = {Ein hybrider Projektmanagementansatz f{\"{u}}r das regulierte
                  Umfeld},
  booktitle    = {Projektmanagement und Vorgehensmodelle 2016: Arbeiten in hybriden
                  Projekten: Das Sowohl-als-auch von Stabilit{\"{a}}t und Dynamik,
                  Gemeinsame Tagung der Fachgruppen Projektmanagement {(WI-PM)} und
                  Vorgehensmodelle {(WI-VM)} im Fachgebiet Wirtschaftsinformatik der
                  Gesellschaft f{\"{u}}r Informatik e.V., Paderborn, 6.-7. Oktober
                  2016},
  series       = {{LNI}},
  volume       = {{P-263}},
  pages        = {69--78},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/590},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vorgehensmodelle/LorenzFT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EvermannTF15,
  author       = {Joerg Evermann and
                  Tom Thaler and
                  Peter Fettke},
  editor       = {Manfred Reichert and
                  Hajo A. Reijers},
  title        = {Clustering Traces Using Sequence Alignment},
  booktitle    = {Business Process Management Workshops - {BPM} 2015, 13th International
                  Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {256},
  pages        = {179--190},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-42887-1\_15},
  doi          = {10.1007/978-3-319-42887-1\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/EvermannTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ThalerMAFL15,
  author       = {Tom Thaler and
                  Dirk Maurer and
                  Vittorio De Angelis and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Jan Mendling and
                  Jan vom Brocke},
  title        = {Mining the usability of business process modeling tools: concept and
                  case study},
  booktitle    = {Proceedings of the Industry Track at the 13th International Conference
                  on Business Process Management 2015 co-located with 13th International
                  Conference on Business Process Management {(BPM} 2015), Innsbruck,
                  Austria, September 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1439},
  pages        = {152--166},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1439/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/ThalerMAFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/AntunesBBCDFDFG15,
  author       = {Gon{\c{c}}alo Antunes and
                  Marzieh Bakhshandeh and
                  Jos{\'{e}} Borbinha and
                  Jo{\~{a}}o Cardoso and
                  Sharam Dadashnia and
                  Chiara Di Francescomarino and
                  Mauro Dragoni and
                  Peter Fettke and
                  Avigdor Gal and
                  Chiara Ghidini and
                  Philip Hake and
                  Abderrahmane Khiat and
                  Christopher Klinkm{\"{u}}ller and
                  Elena Kuss and
                  Henrik Leopold and
                  Peter Loos and
                  Christian Meilicke and
                  Tim Niesen and
                  Catia Pesquita and
                  Timo P{\'{e}}us and
                  Andreas Schoknecht and
                  Eitam Sheetrit and
                  Andreas Sonntag and
                  Heiner Stuckenschmidt and
                  Tom Thaler and
                  Ingo Weber and
                  Matthias Weidlich},
  editor       = {Jens Kolb and
                  Henrik Leopold and
                  Jan Mendling},
  title        = {The Process Model Matching Contest 2015},
  booktitle    = {Enterprise Modelling and Information Systems Architectures, Proceedings
                  of the 6th Int. Workshop on Enterprise Modelling and Information Systems
                  Architectures, {EMISA} 2015, Innsbruck, Austria, September 3-4, 2015},
  series       = {{LNI}},
  volume       = {{P-248}},
  pages        = {127--155},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2041},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emisa/AntunesBBCDFDFG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirtschaftsinformatik/ThalerTFL15,
  author       = {Tom Thaler and
                  Simon Felix Ternis and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Oliver Thomas and
                  Frank Teuteberg},
  title        = {A Comparative Analysis of Process Instance Cluster Techniques},
  booktitle    = {Smart Enterprise Engineering: 12. Internationale Tagung Wirtschaftsinformatik,
                  {WI} 2015, Osnabr{\"{u}}ck, Germany, March 4-6, 2015},
  pages        = {423--437},
  year         = {2015},
  url          = {http://www.wi2015.uni-osnabrueck.de/Files/WI2015-D-14-00285.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wirtschaftsinformatik/ThalerTFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/LoosFWTA15,
  author       = {Peter Loos and
                  Peter Fettke and
                  J{\"{u}}rgen Walter and
                  Tom Thaler and
                  Peyman Ardalani},
  editor       = {Jan vom Brocke and
                  Theresa Schmiedel},
  title        = {Identification of Business Process Models in a Digital World},
  booktitle    = {{BPM} - Driving Innovation in a Digital World},
  pages        = {155--174},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-14430-6\_11},
  doi          = {10.1007/978-3-319-14430-6\_11},
  timestamp    = {Tue, 07 May 2024 19:59:15 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/LoosFWTA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/WalterTAFL14,
  author       = {J{\"{u}}rgen Walter and
                  Tom Thaler and
                  Peyman Ardalani and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Bernhard Thalheim and
                  Hannu Jaakkola and
                  Yasushi Kiyoki and
                  Naofumi Yoshida},
  title        = {Development And Usage Of {A} Process Model Corpus},
  booktitle    = {Information Modelling and Knowledge Bases XXVI, 24th International
                  Conference on Information Modelling and Knowledge Bases {(EJC} 2014),
                  Kiel, Germany, June 3-6, 2014},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {272},
  pages        = {437--448},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-472-5-437},
  doi          = {10.3233/978-1-61499-472-5-437},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ejc/WalterTAFL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Thaler14,
  author       = {Tom Thaler},
  editor       = {Erhard Pl{\"{o}}dereder and
                  Lars Grunske and
                  Eric Schneider and
                  Dominik Ull},
  title        = {Towards Usability Mining},
  booktitle    = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
                  - Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
                  September 22-26, 2014},
  series       = {{LNI}},
  volume       = {{P-232}},
  pages        = {2269--2280},
  publisher    = {{GI}},
  year         = {2014},
  url          = {https://dl.gi.de/handle/20.500.12116/2861},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Thaler14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkwi/ArdalaniTFL14,
  author       = {Peyman Ardalani and
                  Tom Thaler and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Dennis Kundisch and
                  Leena Suhl and
                  Lars Beckmann},
  title        = {{EPC} Generator: {A} concept to generate Event-driven Process Chains
                  based on an originalprocess model},
  booktitle    = {Multikonferenz Wirtschaftsinformatik, {MKWI} 2014, Paderborn, Germany,
                  February 26-28, 2014},
  pages        = {1587--1599},
  publisher    = {University of Paderborn},
  year         = {2014},
  timestamp    = {Mon, 27 May 2024 13:23:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mkwi/ArdalaniTFL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkwi/ThalerHFL14,
  author       = {Tom Thaler and
                  Philip Hake and
                  Peter Fettke and
                  Peter Loos},
  editor       = {Dennis Kundisch and
                  Leena Suhl and
                  Lars Beckmann},
  title        = {Evaluating the Evaluation of Process Matching Techniques},
  booktitle    = {Multikonferenz Wirtschaftsinformatik, {MKWI} 2014, Paderborn, Germany,
                  February 26-28, 2014},
  pages        = {1600--1612},
  publisher    = {University of Paderborn},
  year         = {2014},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkwi/ThalerHFL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hmd/ThalerFL13,
  author       = {Tom Thaler and
                  Peter Fettke and
                  Peter Loos},
  title        = {Process Mining - Fallstudie leginda.de},
  journal      = {{HMD} Prax. Wirtsch.},
  volume       = {293},
  pages        = {56--65},
  year         = {2013},
  url          = {http://www.dpunkt.de/hmdissues/293/06.php},
  doi          = {10.1007/BF03340853},
  timestamp    = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/hmd/ThalerFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CayogluDDFGHKLLLMOSSTUWW13,
  author       = {Ugur {\c{C}}ayoglu and
                  Remco M. Dijkman and
                  Marlon Dumas and
                  Peter Fettke and
                  Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and
                  Philip Hake and
                  Christopher Klinkm{\"{u}}ller and
                  Henrik Leopold and
                  Andr{\'{e}} Ludwig and
                  Peter Loos and
                  Jan Mendling and
                  Andreas Oberweis and
                  Andreas Schoknecht and
                  Eitam Sheetrit and
                  Tom Thaler and
                  Meike Ullrich and
                  Ingo Weber and
                  Matthias Weidlich},
  editor       = {Niels Lohmann and
                  Minseok Song and
                  Petia Wohed},
  title        = {Report: The Process Model Matching Contest 2013},
  booktitle    = {Business Process Management Workshops - {BPM} 2013 International Workshops,
                  Beijing, China, August 26, 2013, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {171},
  pages        = {442--463},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-06257-0\_35},
  doi          = {10.1007/978-3-319-06257-0\_35},
  timestamp    = {Sat, 30 Sep 2023 09:35:40 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CayogluDDFGHKLLLMOSSTUWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirtschaftsinformatik/HouyVTFL13,
  author       = {Constantin Houy and
                  Armella{-}Lucia Vella and
                  Tom Thaler and
                  Peter Fettke and
                  Peter Loos},
  title        = {Analyse des Qualit{\"{a}}tsdiskurses zur Modellverst{\"{a}}ndlichkeit
                  in experimentellen Studien},
  booktitle    = {11. Internationale Tagung Wirtschaftsinformatik, Leipzig, Germany,
                  February 27 -- March 1, 2013},
  pages        = {76},
  year         = {2013},
  url          = {http://aisel.aisnet.org/wi2013/76},
  timestamp    = {Fri, 10 May 2013 20:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/wirtschaftsinformatik/HouyVTFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/FenselLTTT12,
  author       = {Dieter Fensel and
                  Birgit Leiter and
                  Stefan Thaler and
                  Andreas Thalhammer and
                  Ioan Toma},
  editor       = {Abdelkader Hameurlain and
                  A Min Tjoa and
                  Roland R. Wagner},
  title        = {Effective and Efficient On-Line Communication},
  booktitle    = {23rd International Workshop on Database and Expert Systems Applications,
                  {DEXA} 2012, Vienna, Austria, September 3-7, 2012},
  pages        = {294--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DEXA.2012.76},
  doi          = {10.1109/DEXA.2012.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexaw/FenselLTTT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/FenselLTTFT12,
  author       = {Dieter Fensel and
                  Birgit Leiter and
                  Stefan Thaler and
                  Andreas Thalhammer and
                  Anna Fensel and
                  Ioan Toma},
  editor       = {Elena Simperl and
                  Barry Norton and
                  Dunja Mladenic and
                  Emanuele Della Valle and
                  Irini Fundulaki and
                  Alexandre Passant and
                  Rapha{\"{e}}l Troncy},
  title        = {Knowledge Modeling of On-line Value Management},
  booktitle    = {The Semantic Web: {ESWC} 2012 Satellite Events - {ESWC} 2012 Satellite
                  Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7540},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-662-46641-4\_18},
  doi          = {10.1007/978-3-662-46641-4\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/FenselLTTFT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics