Cornelia Pusch
According to our database1,
Cornelia Pusch
authored at least 4 papers
between 1996 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
1996
1997
1998
1999
2000
2001
2002
2003
2004
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
1998
1996
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996