Thomas Rose

According to our database1, Thomas Rose authored at least 61 papers between 1987 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Model checking smart contracts for Ethereum.
Pervasive Mob. Comput., 2020

Mobility Service Platforms - Cross-Company Cooperation for Transportation Service Interoperability.
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

Correctness of Smart Contracts for Consistency Enforcement.
ERCIM News, 2017

Blockchain Lab - Design, Implementation and Evaluation of Innovative Business and Process Models.
ERCIM News, 2017

Evaluation of small volume production solutions in semiconductor manufacturing: Analysis from a complexity perspective.
Proceedings of the Winter Simulation Conference, WSC 2016, 2016

Complexity analysis through the modeling of human behavior in a complex supply chain planning environment.
Proceedings of the 2015 Winter Simulation Conference, 2015

Complexity Management in the Semiconductor Supply Chain and Manufacturing Using PROS Analysis.
Proceedings of the Information and Knowledge Management in Complex Systems, 2015

Smart Checklists for Crises Management Planning.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

The Dark Side of Photovoltaic - 3D Simulation of Glare Assessing Risk and Discomfort.
Proceedings of the 27th International Conference on Environmental Informatics for Environmental Protection, 2013

Business Processes and Standard Operating Procedures: Two Coins with Similar Sides.
Proceedings of the Electronic Government - 12th IFIP WG 8.5 International Conference, 2013

The myth of business process modelling for emergency management planning.
Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

Cross-Organizational Preplanning in Emergency Management with IT-Supported Smart Checklists.
Proceedings of the Future Security - 7th Security Research Conference, 2012

Business models for eGovernment services.
Electron. Gov. an Int. J., 2010

Relating domain model based requirements management and situational method engineering.
Proceedings of the Third International Workshop on Managing Requirements Knowledge, 2010

Requirements Engineering for Control Systems.
Proceedings of the 4<sup>th</sup> International <i>i</i>* Workshop, 2010

Goal-Based Domain Modeling as a Basis for Cross-Disciplinary Systems Engineering.
Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

Unterstützung medizinischer Leitlinien - Von der zielorientierten Modellierung zur proaktiven Assistenz.
Proceedings of the Business Services: Konzepte, 2009

Business Models for E-Government - The BMeG Method.
Proceedings of the Business Services: Konzepte, 2009

Evolution in Domain Model-Based Requirements Engineering for Control Systems Development.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

How to Keep Domain Requirements Models Reasonably Sized.
Proceedings of the Second International Workshop on Managing Requirements Knowledge, 2009

Configuration Management for Realtime Simulation Software.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Mapping Requirement Models to Mathematical Models in Control System Development.
Proceedings of the Model Driven Architecture, 2009

Modellbasierte Anforderungserfassung für softwarebasierte Regelungen.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Telos: Representing Knowledge about Control Systems?
Proceedings of the First International Workshop on Managing Requirements Knowledge, 2008

Formalisierung und Automatisierung von SOPs in der Intensivmedizin.
Proceedings of the eOrganisation: Service-, Prozess-, Market-Engineering: 8. Internationale Tagung Wirtschaftsinformatik, 2007

Automating Standard Operating Procedures in Intensive Care.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Online Guideline Assist in Intensive Care Medicine - Is the login-authentication a sufficient trigger for reminders?
Proceedings of the Ubiquity: Technologies for Better Health in Aging Societies, 2006

Integration von Qualitätsdaten für Produktionsanlagen.
Proceedings of the LWA 2006: Lernen - Wissensentdeckung - Adaptivität, Hildesheim, Deutschland, October 9th-11th 2006, joint workshop event of several interest groups of the German Society for Informatics (GI) - 14th Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS 2006) - Workshop Information Retrieval 2006 of the Special Interest Group Information Retrieval (FGIR 2006) - Workshop on Knowledge and Experience Management (FGWM 2006), 2006

Individualisierbare Prozess Portale: Chancen und Einschränkungen von Prozess Management Werkzeugen in komplexen Entwicklungsprojekten.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Agent-Based Information Logistics.
Proceedings of the Multiagent Engineering, Theory and Applications in Enterprises., 2006

Dissemination of Air Quality Information: Lessons Learnt in European Field Trials.
Proceedings of the Sh@ring: 18th International Conference "Informatics for Environmental Protection", 2004


Prozessorientiertes Wissensmanagement.
Künstliche Intell., 2002

Filter and Broker: An Integrated Architecture for Information Mediation of Dynamic Sources.
J. Organ. Comput. Electron. Commer., 2002

Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Graphical Information Portals - The Application of Smart Maps in GeoNet 4D.
GeoInformatica, 2001

Project-specific Process Configuration in Virtual Enterprises.
Proceedings of the Global Engineering, 2000

Capture and Dissemination of Experience about the Construction of Engineering Processes.
Proceedings of the Advanced Information Systems Engineering, 2000

Ein modellgestützter Ansatz zur kontextspezifischen Individualisierung von Prozessmodellen.
Wirtsch., 1999

Visual Assessment of Engineering Processes in Virtual Enterprises.
Commun. ACM, 1998

Task Oriented and Similarity-Based Retrieval.
Proceedings of the Proceedings KBSE'94, 1994

Aufgabenorientierte Assistenz in projektspezifischen Entwicklungsprozessen.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Task-Oriented Development of Intelligent Information Systems.
Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

Sharing Processes: Team Coordination in Design Repositories.
Int. J. Cooperative Inf. Syst., 1992

Software Repositories.
Proceedings of the 18th International Conference on Very Large Data Bases, 1992

Expertenkooperation in Objektbanken für Entwurfsanwendungen.
Proceedings of the Objektbanken für Experten, 1992

Organizing software repositories modeling requirements and implementation experiences.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

Integrating Object and Agent Worlds.
Proceedings of the Advanced Information Systems Engineering, 1992

Entscheidungsorientiertes Konfigurationsmanagement
Informatik-Fachberichte 305, Springer, ISBN: 3-540-55383-5, 1992

Teamwork Support in a Knowledge-Based Information Systems Environment.
IEEE Trans. Software Eng., 1991

A decision based configuration process environment.
Softw. Eng. J., 1991

ConceptTalk: Kooperationsunterstützung in Softwareumgebungen.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

A software process data model for knowledge engineering in information systems.
Inf. Syst., 1990

Process management in the DAIDA environments.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

A Decision-Based Configuration Process Model.
Proceedings of the 12th International Conference on Software Engineering, 1990

Konzeptuelle Modellierung als Grundlage der Managementunterstütztung in verteilten Anwendungen.
Proceedings of the GI, 1990

Software Process Modeling as a Strategy for KBMS Implementation.
Proceedings of the Deductive and Object-Oriented Databases, 1989

Modelling software processes in a knowledge base: the case of information systems.
Knowl. Based Syst., 1988

Managing Knowledge about Information System Evolution.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Wissensbanken zur Softwareentwicklung und -wartung.
Proceedings of the Datenbanksysteme in Büro, 1987