Peter Borovanský

Publications

835

Citations

H-Index

1996

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre National de la Recherche Scientifique

Comenius University Bratislava

Centre Inria de l'Université de Lorraine

Peter Borovanský is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSystem SoftwareProgram AnalysisFormal VerificationSoftware DesignSoftware AnalysisSoftware Engineering

Publications per year

1996–2002

Publications

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1998 · 397 citations · Full text

Engineering, Software Engineering, Software Analysis +24

ELAN from a rewriting logic point of view

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau · Theoretical Computer Science · 2002 · 126 citations

Logic Point, Engineering, Automated Reasoning +5

ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1996 · 122 citations · Full text

Programming Language Theory, Formal Specification, Engineering +15

REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Peter Borovanský, Claude Kirchner, Christophe Ringeissen · International Journal of Foundations of Computer Science · 2001 · 99 citations · Full text

Engineering, Semantics, Syntax +17

Controlling Rewriting by Rewriting

Peter Borovanský, Claude Kirchner · Electronic Notes in Theoretical Computer Science · 1996 · 44 citations · Full text

Strategy Language, Declarative Programming, Engineering +15

Rows per page

1–5 of 8