Andries Stam

According to our database1, Andries Stam authored at least 23 papers between 2002 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Dynamic vehicle routing with time windows in theory and practice.
Natural Computing, 2017

Investigating agent-based inter-organizational systems and business network performance: Lessons learned from the logistics sector.
J. Enterprise Inf. Management, 2017

The seaport service rate prediction system: Using drayage truck trajectory data to predict seaport service rates.
Decision Support Systems, 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

2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

2009
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci., 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
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
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 Leveraging Applications of Formal Methods, 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
Towards a Language for Coherent Enterprise Architecture Descriptions.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

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


  Loading...