Institutionen der Katholischen Universität Eichstätt-Ingolstadt
Mathematisch-Geographische Fakultät > Informatik > Lehrstuhl für Angewandte Informatik (bis 2010)

Harrer, Andreas ; Schmidt, Alona:
An Approach for the Blockmodeling in Multi-Relational Networks.
In: Proceedings of the 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining : ASONAM 2012 ; 26–29 August 2012, Kadir Has University, Istanbul, Turkey. - Los Alamitos, Calif. : IEEE Computer Society, 2012
(Begutachteter Beitrag / peer-reviewed paper)

Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
Modeling and Mining of Learnflows.
In: Kleijn, Jetty ; Donatelli, Susanna (Hrsg.): Transactions on Petri Nets and Other Models of Concurrency. - Berlin : Springer, 2012. - (Lecture Notes in Computer Science)
(Begutachteter Beitrag / peer-reviewed paper)

Harrer, Andreas ; Herbst, Vanessa:
PlaTO - the Planning Tool Observer in the multi-tool ELE Metafora.
In: ISEE@ITS'12 - Intelligent Support for Exploratory Environments 2012: Exploring, Collaborating, and Learning Together : June 14-18, 2012, Crete, Greece ; workshop proceedings. - Kreta, 2012. - S. 29-36. - (ITS workshop proceedings)
(Begutachteter Beitrag / peer-reviewed paper)

Harrer, Andreas ; Irgang, Thomas ; Sattes, Norbert ; Pfahler, Kerstin:
SoCCR - optimistic concurrency control for the web-based collaborative framework Metafora.
In: Herskovic, Valeria ; Hoppe, H. Ulrich ; Jansen, Marc ; Ziegler, Jürgen (Hrsg.): Collaboration and Technology : 18th International Conference, CRIWG 2012, Raesfeld, Germany, September 16-19, 2012, Proceedings. - Berlin : Springer, 2012. - S. 153-160. - (Lecture Notes in Computer Science ; 7493)
ISBN 978-3-642-33283-8
(Begutachteter Beitrag / peer-reviewed paper)

Malzahn, Nils ; Hoppe, H. Ulrich ; Harrer, Andreas:
Software- und Systementwicklung.
In: Haake, Jörg ; Schwabe, Gerhard ; Wessner, Martin (Hrsg.): CSCL-Kompendium 2.0 : Lehr- und Handbuch zum computerunterstützten, kooperativen Lernen. 2., völlig überarb. und erw. Auflage. - München : Oldenbourg, 2012. - S. 312-321
ISBN 978-3-486-59911-4 ; 978-3-486-71682-5

Lingnau, Andreas ; Harrer, Andreas:
An Analytic Process Schema for Collaborative Multi-Touch Applications.
In: Aedo, Ignacio ; Cehn, Nian-Shing ; Sampson, Demetrios G. ; Spektor, Michael J. (Hrsg.): Proceedings of the 2011 11th IEEE International Conference on Advanced Learning Technologies : ICALT 2011 ; 6-8 July 2011, Athens, Georgia. - Piscataway, NJ : IEEE Computer Society, 2011. - S. 115-117
ISBN 978-1-612-84209-7 ; 978-0-7695-4346-8
(Begutachteter Beitrag / peer-reviewed paper)

De-Groot, Reuma ; Schwarz, Baruch ; Wegerif, Rupert ; Harrer, Andreas ; Kynigos, Chronis ; McLaren, Bruce M. ; Mavrikis, Manolis:
Designing visual tools to scaffold the process of learning how to learn together.
In: Spada, Hans ; Stahl, Gerry ; Miyake, Naomi ; Law, Nancy (Hrsg.): Connecting Computer-Supported Collaborative Learning to Policy and Practice : CSCL2011 Conference Proceedings. Volume III: Community events proceedings. - Hongkong : International Society of the Learning Sciences (ISLS), 2011. - S. 1162-1163
ISBN 978-0-578-09154-9
(Begutachteter Beitrag / peer-reviewed paper)

