BibTeX records: Lawrence Cabac

download as .bib file

@article{DBLP:journals/scp/CabacHM18,
  author       = {Lawrence Cabac and
                  Michael Haustermann and
                  David Mosteller},
  title        = {Software development with Petri nets and agents: Approach, frameworks
                  and tool set},
  journal      = {Sci. Comput. Program.},
  volume       = {157},
  pages        = {56--70},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.12.003},
  doi          = {10.1016/J.SCICO.2017.12.003},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CabacHM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2017pnse,
  editor       = {Daniel Moldt and
                  Lawrence Cabac and
                  Heiko R{\"{o}}lke},
  title        = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'17), co-located with the38th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2017 and the 17th International Conference on Application of Concurrency
                  to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1846},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1846},
  urn          = {urn:nbn:de:0074-1846-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/2017pnse.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MostellerCH16,
  author       = {David Mosteller and
                  Lawrence Cabac and
                  Michael Haustermann},
  title        = {Integrating Petri Net Semantics in a Model-Driven Approach: The Renew
                  Meta-Modeling and Transformation Framework},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {11},
  pages        = {92--113},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53401-4\_5},
  doi          = {10.1007/978-3-662-53401-4\_5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/MostellerCH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchmitzMCMH16,
  author       = {Dennis Schmitz and
                  Daniel Moldt and
                  Lawrence Cabac and
                  David Mosteller and
                  Michael Haustermann},
  editor       = {J{\"{o}}rg Desel and
                  Alex Yakovlev},
  title        = {Utilizing Petri Nets for Teaching in Practical Courses on Collaborative
                  Software Engineering},
  booktitle    = {16th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACSD.2016.21},
  doi          = {10.1109/ACSD.2016.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/SchmitzMCMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacHM16,
  author       = {Lawrence Cabac and
                  Michael Haustermann and
                  David Mosteller},
  editor       = {Fabrice Kordon and
                  Daniel Moldt},
  title        = {Renew 2.5 - Towards a Comprehensive Integrated Development Environment
                  for Petri Net-Based Applications},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 37th International
                  Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
                  2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9698},
  pages        = {101--112},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39086-4\_7},
  doi          = {10.1007/978-3-319-39086-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CabacHM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2016pnse,
  editor       = {Lawrence Cabac and
                  Lars Michael Kristensen and
                  Heiko R{\"{o}}lke},
  title        = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering 2016, including the International Workshop on Biological
                  Processes {\&} Petri Nets 2016 co-located with the 37th International
                  Conference on Application and Theory of Petri Nets and Concurrency
                  Petri Nets 2016 and the 16th International Conference on Application
                  of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
                  June 20-21, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1591},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1591},
  urn          = {urn:nbn:de:0074-1591-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/2016pnse.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MostellerCH15,
  author       = {David Mosteller and
                  Lawrence Cabac and
                  Michael Haustermann},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Providing Petri Net-Based Semantics in Model Driven-Development for
                  the Renew Meta-Modeling Framework},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {99--114},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/MostellerCH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacHM15,
  author       = {Lawrence Cabac and
                  Michael Haustermann and
                  David Mosteller},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Renew - The Reference Net Workshop},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {313--314},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper18.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/CabacHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HickenCH15,
  author       = {Jan Hicken and
                  Lawrence Cabac and
                  Michael Haustermann},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Introducing the Quick Fix for the Petri Net Modeling Tool Renew},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {317--318},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/HickenCH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchmitzC15,
  author       = {Dennis Schmitz and
                  Lawrence Cabac},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Process-oriented Worksheets for the Support of Teaching Projects},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {319--320},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/SchmitzC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RoderC15,
  author       = {Christian R{\"{o}}der and
                  Lawrence Cabac},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Integrating Network Technique into Distributed Agent-Oriented Software
                  Development Projects},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {321--322},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper22.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/RoderC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BetzCDWW14,
  author       = {Tobias Betz and
                  Lawrence Cabac and
                  Michael Duvigneau and
                  Thomas Wagner and
                  Matthias Wester{-}Ebbinghaus},
  title        = {Software Engineering with Petri Nets: {A} Web Service and Agent Perspective},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {41--61},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_3},
  doi          = {10.1007/978-3-662-45730-6\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BetzCDWW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CabacMW14,
  author       = {Lawrence Cabac and
                  David Mosteller and
                  Matthias Wester{-}Ebbinghaus},
  title        = {Modeling Organizational Structures and Agent Knowledge for Mulan Applications},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {62--82},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_4},
  doi          = {10.1007/978-3-662-45730-6\_4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/CabacMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BetzCDWW13,
  author       = {Tobias Betz and
                  Lawrence Cabac and
                  Michael Duvigneau and
                  Thomas Wagner and
                  Matthias Wester{-}Ebbinghaus},
  editor       = {Daniel Moldt},
  title        = {Integrating Web Services in Petri Net-based Agent Applications},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {97--116},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BetzCDWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacS13,
  author       = {Lawrence Cabac and
                  Michael Simon},
  editor       = {Daniel Moldt},
  title        = {Introducing Catch Arcs to Java Reference Nets},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {155--168},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper23.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/CabacS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacMW13,
  author       = {Lawrence Cabac and
                  David Mosteller and
                  Matthias Wester{-}Ebbinghaus},
  editor       = {Daniel Moldt},
  title        = {A Proposal for the Modeling of Organizational Structures and Agent
                  Knowledge in {MAS}},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {295--312},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper05b.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/CabacMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WagnerC13,
  author       = {Thomas Wagner and
                  Lawrence Cabac},
  editor       = {Daniel Moldt},
  title        = {Advantages of a Full Integration between Agents and Workflows},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {353--354},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper06b.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/WagnerC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BendoukhaC13,
  author       = {Sofiane Bendoukha and
                  Lawrence Cabac},
  editor       = {Daniel Moldt},
  title        = {Cloud Transition for QoS Modeling of Inter-Organizational Workflows},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {355--356},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper07b.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BendoukhaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2012pnse,
  editor       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt},
  title        = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Hamburg, Germany, June 25-26, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {851},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-851},
  urn          = {urn:nbn:de:0074-851-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/2012pnse.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeweltWC11,
  author       = {Marcin Hewelt and
                  Thomas Wagner and
                  Lawrence Cabac},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Integrating Verification into the {PAOSE} Approach},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {124--135},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/HeweltWC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BetzCG11,
  author       = {Tobias Betz and
                  Lawrence Cabac and
                  Matthias G{\"{u}}ttler},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Improving the Development Tool Chain in the Context of Petri Net-Based
                  Software Development},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {167--178},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BetzCG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/BetzCW11,
  author       = {Tobias Betz and
                  Lawrence Cabac and
                  Matthias Wester{-}Ebbinghaus},
  editor       = {Franziska Kl{\"{u}}gl and
                  Sascha Ossowski},
  title        = {Gateway Architecture for Web-Based Agent Services},
  booktitle    = {Multiagent System Technologies - 9th German Conference, {MATES} 2011,
                  Berlin, Germany, October 6-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6973},
  pages        = {165--172},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24603-6\_17},
  doi          = {10.1007/978-3-642-24603-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/BetzCW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Cabac2010,
  author       = {Lawrence Cabac},
  title        = {Modeling Petri net-based multi-agent applications},
  school       = {University of Hamburg},
  year         = {2010},
  url          = {http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/index.html},
  urn          = {urn:nbn:de:gbv:18-46661},
  isbn         = {978-3-8325-2673-3},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Cabac2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/FlickCDM10,
  author       = {Nils Erik Flick and
                  Lawrence Cabac and
                  Nicolas Denz and
                  Daniel Moldt},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Re-Thinking Process Mining with Agents in Mind},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {94--99},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/FlickCDM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/AdameitBCHHKMPQT10,
  author       = {Simon Adameit and
                  Tobias Betz and
                  Lawrence Cabac and
                  Florian Hars and
                  Marcin Hewelt and
                  Michael K{\"{o}}hler{-}Bu{\ss}meier and
                  Daniel Moldt and
                  Dimitri Popov and
                  Jos{\'{e}} Ghislain Quenum and
                  Axel Theilmann},
  editor       = {J{\"{u}}rgen Dix and
                  Cees Witteveen},
  title        = {Modelling Distributed Network Security in a Petri Net- and Agent-Based
                  Approach},
  booktitle    = {Multiagent System Technologies, 8th German Conference, {MATES} 2010,
                  Leipzig, Germany, September 27-29, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6251},
  pages        = {209--220},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16178-0\_20},
  doi          = {10.1007/978-3-642-16178-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/AdameitBCHHKMPQT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/CabacDDM09,
  author       = {Lawrence Cabac and
                  Till D{\"{o}}rges and
                  Michael Duvigneau and
                  Daniel Moldt},
  editor       = {Lars Braubach and
                  Wiebe van der Hoek and
                  Paolo Petta and
                  Alexander Pokahr},
  title        = {Requirements and Tools for the Debugging of Multi-Agent Systems},
  booktitle    = {Multiagent System Technologies, 7th German Conference, {MATES} 2009,
                  Hamburg, Germany, September 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5774},
  pages        = {238--247},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04143-3\_26},
  doi          = {10.1007/978-3-642-04143-3\_26},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/CabacDDM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CabacM09,
  author       = {Lawrence Cabac and
                  Kolja Markwardt},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Modeling the System Organization of Multi-Agent Systems in Early Design
                  Stages with Coarse Design Diagrams},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {34--43},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 10:12:07 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CabacM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MarkwardtCR09,
  author       = {Kolja Markwardt and
                  Lawrence Cabac and
                  Christine Reese},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {A Process-Oriented Tool-Platform for Distributed Development},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {44--52},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MarkwardtCR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CabacMS09,
  author       = {Lawrence Cabac and
                  Kolja Markwardt and
                  Jan Schl{\"{u}}ter},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {ImageNetDiff: Finding Differences in Models},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {156--161},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CabacMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CabacD08,
  author       = {Lawrence Cabac and
                  Nicolas Denz},
  title        = {Net Components for the Integration of Process Mining into Agent-Oriented
                  Software Engineering},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {86--103},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_6},
  doi          = {10.1007/978-3-540-89287-8\_6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/CabacD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacDR08,
  author       = {Lawrence Cabac and
                  Till D{\"{o}}rges and
                  Heiko R{\"{o}}lke},
  editor       = {Kees M. van Hee and
                  R{\"{u}}diger Valk},
  title        = {A Monitoring Toolset for Paose},
  booktitle    = {Applications and Theory of Petri Nets, 29th International Conference,
                  {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5062},
  pages        = {399--408},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68746-7\_26},
  doi          = {10.1007/978-3-540-68746-7\_26},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CabacDR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/SchluterCM08,
  author       = {Jan Schl{\"{u}}ter and
                  Lawrence Cabac and
                  Daniel Moldt},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Adding Runtime Net Manipulation Features to MulanViewer},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {87--92},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/SchluterCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/CabacS08,
  author       = {Lawrence Cabac and
                  Jan Schl{\"{u}}ter},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {ImageNetDiff: {A} Visual Aid to Support the Discovery of Differences
                  in Petri Nets},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {93--98},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/CabacS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/CabacDDMRW08,
  author       = {Lawrence Cabac and
                  Till D{\"{o}}rges and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Christine Reese and
                  Matthias Wester{-}Ebbinghaus},
  editor       = {Ralph Bergmann and
                  Gabriela Lindemann and
                  Stefan Kirn and
                  Michal Pechoucek},
  title        = {Agent Models for Concurrent Software Systems},
  booktitle    = {Multiagent System Technologies, 6th German Conference, {MATES} 2008,
                  Kaiserslautern, Germany, September 23-26, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5244},
  pages        = {37--48},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87805-6\_5},
  doi          = {10.1007/978-3-540-87805-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/CabacDDMRW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/SchleinzerCMD08,
  author       = {Benjamin Schleinzer and
                  Lawrence Cabac and
                  Daniel Moldt and
                  Michael Duvigneau},
  editor       = {Akshai Aggarwal and
                  Mohamad Badra and
                  Fabio Massacci},
  title        = {From Agents and Plugins to Plugin-Agents, Concepts for Flexible Architectures},
  booktitle    = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
                  and Security, November 5-7, 2008, Tangier, Morocco},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/NTMS.2008.ECP.49},
  doi          = {10.1109/NTMS.2008.ECP.49},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ntms/SchleinzerCMD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CabacDM08,
  author       = {Lawrence Cabac and
                  Ragna Dirkner and
                  Daniel Moldt},
  editor       = {Ulrich Ultes{-}Nitsche and
                  Daniel Moldt and
                  Juan Carlos Augusto},
  title        = {Modeling with Service Dependency Diagrams},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 6th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
                  Spain, June 2008},
  pages        = {109--118},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 15:10:09 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CabacDM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/CabacDDRW07,
  author       = {Lawrence Cabac and
                  Till D{\"{o}}rges and
                  Michael Duvigneau and
                  Christine Reese and
                  Matthias Wester{-}Ebbinghaus},
  editor       = {Hans{-}Dieter Burkhard and
                  Gabriela Lindemann and
                  Rineke Verbrugge and
                  L{\'{a}}szl{\'{o}} Zsolt Varga},
  title        = {Models and Tools for Mulan Applications},
  booktitle    = {Multi-Agent Systems and Applications V, 5th International Central
                  and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
                  Leipzig, Germany, September 25-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4696},
  pages        = {328--330},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75254-7\_40},
  doi          = {10.1007/978-3-540-75254-7\_40},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ceemas/CabacDDRW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/CabacDMS07,
  author       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Benjamin Schleinzer},
  editor       = {Hans{-}Dieter Burkhard and
                  Gabriela Lindemann and
                  Rineke Verbrugge and
                  L{\'{a}}szl{\'{o}} Zsolt Varga},
  title        = {Plugin-Agents as Conceptual Basis for Flexible Software Structures},
  booktitle    = {Multi-Agent Systems and Applications V, 5th International Central
                  and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
                  Leipzig, Germany, September 25-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4696},
  pages        = {340--342},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75254-7\_44},
  doi          = {10.1007/978-3-540-75254-7\_44},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ceemas/CabacDMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/ReeseWDCM07,
  author       = {Christine Reese and
                  Matthias Wester{-}Ebbinghaus and
                  Till D{\"{o}}rges and
                  Lawrence Cabac and
                  Daniel Moldt},
  editor       = {Mehdi Dastani and
                  Amal El Fallah Seghrouchni and
                  Jo{\~{a}}o Leite and
                  Paolo Torroni},
  title        = {Introducing a Process Infrastructure for Agent Systems},
  booktitle    = {Languages, Methodologies and Development Tools for Multi-Agent Systems,
                  First International Workshop, {LADS} 2007, Durham, UK, September 4-6,
                  2007. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5118},
  pages        = {225--242},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-85058-8\_14},
  doi          = {10.1007/978-3-540-85058-8\_14},
  timestamp    = {Wed, 12 Aug 2020 21:55:18 +0200},
  biburl       = {https://dblp.org/rec/conf/lads/ReeseWDCM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/Cabac07,
  author       = {Lawrence Cabac},
  editor       = {Paolo Petta and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Matthias Klusch and
                  Michael P. Georgeff},
  title        = {Multi-Agent System: {A} Guiding Metaphor for the Organization of Software
                  Development Projects},
  booktitle    = {Multiagent System Technologies, 5th German Conference, {MATES} 2007,
                  Leipzig, Germany, September 24-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4687},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74949-3\_1},
  doi          = {10.1007/978-3-540-74949-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/Cabac07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/CabacKMR06,
  author       = {Lawrence Cabac and
                  Nicolas Knaak and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Klaus Fischer and
                  Ingo J. Timm and
                  Elisabeth Andr{\'{e}} and
                  Ning Zhong},
  title        = {Analysis of Multi-Agent Interactions with Process Mining Techniques},
  booktitle    = {Multiagent System Technologies, 4th German Conference, {MATES} 2006,
                  Erfurt, Germany, September 19-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4196},
  pages        = {12--23},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11872283\_2},
  doi          = {10.1007/11872283\_2},
  timestamp    = {Sat, 30 Sep 2023 09:52:16 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/CabacKMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/CabacDMR05,
  author       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {J{\"{o}}rg P. M{\"{u}}ller and
                  Franco Zambonelli},
  title        = {Applying Multi-agent Concepts to Dynamic Plug-In Architectures},
  booktitle    = {Agent-Oriented Software Engineering VI, 6th International Workshop,
                  {AOSE} 2005, Utrecht, The Netherlands, July 25, 2005. Revised and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3950},
  pages        = {190--204},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11752660\_15},
  doi          = {10.1007/11752660\_15},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/aose/CabacDMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacDMR05,
  author       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Modeling Dynamic Architectures Using Nets-Within-Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_10},
  doi          = {10.1007/11494744\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CabacDMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CabacDMR05,
  author       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Frank Dignum and
                  Virginia Dignum and
                  Sven Koenig and
                  Sarit Kraus and
                  Munindar P. Singh and
                  Michael J. Wooldridge},
  title        = {Multi-agent concepts as basis for dynamic plug-in software architectures},
  booktitle    = {4th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages        = {1157--1158},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082473.1082671},
  doi          = {10.1145/1082473.1082671},
  timestamp    = {Fri, 26 Apr 2019 14:26:42 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/CabacDMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/LehmannCMR05,
  author       = {Kolja Lehmann and
                  Lawrence Cabac and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Torsten Eymann and
                  Franziska Kl{\"{u}}gl and
                  Winfried Lamersdorf and
                  Matthias Klusch and
                  Michael N. Huhns},
  title        = {Towards a Distributed Tool Platform Based on Mobile Agents},
  booktitle    = {Multiagent System Technologies, Third German Conference, {MATES} 2005,
                  Koblenz, Germany, September 11-13, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3550},
  pages        = {179--190},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11550648\_16},
  doi          = {10.1007/11550648\_16},
  timestamp    = {Sun, 12 Nov 2023 02:15:37 +0100},
  biburl       = {https://dblp.org/rec/conf/mates/LehmannCMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/CabacM04,
  author       = {Lawrence Cabac and
                  Daniel Moldt},
  editor       = {James Odell and
                  Paolo Giorgini and
                  J{\"{o}}rg P. M{\"{u}}ller},
  title        = {Formal Semantics for {AUML} Agent Interaction Protocol Diagrams},
  booktitle    = {Agent-Oriented Software Engineering V, 5th International Workshop,
                  {AOSE} 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3382},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30578-1\_4},
  doi          = {10.1007/978-3-540-30578-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/aose/CabacM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacMR03,
  author       = {Lawrence Cabac and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {A Proposal for Structuring Petri Net-Based Agent Interaction Protocols},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {102--120},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_10},
  doi          = {10.1007/3-540-44919-1\_10},
  timestamp    = {Sat, 19 Oct 2019 20:09:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CabacMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics