David Costa

Affiliations:

Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands

According to our database¹, David Costa authored at least 5 papers between 2004 and 2011.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2011

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).

[BibT_eX]

[DOI]

David Costa

Milad Niqui

Jan J. M. M. Rutten

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2008

Reconfiguration of Reo Connectors Triggered by Dataflow.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2006

Synthesis of Mealy Machines Using Derivatives.

[BibT_eX]

[DOI]

Helle Hvid Hansen

David Costa

Jan J. M. M. Rutten

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2005

Connector Colouring I: Synchronisation and Context Dependency.

[BibT_eX]

[DOI]

Dave Clarke

David Costa

Farhad Arbab

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

2004

Modelling Coordination in Biological Systems.

[BibT_eX]

[DOI]

Dave Clarke

David Costa

Farhad Arbab

Proceedings of the Leveraging Applications of Formal Methods, 2004

David Costa

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...