Stegmann, Karsten ; Wecker, Christof ; Harrer, Andreas:
How Can Current Approaches to the Transfer of Technology-Based Collaboration Scripts for Research and Practice Be Integrated?
In: Spada, Hans ; Stahl, Gerry ; Miyake, Naomi ; Law, Nancy (Hrsg.): Connecting Computer-Supported Collaborative Learning to Policy and Practice : CSCL2011 Conference Proceedings. Volume III: Community events proceedings. - Hongkong : International Society of the Learning Sciences (ISLS), 2011. - S. 1103-1110
ISBN 978-0-578-09154-9
(Begutachteter Beitrag / peer-reviewed paper)

4. Workshop E-Learning 2.0 "Social Software and Web-based Interaction in Learning" : Proceedings.
Hrsg.: Rensing, Christoph ; Lohmann, Steffen ; Harrer, Andreas ; Akbari, Mostafa ; Scholl, Philipp
Duisburg, 2010

Tsovaltzi, Dimitra ; Rummel, Nikol ; McLaren, Bruce M. ; Pinkwart, Niels ; Scheuer, Oliver ; Harrer, Andreas ; Braun, Isabel:
Extending a virtual chemistry laboratory with a collaboration script to promote conceptual learning.
In: International journal of technology enhanced learning. 2 (2010) 1/2. - S. 91-110.
ISSN 1753-5255 ; 1753-5263
(Peer-Review-Journal)

Harrer, Andreas ; Martens, Alke:
A Heterogeneous Pattern Language for Collaborative Learning Systems and Intelligent Tutoring Systems.
In: Goodyear, Peter ; Retalis, Symeon (Hrsg.): Design Patterns and Pattern Languages : design patterns and pattern languages. - Rotterdam ; Boston ; Taipei : Sense Publishers, 2010. - S. 153-166. - (Technology-Enhanced Learning ; 2)
ISBN 978-94-6091060-9

Pinkwart, Niels ; Harrer, Andreas ; Kuhn, Markus:
Process support for collaborative inquiry learning.
In: Research and Practice in Technology Enhanced Learning : RPTEL. 5 (2010) 3. - S. 185-203.
ISSN 1793-7078 ; 1793-2068
(Peer-Review-Journal)

Hermann, Andreas:
Situationsspezifische und proaktive Datenverteilung am Beispiel des Verteilten Umgebungsmodells für Fahrzeugsoftware.
Aachen : Shaker, 2010. - IV, 269 S. - (Berichte aus der Informatik)
ISBN 978-3-8322-9128-0
(Dissertation, 2010, Katholische Universität Eichstätt-Ingolstadt)

Mavrikis, Manolis ; McLaren, Bruce M. ; Harrer, Andreas ; Kynigos, Chronis:
Supporting Students Learning to Learn Together in Constructionist Situations : the vision and technical approach in the Metafora project.
In: Workshop Proceedings "Intelligent Support for Exploratory Environments" / 5. European Conference on Technolgy Enhanced Learning, EC-TEL 2010. - Barcelona, 2010
(Begutachteter Beitrag / peer-reviewed paper)

Harrer, Andreas ; Zeini, Sam ; Ziebarth, Sabrina:
Visualisation of the Dynamics for Longitudinal Analysis of Computer-mediated Social Networks-concept and Exemplary Cases.
In: Memon, Nasrullah ; Alhajj, Reda (Hrsg.): From Sociology to Computing in Social Networks : Theory, Foundations and Applications. - Wien ; New York : Springer, 2010. - S. 119-134. - (Lecture Notes in Social Networks ; 1)
ISBN 978-3-7091-0294-7 ; 978-3-7091-0293-0
(Begutachteter Beitrag / peer-reviewed paper)

Kimmerle, Joachim ; Moskaliuk, Johannes ; Harrer, Andreas ; Cress, Ulrike:
Visualizing Co-Evolution of Individual and Collective Knowledge.
In: Information, communication & society : ICS. 13 (2010) 8. - S. 1099-1121.
ISSN 1369-118x
(Peer-Review-Journal)

3. Workshop E-Learning 2.0 "Web 2.0 and Social Software in Technology Enhanced Learning" : Proceedings.
Hrsg.: Rensing, Christoph ; Schroeder, Ulrik ; Harrer, Andreas ; Lohmann, Steffen
Berlin, 2009

