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

2007

Connector colouring I: Synchronisation and context dependency.

[BibT_eX]

[DOI]

Dave Clarke

David Costa

Farhad Arbab

Sci. Comput. Program., 2007

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

2004

Modelling Coordination in Biological Systems.

[BibT_eX]

Dave Clarke

David Costa

Farhad Arbab

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

David Costa

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...