Alexander Serebrenik

Available identifiers

zbMath Open serebrenik.alexanderMaRDI QIDQ199250

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Serebrenik