Mauser, Sebastian ; Bergenthum, Robin ; Desel, Jörg ; Klett, Andreas:
An approach to business process modelling emphasizing the early design phases.
In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - (Ceur Workshop Proceedings ; 501)
ISSN 1613-0073

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Comparison of different algorithms to synthesize a Petri net from a partial language.
In: Transactions on Petri nets and other models of concurrency. (2009). - S. 216-243.
ISSN 1867-7193

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian ; Lorenz, Robert:
Construction of process models from example runs.
In: Hutchison, David ; Aalst, Wil M. P. ; Jensen, Kurt ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Mattern, Friedemann ; Mitchell, John C. ; Naor, Moni ; Nierstrasz, Oscar ; Pandu Rangan, C. ; Steffen, Bernhard ; Sudan, Madhu ; Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y. ; Weikum, Gerhard (Hrsg.): Transactions on Petri Nets and other models of concurrency II : special issue on concurrency in process-aware information systems. - Berlin ; Heidelberg : Springer, 2009. - S. 243-259. - (Lecture notes in computer science ; 5460)
ISBN 978-3-642-00899-3 ; 978-3-642-00898-6

Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Executability of scenarios in Petri Nets.
In: Theoretical computer science : the journal of the EATCS. 410 (2009) 12/13. - S. 1190-1216.
ISSN 0304-3975
(Peer-Review-Journal)

Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
Modellierung und Mining kollaborativer Learnflows.
In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - S. 1-8. - (Ceur Workshop Proceedings ; 501)
ISSN 1613-0073
(Begutachteter Beitrag / peer-reviewed paper)

Best, Eike ; Desel, Jörg:
On the reducibility of persistent Petri nets.
In: Lodaya, Kamal ; Mukund, Madhavan ; Ramanujam, R. (Hrsg.): Perspecives in concurrency theory. - Himayatnagar : Universities Press India, 2009. - S. 22-34
ISBN 978-81-7371-652-2

Best, Eike ; Desel, Jörg:
On the reducibility of persistent Petri nets.
In: Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan. - Hyderabad, India : Universities Press, 2009. - S. 22-34
ISBN 978-143980943-3

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Partial order semantics of types of nets.
In: Nielsen, Mogens ; Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Kučera, Antonín ; Mattern, Friedemann ; Miltersen, Peter Bro ; Mitchell, John C. ; Naor, Moni (Hrsg.): SOFSEM 2009 : theory and practice of Computer Science ; 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 ; Proceedings. - Heidelberg : Springer, 2009. - S. 388-400. - (Lecture notes in computer science ; 5404)
ISBN 978-3-540-95891-8

Klai, Kais ; Tata, Samir ; Desel, Jörg:
Symbolic abstraction and deadlock freeness verification of inter-enterprise processes.
In: Dayal, Umeshwar ; Eder, Johann ; Koehler, Jana ; Reijers, Hajo A.: Business process management : 7th international conference, BPM 2009, Ulm, Germany, September 8-10, 2009 ; proceedings. - Berlin ; Heidelberg ; New York : Springer, 2009. - (Lecture notes in computer science ; 5701)
ISBN 3-642-03847-6 ; 978-3-642-03847-1
ISSN 0302-9743

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from term based representations of infinite partial languages.
In: Fundamenta informaticae. 95 (2009) 1. - S. 187-217.
ISSN 0169-2968
(Peer-Review-Journal)

Juhás, Gabriel ; Desel, Jörg ; Lorenz, Robert:
Unifying Petri Net semantics with token flows.
In: Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 ; proceedings. - Heidelberg : Springer, 2009. - (Lecture notes in computer science ; 5606)
ISBN 3-642-02423-8 ; 978-3-642-02423-8

Mauser, Sebastian ; Lorenz, Robert:
Variants of the language based synthesis problem for Petri Nets.
2009
Veranstaltung: 9th International Conference on Application of Concurrency to System Design, 1.-3. Juli 2009, Augsburg.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)

