Peter Borovanský
According to our database1,
Peter Borovanský
authored at least 15 papers
between 1995 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1996
1998
2000
2002
2004
2006
0
1
2
3
4
5
6
7
1
1
1
2
1
5
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Proceedings of the Software Engineering Techniques: Design for Quality, 2006
Proceedings of the Reuse of Off-the-Shelf Components, 2006
2005
A collection of C, C++ and Java code understanding and refactoring plugins.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005
2002
2001
Int. J. Found. Comput. Sci., 2001
2000
Ann. Math. Artif. Intell., 2000
1998
Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies. (Controlling Rewriting : Study and Implementation of a Strategy Formalism).
PhD thesis, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
A Functional View of Rewriting and Strategies for a Semantics of ELAN.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
1995
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.
Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995