Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Alexander Serebrenik - MaRDI portal

Alexander Serebrenik

From MaRDI portal
(Redirected from Person:427709)
Person:199250

Available identifiers

zbMath Open serebrenik.alexanderMaRDI QIDQ199250

List of research outcomes





PublicationDate of PublicationType
Lessons for interactive theorem proving researchers from a survey of Coq users2024-11-26Paper
Automated termination proofs for logic programs by term rewriting2015-09-17Paper
https://portal.mardi4nfdi.de/entity/Q28510742013-10-02Paper
Code generation with templates2012-06-14Paper
On Termination of Meta-programs2011-05-06Paper
Inference of Termination Conditions for Numerical Loops in Prolog2011-05-06Paper
Automated termination analysis for logic programs with cut2010-08-19Paper
Can I find a partner? Undecidability of partner existence for open nets2010-06-09Paper
Process Discovery using Integer Linear Programming2009-11-30Paper
Nested Nets for Adaptive Systems2009-04-02Paper
History-Dependent Petri Nets2009-03-11Paper
https://portal.mardi4nfdi.de/entity/Q36018672009-02-12Paper
https://portal.mardi4nfdi.de/entity/Q55063692009-01-28Paper
Process Discovery Using Integer Linear Programming2008-07-03Paper
On Termination of Binary CLP Programs2008-04-24Paper
Improving Prolog programs: Refactoring for Prolog2008-03-27Paper
Recurrence with affine level mappings is P-time decidable for CLP2008-01-21Paper
https://portal.mardi4nfdi.de/entity/Q54222822007-10-17Paper
Automated Termination Analysis for Logic Programs by Term Rewriting2007-09-10Paper
Termination of floating-point computations2006-11-03Paper
On termination of meta-programs2006-02-08Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper
Program Development in Computational Logic2005-12-23Paper
Applications and Theory of Petri Nets 20052005-12-14Paper
Logic Programming2005-08-26Paper
Inference of termination conditions for numerical loops in Prolog2005-04-15Paper
https://portal.mardi4nfdi.de/entity/Q44218722003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q44119562003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q47077392003-06-11Paper
A general framework for automatic termination analysis od logic programs2001-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44992422001-03-05Paper

Research outcomes over time

This page was built for person: Alexander Serebrenik