Desel, Jörg ; Merceron, Agathe:
Vicinity respecting homomorphisms for abstracting system requirements.
2009
Veranstaltung: Apnoc : International Workshop on Abstractions for Petri Nets and other Models of Concurrency, 22.-23. Juni 2009, Paris, Frankreich.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Mauser, Sebastian:
Werkzeug Demonstration VipTool.
2009
Veranstaltung: 9th International Conference on Application of Concurrency to System Design, 1.-3. Juli 2009, Augsburg.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)

Bergenthum, Robin ; Mauser, Sebastian:
Werkzeugpräsentation VipTool.
2009
Veranstaltung: 30th International Conference on Application and Theory of Petri Nets, 22.-26. Juni 2009, Paris, Frankreich.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)

Desel, Jörg:
Aggregating views for Petri net model construction.
2008
Veranstaltung: Workshop des Graduiertenkollegs Konzeptuelle Modellierung von Katastrophenmanagementprozessen, September 2008, Berlin.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Desel, Jörg ; Petrucci, Laure:
Aggregating views for Petri net model construction.
2008
Veranstaltung: PNDS-08: workshop at the 29th International Conference on Applications and Theory of Petri Nets, Juni 2008, Xi'an, China.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Causal semantics of algebraic Petri Nets distinguishing concurrency and synchronicity.
In: Fundamenta informaticae. 86 (2008) 3. - S. 255-298.
(Peer-Review-Journal)

Bergenthum, Robin ; Mauser, Sebastian:
Comparison of different algorithms to synthesize a Petri Net from a Partial Language.
2008
Veranstaltung: International Conference on Application and Theory of Petri Nets and Other Models of Concurrency <29, 2008, Xi'an>, 23.-27. Juni 2008, Xi'an, China.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Complete process semantics of Petri Nets.
In: Fundamenta informaticae. 87 (2008) 3/4. - S. 331-365.
ISSN 0169-2968
(Peer-Review-Journal)

Desel, Jörg:
Controlling Petri Net Process Models.
In: Dumas, Marlon ; Heckel, Reiko: Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings. - Heidelberg : Springer, 2008. - S. 17-30. - (Lecture notes in computer science ; 4937)
ISBN 3-540-79229-5 ; 978-3-540-79229-1

Lehocki, Fedor ; Juhás, Gabriel ; Lorenz, Robert ; Szczerbicka, Helena ; Drozda, Martin:
Decision Support with Logical and Fuzzy Petri Nets.
In: Cybernetics and systems. 39 (2008) 6. - S. 617-640.
ISSN 1087-6553 ; 0196-9722
(Peer-Review-Journal)

Hermann, Andreas ; Matzka, Stephan ; Desel, Jörg:
Driving situation analysis in automotive environment.
2008
Veranstaltung: IEEE International Conference on Vehicular Electronics and Safety, 2008. ICVES 2008., 22.-24. Sept. 2008, Columbus, Ohio, USA.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)

Desel, Jörg ; Neumair, Christian:
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.
In: Brinda, Torsten ; Fothe, M. ; Hubwieser, P. ; Schlüter, K.: Didaktik der Informatik - aktuelle Forschungsergebnisse : 5. Workshop der GI-Fachgruppe "Didaktik der Informatik", 24. - 25.09.2008 an der Universität Erlangen-Nürnberg. - Bonn : Gesellschaft für Informatik, 2008. - S. 151-152. - (GI-Edition : Proceedings ; 135)
ISBN 978-3-88579-229-1

Bergenthum, Robin ; Desel, Jörg ; Kölbl, Christian ; Mauser, Sebastian:
Experimental results on process mining based on regions of languages.
2008
Veranstaltung: CHINA 2008, workshop at the Applications and theory of Petri nets : 29th international conference, 23.-27.6. 2008, Xi'an, China.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Faster Unfolding of General Petri Nets Based on Token Flows.
In: Kees M. van Hee ; Valk, R. (Hrsg.): Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xián, China, June 23-27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398. - (Lecture notes in computer science ; 5062)
ISBN 3-540-68745-9 ; 978-3-540-68745-0

