22 Einträge gefunden

1. Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018

   1. Köhler-Bußmeier, Michael
   2. Weißbach, Rüdiger
   3. Becker, Steffen
   4. Böhm, Wolfgang
   5. Fahland, Dirk
   6. Fill, Hans-Georg
   7. Heinrich, Robert

   2018 - ReposIt
2. From Hornets to Hybrid Agent and Workflow Systems

   1. Köhler-Bußmeier, Michael
   2. Wagner, Thomas
   3. Moldt, Daniel

   2016 - ReposIt
3. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
4. 24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
5. 27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
6. Generating executable multi-agent system prototypes from sonar specifications

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias
   3. Moldt, Daniel

   2011 - Forschungsinformationssystem der UHH
7. 20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich
8. 2 - Büchi Automaten : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich
9. 3 - Äquivalenz von Systemen : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich
10. Modelling distributed network security in a petri net- and agent-based approach

    1. Adameit, Simon
    2. Betz, Tobias
    3. Cabac, Lawrence
    4. Hewelt, Marcin
    5. Köhler-Bußmeier, Michael
    6. Moldt, Daniel
    7. Popov, Dimitri

    2010 - Forschungsinformationssystem der UHH
11. Modelling Distributed Network Security in a Petri Net and Agent-based Approach

    1. Moldt, Daniel
    2. Köhler-Bußmeier, Michael
    3. Theilmann, Axel
    4. Adameit, Simon
    5. Betz, Tobias
    6. Cabac, Lawrence
    7. Hars, Florian

    2010 - ReposIt
12. Modelling an open and controlled system unit as a modular component of systems of systems

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2010 - Forschungsinformationssystem der UHH
13. Generating Executable MAS-Prototypes from SONAR Specifications

    1. Köhler-Bußmeier, Michael
    2. Wester-Ebbinghaus, Matthias
    3. Moldt, Daniel

    2010 - ReposIt
14. Herold : agent-oriented, policy-based network security management

    1. Adameit, Simon
    2. Betz, Tobias
    3. Cabac, Lawrence
    4. Hars, Florian
    5. Hewelt, Marcin
    6. Köhler-Bußmeier, Michael
    7. Moldt, Daniel

    2010 - ReposIt
15. Modeling organizational units as modular components of systems of systems

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2010 - Forschungsinformationssystem der UHH
16. Modelling an open and controlled system unit as a modular component of systems of systems

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2010 - ReposIt
17. From multi-agent to multi-organization systems: utilizing middleware approaches

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2009 - Forschungsinformationssystem der UHH
18. A Formal Model for Organisational Structures behind Process-Aware Information Systems

    1. Köhler-Bußmeier, Michael
    2. Wester-Ebbinghaus, Matthias
    3. Moldt, Daniel

    2009 - ReposIt
19. Special Issue on Formal Modeling of Adaptive and Mobile Processes : Analysis of Mobile Agents using Invariants of Object Nets

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel

    2009 - ReposIt
20. A formal model for organisational structures behind process-aware information systems

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel
    3. Wester-Ebbinghaus, Matthias

    2009 - Forschungsinformationssystem der UHH