 | Adam Koprowski | | personal homepage |
| | |
|
Presentations
|  |
2010TRX: A Formally Verified Parser Interpreter
Get:
PDF
2008Certification of Termination Proofs for Term Rewriting
Get:
PDF
Termination of Rewriting and Its Certification25.09.2008,
PhD defence ceremony
,
Eidhoven University of Technology, Eindhoven, The Netherlands
Get:
PDF
Arctic Termination ... Below Zero15.07.2008,
RTA '08
,
Hagenberg, Austria
Get:
PDF
Certification of Arctic Termination07.03.2008,
TCS seminar
,
Free University, Amsterdam, The Netherlands
Get:
Abstract
PDF
Certification of proving termination of term rewriting by matrix interpretations21.01.2008,
SOFSEM '08
,
Nový Smokovec, High Tatras, Slovakia
Get:
PDF
2007Semantic labeling for proving termination of term rewriting17.12.2007,
Protheo seminar
,
Loria, Nancy, France
Get:
Abstract
PDF
Predictive Labeling with Dependency Pairs using SAT
Get:
PDF
Certification of Matrix Interpretations in Coq29.06.2007,
WST '07
,
Paris, France
Get:
PDF
Termination of Term Rewriting Meets Theorem Proving
Get:
Abstract
PDF
Certification of Matrix Interpretations in Coq
Get:
PDF
Poster: TPA - Termination Proved Automatically (revised version)22.03.2007,
NIRICT kick-off event
,
Utrecht, The Netherlands
Get:
PDF [poster]
2006Certified Higher-Order Recursive Path Ordering
Get:
PDF
TPA: Termination Proved Automatically
Get:
PDF
Topics in Termination of Term Rewriting
Get:
Abstract
PDF
Certified Higher-Order Recursive Path Ordering16.02.2006,
OAS colloqium
,
Eidhoven University of Technology, Eindhoven, The Netherlands
Get:
Abstract
PDF
2005Application of Rewriting Techniques to Verification Problems
Get:
PPT
Proving Liveness with Fairness using Rewriting27.05.2005,
TCS seminar
,
Free University, Amsterdam, The Netherlands 07.04.2005,
OAS colloqium
,
Eidhoven University of Technology, Eindhoven, The Netherlands
Get:
Abstract
PPT
Using semantic labelling with natural numbers for proving termination automatically
Get:
Abstract
PDF
Poster: TPA - Termination Proved Automatically24.06.2005,
Embedded Systems Symposium
,
Eindhoven, The Netherlands
Get:
PDF [poster]
|
|
|
|
|
|
|
|