Bergenthum, Robin:
Faster unfolding of Petri nets.
2008
Veranstaltung: Workshop des Graduiertenkollegs Konzeptuelle Modellierung von Katastrophenmanagementprozessen, September 2008, Berlin.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Desel, Jörg:
From Human Knowledge to Process Models.
In: Kaschek, Roland ; Kop, C. ; Steinberger, C. ; Fliedl, G.: Information systems and e-Business technologies : 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 84-95. - (Lecture notes in business information processing ; 5)
ISBN 3-540-78941-3 ; 978-3-540-78941-3

Desel, Jörg ; Iglezakis, Dorothea:
Hilfreiche Hilfe? : adaptives Learning-on-Demand.
In: Seehusen, Silke ; Lucke, Ulrike ; Fischer, Stefan (Hrsg.): DeLFI 2008 : die 6. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. ; 07. - 10. September 2008 in Lübeck, Germany. - Bonn : Gesellschaft für Informatik, 2008. - S. 293-304. - (GI-Edition : lecture notes in informatics : Proceedings ; 132)
ISBN 978-3-88579-226-0

Mauser, Sebastian:
Implementierung von Syntheseverfahren in VipTool.
2008
Veranstaltung: Workshop des Graduiertenkollegs Konzeptuelle Modellierung von Katastrophenmanagementprozessen, September 2008, Berlin.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
Learnflow mining.
In: Seehusen, Silke ; Lucke, U. ; Fischer, S.: DeLFI 2008 : die 6. e-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V. ; 07. - 10. September 2008 in Lübeck, Germany. - Bonn : Gesellschaft für Informatik, 2008. - S. 269-280. - (GI-Edition. Proceedings ; 132)
ISBN 978-3-88579-226-0
(Begutachteter Beitrag / peer-reviewed paper)

Desel, Jörg:
Modellieren lernen über Formalisieren von Ablaufbeschreibungen.
2008
Veranstaltung: Modellierung in Lehre und Weiterbildung: Workshop auf der Modellierung 2008, Berlin, März 2008. Technischer Bericht ifi-2008.04, 13. März 2008, Zürich, Schweiz.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Desel, Jörg ; Glinz, Martin:
Modellierung in Lehre und Weiterbildung: Workshop auf der Modellierung 2008 ; Technischer Bericht ifi-2008.04.
2008

Proceedings of the Workshop on e-Learning 2.0: Web 2.0 and Social Software in Technology enhanced Learning.
Hrsg.: Rensing, Christoph ; Schroeder, Ulrik ; Harrer, Andreas ; Lohmann, Steffen
Lübeck, 2008

Proceedings of the Workshop on Inclusive E-Learning: Special Needs and Special Solutions (IEL-2008), Maastricht, The Netherlands, September 16, 2008.
Hrsg.: Lingnau, Andreas ; Martens, Alke ; Harrer, Andreas
Aachen : Technical University of Aachen (RWTH), 2008. - (CEUR Workshop Proceedings ; 387)

Harrer, Andreas ; Malzahn, Nils ; Wichmann, Astrid:
The Remote Control Approach - An Architecture for Adaptive Scripting across Collaborative Learning Environments.
In: Journal of universal computer science : JUCS. 14 (2008) 1. - S. 148-173.
ISSN 0948-695x
(Peer-Review-Journal)

Liu, Cong ; Kondratyev, Alex ; Watanabe, Yosinori ; Desel, Jörg ; Sangiovanni-Vincentelli, Alberto:
Schedulability analysis of Petri nets based on structural properties.
In: Fundamenta informaticae. 86 (2008) 3. - S. 325-341.
ISSN 0169-2968
(Peer-Review-Journal)

Martens, Alke ; Harrer, Andreas:
Software Engineering in E-Learning Systems.
In: Lawrence A. Tomei (Hrsg.): Encyclopedia of Information Technology Curriculum Integration. Volume II. - Hershey, PA. : Information Science Reference, 2008. - S. 782-788
ISBN 978-1-59904-881-9

