The formal semantics of SDL-2000: Status and perspectives
Glässer, U., Gotzhein, R., Prinz, A.
Published in Computer networks (Amsterdam, Netherlands : 1999) (21.06.2003)
Published in Computer networks (Amsterdam, Netherlands : 1999) (21.06.2003)
Get full text
Journal Article
Abstract communication model for distributed systems
Glasser, U., Gurevich, Y., Veanes, M.
Published in IEEE transactions on software engineering (01.07.2004)
Published in IEEE transactions on software engineering (01.07.2004)
Get full text
Journal Article
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks
Get full text
Book Chapter
Conference Proceeding
An abstract machine architecture for web service based business process management
FARAHBOD, Roozbeh, GLÄSSER, Uwe, VAJIHOLLAHI, Mona
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Organized Crime Structures in Co-offending Networks
Tayebi, M. A., Glasser, U.
Published in 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (01.12.2011)
Published in 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (01.12.2011)
Get full text
Conference Proceeding
Investigating Organized Crime Groups: A Social Network Analysis Perspective
Tayebi, M. A., Glasser, U.
Published in 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (01.08.2012)
Published in 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (01.08.2012)
Get full text
Conference Proceeding
Locating Central Actors in Co-offending Networks
Tayebi, M. A., Bakker, L., Glasser, U., Dabbaghian, V.
Published in 2011 International Conference on Advances in Social Networks Analysis and Mining (01.07.2011)
Published in 2011 International Conference on Advances in Social Networks Analysis and Mining (01.07.2011)
Get full text
Conference Proceeding
Engineering Situation Analysis Decision Support Systems
Farahbod, R., Avram, V., Glasser, U., Guitouni, A.
Published in 2011 European Intelligence and Security Informatics Conference (01.09.2011)
Published in 2011 European Intelligence and Security Informatics Conference (01.09.2011)
Get full text
Conference Proceeding
Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design
Farahbod, R., Glasser, U., Bosse, E., Guitouni, A.
Published in 2008 11th International Conference on Information Fusion (01.06.2008)
Published in 2008 11th International Conference on Information Fusion (01.06.2008)
Get full text
Conference Proceeding