dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Köhler-Bußmeier Home Page Coauthor index pubzone.org

Michael Köhler

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Frank Heitmann: Liveness of Safe Object Nets. Fundam. Inform. 112(1): 73-87 (2011)
2010
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt: Generating Executable Multi-agent System Prototypes from SONAR Specifications. COIN@AAMAS&MALLOW 2010: 21-38
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt: Generating Executable MAS-Prototypes from SONAR Specifications. MALLOW 2010
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Adameit, Tobias Betz, Lawrence Cabac, Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Ghislain Quenum, Axel Theilmann: Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. MATES 2010: 209-220
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEndri Deliu, Michael Köhler-Bußmeier: SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models. MATES 2010: 76-87
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Frank Heitmann: Safeness for Object Nets. Fundam. Inform. 101(1-2): 29-43 (2010)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier: Modeling Organizational Units as Modular Components of Systems of Systems. T. Petri Nets and Other Models of Concurrency 4: 174-198 (2010)
2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Matthias Wester-Ebbinghaus: SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems. MATES 2009: 248-257
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier: Hornets: Nets within Nets Combined with Net Algebra. Petri Nets 2009: 243-262
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Frank Heitmann: On the Expressiveness of Communication Channels for Object Nets. Fundam. Inform. 93(1-3): 205-219 (2009)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt: A Formal Model for Organisational Structures behind Process-Aware Information Systems. T. Petri Nets and Other Models of Concurrency 2: 98-114 (2009)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler: Rapid (Mobile) E-Learning-Content-Development: Konzeption und Entwicklung des Rapid-E-Learning-Content-Development-Tools "FLOG" (Flash Learning Objects Generator) zur Erstellung und Verwaltung von wiederverwendbaren Lernobjekten für mobile Endgeräte und PCs. University of Cologne 2009
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Matthias Wester-Ebbinghaus: Automatic Generation of Distributed Team Formation Algorithms from Organizational Models. COIN@AAMAS&AAAI 2008: 64-79
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier: From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches. ESAW 2008: 46-65
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Daniel Moldt: Analysis of Mobile Agents using Invariants of Object Nets. ECEASST 12: (2008)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler-Bußmeier, Manfred Kudlek: Linear Properties of Zero-Safe Nets with Debit Tokens. Fundam. Inform. 85(1-4): 329-342 (2008)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Matthias Wester-Ebbinghaus: Closing the Gap Between Organizational Models and Multi-Agent System Deployment. CEEMAS 2007: 307-309
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Berndt Farwer: Object Nets for Mobility. ICATPN 2007: 244-262
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Web Service Orchestration with Super-Dual Object Nets. ICATPN 2007: 263-280
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Dynamic Transition Refinement. Electr. Notes Theor. Comput. Sci. 175(2): 119-134 (2007)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler: The Reachability Problem for Object Nets. Fundam. Inform. 79(3-4): 401-413 (2007)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler: A Formal Model of Multi-Agent Organisations. Fundam. Inform. 79(3-4): 415-430 (2007)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk: Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. J. Artificial Societies and Social Simulation 10(1): (2007)
2006
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Daniel Moldt, Jan Ortmann: Dynamic Service Composition: A Petri-Net Based Approach. ICEIS (4) 2006: 159-165
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerndt Farwer, Michael Köhler: Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundam. Inform. 72(1-3): 109-122 (2006)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Properties of Super-Dual Nets. Fundam. Inform. 72(1-3): 245-254 (2006)
2005
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Jan Ortmann: Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets. CIMCA/IAWTIC 2005: 107-112
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. ICATPN 2005: 309-328
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk: Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. Socionics 2005: 51-67
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerndt Farwer, Michael Köhler: Petri Net Processes for Zero-Safe Nets. Fundam. Inform. 67(1-3): 65-75 (2005)
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Properties of Object Petri Nets. ICATPN 2004: 278-297
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk: An Extensible Editor and Simulation Engine for Petri Nets: Renew. ICATPN 2004: 484-493
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerndt Farwer, Michael Köhler: Mobile Object-Net Systems and their Processes. Fundam. Inform. 60(1-4): 113-129 (2004)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler: Objektnetze: Definitionen und Eigenschaften. University of Hamburg 2004: 1-246
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Daniel Moldt, Heiko Rölke: Modelling Mobility and Mobile Agents Using Nets within Nets. ICATPN 2003: 121-139
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Heiko Rölke: Concurrency in Mobile Object Net Systems. Fundam. Inform. 54(2-3): 221-235 (2003)
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Köhler, Daniel Moldt, Heiko Rölke: Modelling the Structure and Behaviour of Petri Net Agents. ICATPN 2001: 224-241

Coauthor Index

1Simon Adameit [34]
2Tobias Betz [34]
3Lawrence Cabac [34]
4Endri Deliu [33]
5Michael Duvigneau [6]
6Berndt Farwer [5] [8] [13] [20]
7Florian Hars [34]
8Frank Heitmann [28] [32] [37]
9Marcin Hewelt [34]
10Manfred Kudlek [22]
11Olaf Kummer [6]
12Roman Langer [15]
13Rolf von Lüde [15]
14Daniel Moldt [1] [3] [6] [9] [14] [15] [23] [24] [27] [31] [34] [35] [36]
15Jan Ortmann [11] [14]
16Dimitri Popov [34]
17José Ghislain Quenum [34]
18Heiko Rölke [1] [2] [3] [6] [7] [9] [10] [12] [15] [18] [19]
19Jörn Schumacher [6]
20Axel Theilmann [34]
21Rüdiger Valk [6] [9] [15]
22Matthias Wester-Ebbinghaus [21] [24] [25] [27] [30] [31] [35] [36]
23Frank Wienberg [6]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page