Harrer, Andreas ; Martens, Alke:
A Step towards a Pattern Language for e-Learning Systems.
In: Pahl, Claus (Hrsg.): Architecture Solutions for E-Learning Systems. - Hershey, PA : Information Science Reference, 2008. - S. 98-115. - (Premier reference source)
ISBN 978-1-59904-633-4
(Begutachteter Beitrag / peer-reviewed paper)

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Synthesis of Petri nets for business process design.
2008
Veranstaltung: Verhaltensmodellierung: Best Practices und neue Erkenntnisse ; Workshop an der Modellierung 2008, 12.-14. März 2008, Berlin.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from finite partial languages.
In: Fundamenta informaticae. 88 (2008) 4. - S. 437-468.
ISSN 0169-2968
(Peer-Review-Journal)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from infinite partial languages.
In: Billington, J. ; Duan, Z. ; Koutny, M. (Hrsg.): Proceedings of the 8th International Conference on Applications of Concurrency to System Design (ACSD). - Los Alamitos, USA : IEEE Computer Society, 2008. - S. 170-179

Bergenthum, Robin ; Mauser, Sebastian:
Synthesis of Petri Nets from Infinite Partial Languages with VipTool.
2008
Veranstaltung: 15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Rostock.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri Nets from Scenarios with VipTool.
In: Hee, Kees Max van: Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23 - 27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398
ISBN 978-3-540-68746-7 ; 3-540-68745-9 ; 978-3-540-68745-0

Lorenz, Robert:
Towards Synthesis of Petri Nets from General Partial Languages.
2008
Veranstaltung: 15. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN, 26.-27. Sept. 2008, Rostock.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Hermann, Andreas ; Matzka, Stephan ; Desel, Jörg:
Using a proactive sensor-system in the Distributed Environment Model.
2008
Veranstaltung: IEEE International Conference on Vehicular Electronics and Safety, 2008. ICVES 2008., 22.-24. Sept. 2008, Columbus, Ohio, USA.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)

Harrer, Andreas ; Hoppe, H. Ulrich:
Visual Modelling of Collaborative Learning Processes - Uses, Desired Properties, and Approaches.
In: Botturi, Luca ; Stubbs, S. Todd (Hrsg.): Handbook of Visual Languages for Instructional Design : Theories and Practices. - Hershey, PA : Information Science Reference, 2008. - S. 281-298
ISBN 978-1-599-04729-4 ; 978-1-599-04731-7

Harrer, Andreas ; Moskaliuk, Johannes ; Kimmerle, Joachim ; Cress, Ulrike:
Visualizing Wiki-Supported Knowledge Building: Co-Evolution of Individual and Collective Knowledge.
In: Aguiar, Ademar ; Bernstein, Mark (Hrsg.): Proceedings of the 4th International Symposium on Wikis (WikiSym '08). - New York, NY : ACM, 2008
ISBN 978-1-60558-128-6
(Begutachteter Beitrag / peer-reviewed paper)

Bergenthum, Robin ; Mauser, Sebastian:
Werkzeugpräsentation VipTool.
2008
Veranstaltung: 29. International Conference on Application and Theory of Petri Nets, Juli 2008, Xi'an, China.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Complete Process Semantics for Inhibitor Nets.
In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
ISBN 978-3-540-73093-4

Lingnau, Andreas ; Harrer, Andreas ; Kuhn, Markus ; Hoppe, H. Ulrich:
Empowering teachers to evolve media enriched classroom scenarios.
In: Research and Practice in Technology Enhanced Learning : RPTEL. 2 (2007) 2. - S. 105-129.
ISSN 1793-7078 ; 1793-2068
(Peer-Review-Journal)

Bergenthum, Robin ; Mauser, Sebastian:
Experimental Results on the Synthesis of Petri Nets from Partial Languages.
In: Petri net newsletter. 73 (2007). - S. 3-10.
ISSN 0931-1084 ; 0173-7473

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Faster Unfolding of General Petri Nets.
2007
Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. September 2007, Koblenz, Deutschland.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Hernández-Leo, Davinia ; Harrer, Andreas ; Dodero, Juan Manuel ; Asensio-Pérez, Juan I. ; Burgos, Daniel:
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions.
In: Journal of universal computer science : JUCS. 13 (2007) 7. - S. 991-1001.
ISSN 0948-695x
(Peer-Review-Journal)

Harrer, Andreas ; Malzahn, Nils ; Hoppe, H. Ulrich:
Graphical Modeling and Simulation of Learning Designs.
In: Hirashima, Tsukasa ; Hoppe, Ulrich ; Young, Shelley Shwu-Ching (Hrsg.): Supporting Learning Flow through Integrative Technologies. - Amsterdam : IOS Press, 2007. - S. 291-294. - (Frontiers in Artificial Intelligence and Applications ; 162)
ISBN 978-1-58603-797-0
(Begutachteter Beitrag / peer-reviewed paper)

Iglezakis, Dorothea:
Hilfreiche Hilfe : Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale Wissen.
Aachen : Shaker, 2007. - XIV, 246 S. - (Berichte aus der Informatik)
ISBN 978-3-8322-6352-2
(Dissertation, 2007, Katholische Universität Eichstätt-Ingolstadt)

Lorenz, Robert ; Juhás, Gabriel ; Mauser, Sebastian:
How to Synthesize Nets from Languages : a Survey.
In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 637-647
ISBN 1-4244-1306-0

Martens, Alke ; Harrer, Andreas:
An integrative approach for teaching/tutoring process models using meta-models.
In: Kinshuk ; Sampson, Demetrios G. ; Spector, J. Michael ; Isai­as, Pedro (Hrsg.): IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2007) : Proceedings. - Lisbon, Portugal : IADIS Press, 2007. - S. 243-249
ISBN 978-972-8924-48-5
(Begutachteter Beitrag / peer-reviewed paper)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Process mining based on regions of languages.
In: Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; Proceedings. - Heidelberg : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 7414)

