Andries Stam

Orcid: 0000-0002-8798-6284

According to our database1, Andries Stam authored at least 27 papers between 2002 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Advancing Smart Sustainable Seaports: Auction-Based Truck Appointment System for Automated Container Terminal.
IEEE Access, 2024

A Framework for Cognitive, Decentralized Container Orchestration.
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

2017
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


Tool Support.
Proceedings of the Enterprise Architecture at Work, 2017

2016
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

2013
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

2011
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2009
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

2008
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

2005
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

2004
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

2003

2002
A Framework for Coordinating Parallel Branch and Bound Algorithms.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002


  Loading...