|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Anzahl der Publikationen: 10
Zeitschriftenartikel
Wirsing, Martin und Knapp, Alexander
(2022):
A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic.
In: Logic Journal of the Igpl, Bd. 31, Nr. 6: S. 1047-1068
Bliudze, Simon; Katsaros, Panagiotis; Bensalem, Saddek und Wirsing, Martin
(2021):
On methods and tools for rigorous system design.
In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 5: S. 679-684
De Nicola, Rocco; Jähnichen, Stefan und Wirsing, Martin
(2020):
Rigorous engineering of collective adaptive systems: special section.
In: International Journal on Software Tools for Technology Transfer, Bd. 22, Nr. 4: S. 389-397
[PDF, 248kB]
Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin
(2018):
Behavioural and abstractor specifications revisited.
In: Theoretical Computer Science, Bd. 741: S. 32-43
Paper
Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H. und Wirsing, Martin
(1999):
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.
[PDF, 469kB]
Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas und Wirsing, Martin
(1998):
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.
[PDF, 131kB]
Buchbeitrag
Belzner, Lenz; Hennicker, Rolf und Wirsing, Martin
(2016):
OnPlan: A Framework for Simulation-Based Online Planning.
In: Braga, Christiano und Ölveczky, Peter Csaba (Hrsg.):
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Bd. 9539. Springer. S. 1-30
Jähnichen, Stefan und Wirsing, Martin
(2016):
Rigorous Engineering of Collective Adaptive Systems Track Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 535-538
Jähnichen, Stefan und Wirsing, Martin
(2016):
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 639-641
Konferenzbeitrag
Sun, Xiyue; Pieroth, Fabian R.; Schmid, Kyrill; Wirsing, Martin und Belzner, Lenz
(2022):
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.
42nd International Conference on Distributed Computing Systems Workshops (ICDCSW), Bologna, Italy, 10 July 2022.
In: 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW),
IEEE. S. 113-118