Concepedia

Adam Koprowski

AK

Statistics

Publications

4

Citations

140

H-Index

4

Active since

2006

Affiliations

Tsinghua University(Current)

Adam Koprowski is an author at Tsinghua University specializing in computer science, termination analysis, and termination proofs.

Publications per year

2006–2011

4

Publications

4

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Frédéric Blanqui, Adam Koprowski · Mathematical Structures in Computer Science · 2011 · 46 citations · Full text

Computing, Computer Science, Computational Linguistics +14

CoLoR : a Coq library on rewriting and termination

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel et al. · TU/e Research Portal (Eindhoven University of Technology) · 2006 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +13

Termination of rewriting and its certification

Adam Koprowski · Data Archiving and Networked Services (DANS) · 2008 · 37 citations · Full text

Computing, Computer Science, Formal Methods +12

Max/plus tree automata for termination of term rewriting

Adam Koprowski, Johannes Waldmann · 2009 · 19 citations · Full text

Computing, Computer Science, Algorithms +16

1–4 of 4