Juhás, Gabriel ; Lehocki, Fedor ; Lorenz, Robert:
Semantics of Petri nets: a comparison.
In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 617-628
ISBN 1-4244-1306-0

Kobbe, Lars ; Weinberger, Armin ; Dillenbourg, Pierre ; Harrer, Andreas ; Hämäläinen, Raija ; Häkkinen, Päivi ; Fischer, Frank:
Specifying Computer-supported Collaboration Scripts.
In: International journal of computer-supported collaborative learning. 2 (2007) 2/3. - S. 211-224.
ISSN 1556-1607
(Peer-Review-Journal)

SWEL’07: Ontologies and Semantic Web Services for Intelligent Distributed Educational Systems : Supplementary Proceedings of the 13th International Conference of Artificial Intelligence in Education (AIED 2007).
Hrsg.: Capuano, Nicola ; Dicheva, Darina ; Harrer, Andreas ; Mizoguchi, Riichiro
Marina Del Rey, CA, 2007

Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Synthesis of Petri nets from finite partial languages.
In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 157-166
ISBN 0-7695-2902-X

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Technical Report including proofs: Process Mining Based on Regions of Languages.
In: Business process management : 5th international conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; proceedings / Gustavo Alonso; Peter Dadam; Michael Rosemann (eds.). - Berlin u.a. : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 4714)
ISBN 978-3-540-75182-3

Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
Testing the Executability of Scenarios in General Inhibitor Nets.
In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 167-176
ISBN 0-7695-2902-X

Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
ISBN 978-3-540-73093-4

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Towards applicability of language based synthesis for process mining.
2007
Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. Sept. 2007, Koblenz.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Mauser, Sebastian:
Werkzeugpräsentation VipTool.
2007
Veranstaltung: 28th International Conference on Application and Theory of Petri Nets, 25.-29. Juni 2007, Siedlce, Polen.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)

van Dongen, Boudewijn F. ; Desel, Jörg ; van der Aalst, Will:
Aggregating Causal Runs to Workflow Nets : BETA Working Paper Series.
2006

Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Juhás, Gabriel:
Can I execute my Scenario in your Net? VipTool tells you!
In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings / Susanna Donatelli; P. S. Thiagarajan (eds.). - Berlin u.a. : Springer, 2006. - S. 381-390. - (Lecture notes in computer science ; 4024)
ISBN 978-3-540-34699-9

