Kidane Yemane

According to our database¹, Kidane Yemane authored at least 4 papers between 2004 and 2006.

Collaborative distances:

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

Timeline

2004

2005

2006

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2006

Relations in Models of Calculi and Logics with Names.

[BibT_eX]

[DOI]

Kidane Yemane

PhD thesis, 2006

2005

A Unifying Model of Variables and Names.

[BibT_eX]

[DOI]

Marino Miculan

Kidane Yemane

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Modelling Fusion Calculus using HD-Automata.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Relationally Staged Computations in Calculi of Mobile Processes.

[BibT_eX]

[DOI]

Neil Ghani

Kidane Yemane

Björn Victor

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Kidane Yemane

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...