default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Borovanský
@inproceedings{DBLP:conf/icsr/VittekBM06,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
editor = {Maurizio Morisio},
title = {A Simple Generic Library for {C}},
booktitle = {Reuse of Off-the-Shelf Components, 9th International Conference on
Software Reuse, {ICSR} 2006, Turin, Italy, June 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4039},
pages = {423--426},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11763864\_38},
doi = {10.1007/11763864\_38},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/VittekBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/VittekBM06,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
editor = {Krzysztof Sacha},
title = {A {C++} Refactoring Browser and Method Extraction},
booktitle = {Software Engineering Techniques: Design for Quality, {SET} 2006, October
17-20, 2006, Warsaw, Poland},
series = {{IFIP}},
volume = {227},
pages = {325--336},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-39388-9\_31},
doi = {10.1007/978-0-387-39388-9\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/VittekBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/VittekBM05,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
title = {A collection of C, {C++} and Java code understanding and refactoring
plugins},
booktitle = {Proceedings of the 21st {IEEE} International Conference on Software
Maintenance - Industrial and Tool volume, {ICSM} 2005, 25-30 September
2005, Budapest, Hungary},
pages = {61--64},
year = {2005},
timestamp = {Thu, 12 Jan 2006 15:32:56 +0100},
biburl = {https://dblp.org/rec/conf/icsm/VittekBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorovanskyKKM02,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
title = {{ELAN} from a rewriting logic point of view},
journal = {Theor. Comput. Sci.},
volume = {285},
number = {2},
pages = {155--185},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00358-9},
doi = {10.1016/S0304-3975(01)00358-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BorovanskyKKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BorovanskyKKR01,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Rewriting with Strategies in {ELAN:} {A} Functional Semantics},
journal = {Int. J. Found. Comput. Sci.},
volume = {12},
number = {1},
pages = {69--95},
year = {2001},
url = {https://doi.org/10.1142/S0129054101000412},
doi = {10.1142/S0129054101000412},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BorovanskyKKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CastroB00,
author = {Carlos Castro and
Peter Borovansk{\'{y}}},
title = {The use of a strategy language for solving search problems},
journal = {Ann. Math. Artif. Intell.},
volume = {29},
number = {1-4},
pages = {35--64},
year = {2000},
url = {https://doi.org/10.1023/A:1018900617693},
doi = {10.1023/A:1018900617693},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CastroB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Borovansky98,
author = {Peter Borovansk{\'{y}}},
title = {Le contr{\^{o}}le de la r{\'{e}}{\'{e}}criture : {\'{e}}tude
et implantation d'un formalisme de strat{\'{e}}gies. (Controlling
Rewriting : Study and Implementation of a Strategy Formalism)},
school = {Henri Poincar{\'{e}} University, Nancy, France},
year = {1998},
url = {https://hal.archives-ouvertes.fr/tel-01747591},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Borovansky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BorovanskyKK98,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {A Functional View of Rewriting and Strategies for a Semantics of {ELAN}},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {143--166},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 10:47:11 +0200},
biburl = {https://dblp.org/rec/conf/flops/BorovanskyKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyC98,
author = {Peter Borovansk{\'{y}} and
Carlos Castro},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Cooperation of constraint solvers: using the new process control facilities
of {ELAN}},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {1--20},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)82549-6},
doi = {10.1016/S1571-0661(05)82549-6},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMR98,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau and
Christophe Ringeissen},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {An overview of {ELAN}},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {55--70},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)82552-6},
doi = {10.1016/S1571-0661(05)82552-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyJMR98,
author = {Peter Borovansk{\'{y}} and
Salma Jamoussi and
Pierre{-}Etienne Moreau and
Christophe Ringeissen},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Handling {ELAN} rewrite programs via an exchange format},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {173},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80011-8},
doi = {10.1016/S1571-0661(05)80011-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyJMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Borovansky98,
author = {Peter Borovansk{\'{y}}},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Controlling rewriting: study and implementation of a strategy formalism},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {299--310},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80018-0},
doi = {10.1016/S1571-0661(05)80018-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Borovansky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMV96,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau and
Marian Vittek},
editor = {Jos{\'{e}} Meseguer},
title = {{ELAN:} {A} logical framework based on computational systems},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {35--50},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00032-5},
doi = {10.1016/S1571-0661(04)00032-5},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKK96,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Jos{\'{e}} Meseguer},
title = {Controlling rewriting by rewriting},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {169--189},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00039-8},
doi = {10.1016/S1571-0661(04)00039-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Borovansky95,
author = {Peter Borovansk{\'{y}}},
editor = {Miroslav Bartosek and
Jan Staudek and
Jir{\'{\i}} Wiedermann},
title = {Implementation of Higher-Order Unification Based on Calculus of Explicit
Substitution},
booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice
of Informatics, Milovy, Czech Republic, November 23 - December 1,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1012},
pages = {363--368},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60609-2\_18},
doi = {10.1007/3-540-60609-2\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Borovansky95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
