Alexander Serebrenik

Available identifiers

zbMath Open serebrenik.alexanderMaRDI QIDQ199250

List of research outcomes

Publication	Date of Publication	Type
Lessons for interactive theorem proving researchers from a survey of Coq users	2024-11-26	Paper
Automated termination proofs for logic programs by term rewriting	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2851074	2013-10-02	Paper
Code generation with templates	2012-06-14	Paper
On Termination of Meta-programs	2011-05-06	Paper
Inference of Termination Conditions for Numerical Loops in Prolog	2011-05-06	Paper
Automated termination analysis for logic programs with cut	2010-08-19	Paper
Can I find a partner? Undecidability of partner existence for open nets	2010-06-09	Paper
Process Discovery using Integer Linear Programming	2009-11-30	Paper
Nested Nets for Adaptive Systems	2009-04-02	Paper
History-Dependent Petri Nets	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q3601867	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5506369	2009-01-28	Paper
Process Discovery Using Integer Linear Programming	2008-07-03	Paper
On Termination of Binary CLP Programs	2008-04-24	Paper
Improving Prolog programs: Refactoring for Prolog	2008-03-27	Paper
Recurrence with affine level mappings is P-time decidable for CLP	2008-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5422282	2007-10-17	Paper
Automated Termination Analysis for Logic Programs by Term Rewriting	2007-09-10	Paper
Termination of floating-point computations	2006-11-03	Paper
On termination of meta-programs	2006-02-08	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Program Development in Computational Logic	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Logic Programming	2005-08-26	Paper
Inference of termination conditions for numerical loops in Prolog	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4421872	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411956	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4707739	2003-06-11	Paper
A general framework for automatic termination analysis od logic programs	2001-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4499242	2001-03-05	Paper

Research outcomes over time

This page was built for person: Alexander Serebrenik