Advancing Smart Sustainable Seaports: Auction-Based Truck Appointment System for Automated Container Terminal.
IEEE Access, 2024
Trusted SMEs for Sustainable Growth of Europeans Economical Backbone to Strengthen the Digital Sovereignty: The KDT Resilient Trust Project.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 27th Euromicro Conference on Digital System Design, 2024
Dynamic vehicle routing with time windows in theory and practice.
Nat. Comput., 2017
Investigating agent-based inter-organizational systems and business network performance: Lessons learned from the logistics sector.
J. Enterp. Inf. Manag., 2017
The seaport service rate prediction system: Using drayage truck trajectory data to predict seaport service rates.
Decis. Support Syst., 2017
KRISTINA: A Knowledge-Based Virtual Conversation Agent.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection, 2017
Proceedings of the Enterprise Architecture at Work, 2017
Proceedings of the Enterprise Architecture at Work, 2017
Towards a Multimedia Knowledge-Based Agent with Social Competence and Human Interaction Capabilities.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 1st International Workshop on Multimedia Analysis and Retrieval for Multimodal Interaction, 2016
A Generic Architecture for Demand Response: The ALL4Green Approach.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
Proceedings of the Formal Methods and Software Engineering, 2009
The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008
The ASK System and the Challenge of Distributed Knowledge Discovery.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
Towards composition of distributed evolving services: the Credo approach (invited paper).
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
Paradigm as Organization-Oriented Coordination Language.
Proceedings of the First International Workshop on Coordination and Organisation, 2005
Change impact analysis of enterprise architectures.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005
Enterprise Architecture Analysis with XML.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
Using XML Transformations for Enterprise Architectures.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
A Logical Viewpoint on Architectures.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004
Towards a Language for Coherent Enterprise Architecture Descriptions.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003
A Framework for Coordinating Parallel Branch and Bound Algorithms.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002