Diane Bahrami

According to our database¹, Diane Bahrami authored at least 5 papers between 2002 and 2009.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2009

Symbolic Execution Techniques Extended to Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2007

Structures for Abstract Rewriting.

[BibT_eX]

[DOI]

Marc Aiguier

Diane Bahrami

J. Autom. Reason., 2007

2005

An Abstract Way to Define Rewriting Logic.

[BibT_eX]

[DOI]

Marc Aiguier

Diane Bahrami

Delphine Longuet

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

2003

Une approche générique de la réécriture.

[BibT_eX]

[DOI]

Marc Aiguier

Diane Bahrami

Tech. Sci. Informatiques, 2003

2002

On a Generalised Logicality Theorem.

[BibT_eX]

[DOI]

Marc Aiguier

Diane Bahrami

Catherine Dubois

Proceedings of the Artificial Intelligence, 2002

Diane Bahrami

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...