Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Adam Koprowski" ( http://dblp.L3S.de/Authors/Adam_Koprowski )

  Author page on DBLP  Author page in RDF  Community of Adam Koprowski in ASPL-2

Publication years (Num. hits)
2005-2012 (14)
Publication types (Num. hits)
article(5) inproceedings(9)
Venues (Conferences, Journals, ...)
RTA(3) Acta Cybern.(1) Appl. Algebra Eng. Commun. Com...(1) CADE(1) CoRR(1) ESOP(1) FroCos(1) IJCAR(1) ITP(1) Logical Methods in Computer Sc...(1) Mathematical Structures in Com...(1) SOFSEM(1)
Authors
Adam Koprowski(14) Hans Zantema(3) Frédéric Blanqui(2) Henri Binsztok(2) Johannes Waldmann(2) Aart Middeldorp(1) Dan Synek(1) Eelis van der Weegen(1) Herman Geuvers(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Frédéric Blanqui, Adam Koprowski CoLoR: a Coq library on Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Frédéric Blanqui, Adam Koprowski CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Henri Binsztok TRX: A Formally Verified Parser Interpreter Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen Automated Machine-Checked Hybrid System Safety Proofs. Search on Bibsonomy ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Henri Binsztok TRX: A Formally Verified Parser Interpreter. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Johannes Waldmann Max/Plus Tree Automata for Termination of Term Rewriting. Search on Bibsonomy Acta Cybern. The full citation details ... 2009 DBLP  BibTeX  RDF
1Adam Koprowski Coq formalization of the higher-order recursive path ordering. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Johannes Waldmann Arctic Termination ...Below Zero. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Hans Zantema Certification of Proving Termination of Term Rewriting by Matrix Interpretations. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Aart Middeldorp Predictive Labeling with Dependency Pairs Using SAT. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Hans Zantema Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Adam Koprowski TPA: Termination Proved Automatically. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Adam Koprowski Certified Higher-Order Recursive Path Ordering. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Adam Koprowski, Hans Zantema Proving Liveness with Fairness Using Rewriting. Search on Bibsonomy FroCos The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.