Desel, Jörg ; Glinz, Martin:
Modellierung in Lehre und Weiterbildung : Workshop auf der Modellierung 2006 ; Technischer Bericht ifi-2006.03.
2006

Desel, Jörg ; Wimmer, Ruprecht:
Neue Medien an der Katholischen Universität Eichstätt-Ingolstadt.
In: Klebl, Michael ; Köck, Michael (Hrsg.): Projekte und Perspektiven im Studium Digitale : neue Medien an der Katholischen Universität Eichstätt-Ingolstadt. - Berlin : LIT, 2006. - S. 5-10. - (Medienpädagogik ; 3)
ISBN 3-8258-9635-8

Liu, Cong ; Kondratyev, Alex ; Watanabe, Yosinori ; Desel, Jörg ; Sangiovanni-Vincentelli, Alberto:
Schedulability Analysis of Petri Nets Based on Structural Properties.
In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 69-78
ISBN 978-0-7695-2556-3

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Synchronous + Concurrent + Sequential = Earlier than + Not later than.
In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 261-270
ISBN 978-0-7695-2556-3

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen.
2006
Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Synthese von S/T-Netzen aus unendlichen partiellen Sprachen.
2006
Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Lorenz, Robert:
Szenario-basierte Verifikation und Synthese von Petrinetzen: Theorie und Anwendungen.
2006
(Habilitation, 2006, Katholische Universität Eichstätt-Ingolstadt)

Lorenz, Robert ; Juhás, Gabriel:
Towards Synthesis of Petri Nets from Scenarios.
In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings. - Berlin u.a. : Springer, 2006. - S. 302-321. - (Lecture notes in computer science ; 4024)
ISBN 978-3-540-34699-9

Bergenthum, Robin ; Mauser, Sebastian:
Werkzeugpräsentation VipTool.
2006
Veranstaltung: 27. International Conference on Application and Theory of Petri Nets, 28.-30. Juni 2006, Turku, Finnland.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Präsentation)

Juhás, Gabriel:
Are these events independent? It depends!
2005
(Habilitation, 2005, Katholische Universität Eichstätt-Ingolstadt)

Juhás, Gabriel ; Lorenz, Robert ; Desel, Jörg:
Can I execute your scenario in my net?
In: Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20 - 25, 2005 ; proceedings / Gianfranco Ciardo ... (eds.). - Berlin u.a. : Springer, 2005. - S. 289-308. - (Lecture notes in computer science ; 3536)
ISBN 3-540-26301-2

Enterprise modelling and information systems architectures : Workshop, Klagenfurt, Austria, October 24 - 25, 2005.
Hrsg.: Desel, Jörg ; Frank, Ulrich
Bonn : Gesellschaft für Informatik, 2005. - 266 S. - (GI-Edition Lecture Notes in Informatics. Proceedings ; 75)
ISBN 3-88579-404-7

International Conference on Application of Concurrency to System Design <5, 2005, Saint-Malo> : Proceedings [ACSD 2005 : 7 - 9 June 2005, St. Malo, France].
Hrsg.: Desel, Jörg ; Watanabe, Yosinori
Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2005. - 256 S. - (GI-Edition Lecture Notes in Informatics)
ISBN 0-7695-2363-3

Desel, Jörg:
Process modelling using Petri nets.
In: Process-Aware Information Systems : bridging people and software through process technology / ed. by Marlon Dumas; Wil van der Aalst; Arthur H. M. ter Hofstede. - Hoboken, New Jersey : Wiley Blackwell, 2005. - S. 147-177
ISBN 978-0-471-66306-5

Desel, Jörg:
Schwach beschränkte Petrinetze.
2005
Veranstaltung: 12ter Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005), 29. - 30. September 2005, Berlin, Humboldt-Universität.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Lorenz, Robert:
Ein Konzept der Nichtstandard-Analysis als Bindeglied zwischen klassischer Potentialtheorie und Irrfahrten auf Gittern.
Aachen : Shaker, 2001. - 69 S. - (Berichte aus der Mathematik)
ISBN 3-8265-8796-0
(Dissertation, 2000, Katholische Universität Eichstätt-Ingolstadt)