Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings von Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe

Volltext

Personalized crime location prediction von TAYEBI, MOHAMMAD A., GLÄSSER, UWE, ESTER, MARTIN, BRANTINGHAM, PATRICIA L.

Volltext

Computational modeling and experimental validation of aviation security procedures von GLÄSSER, Uwe, RASTKAR, Sarah, VAJIHOLLAHI, Mona

Volltext

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems von Glässer, Uwe

Volltext

Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems von Glasser, Uwe

Volltext

Cubism: Co-balanced Mixup for Unsupervised Volcano-Seismic Knowledge Transfer von Keramati, Mahsa, Tayebi, Mohammad A., Zohrevand, Zahra, Glässer, Uwe, Anzieta, Juan, Williams-Jones, Glyn

Volltext

Abstract communication model for distributed systems von Glasser, U., Gurevich, Y., Veanes, M.

Volltext

Distributed Situation Analysis: A Formal Semantic Framework von Nalbandyan, Narek, Glässer, Uwe, Shahir, Hamed Yaghoubi, Wehn, Hans

Volltext

SINAS: Suspect Investigation Using Offenders' Activity Space von Tayebi, Mohammad A., Glässer, Uwe, Brantingham, Patricia L., Shahir, Hamed Yaghoubi

Volltext

Anomaly detection in spatiotemporal data in the maritime domain von Avram, Vladimir, Glasser, Uwe, Shahir, Hamed Yaghoubi

Volltext bestellen

Adding Records to Alloy von Brunel, Julien, Chemouil, David, Cunha, Alcino, Macedo, Nuno

Volltext

Identity management architecture von Glasser, Uwe, Vajihollahi, Mona

Volltext bestellen

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday von Abrial, Jean-Raymond, Glässer, Uwe

Volltext

An extensible decision engine for Marine Safety and Security von Jackson, Piper, Glasser, Uwe, Shahir, Hamed Yaghoubi, Wehn, Hans

Volltext bestellen

Ecological momentary assessment of mood and movement with bipolar disorder over time: Participant recruitment and efficacy of study methods von O’Rourke, Norm, Sixsmith, Andrew

Volltext

Intelligent decision support for Marine safety and Security Operations von Glasser, Uwe, Jackson, Piper, Araghi, Ali Khalili, Shahir, Hamed Yaghoubi

Volltext bestellen

GENIUS: A computational modeling framework for counter-terrorism planning and response von Tsang, Herbert H., Park, Andrew J., Mengting Sun, Glasser, Uwe

Volltext bestellen

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings von Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Volltext

Validation of Formal Models by Interactive Simulation von Vu, Fabian, Leuschel, Michael

Volltext

Validation by Abstraction and Refinement von Stock, Sebastian, Vu, Fabian, Geleßus, David, Leuschel, Michael, Mashkoor, Atif, Egyed, Alexander

Volltext