Sava Krstić

Available identifiers

zbMath Open krstic.sava-aMaRDI QIDQ1064406

List of research outcomes

Publication	Date of Publication	Type
Coroutining folds with hyperfunctions	2021-06-21	Paper
Mothers of pipelines	2013-12-06	Paper
Tool building requirements for an API to first-order solvers	2013-09-26	Paper
Quantifier instantiation techniques for finite model finding in SMT	2013-06-14	Paper
Ground interpolation for the theory of equality	2012-04-03	Paper
Canonization for disjoint unions of theories.	2010-04-20	Paper
Ground Interpolation for Combined Theories	2009-07-28	Paper
Ground Interpolation for the Theory of Equality	2009-03-31	Paper
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL	2008-09-16	Paper
Combined Satisfiability Modulo Parametric Theories	2007-09-03	Paper
Strategies for combining decision procedures	2006-04-28	Paper
Canonization for disjoint unions of theories	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4417954	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2769437	2002-02-05	Paper
Crossing matrices and Thurston's normal form for braids.	2002-01-01	Paper
An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms	2001-11-13	Paper
Normal Forms for Basis-Conjugating Automorphisms of a Free Group	2000-05-10	Paper
Presenting \(GL_n (k\langle T\rangle)\)	2000-02-06	Paper
The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two	1999-03-18	Paper
The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)	1998-02-09	Paper
Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups	1997-07-14	Paper
Free quotients of 𝑆𝐿₂(𝑅[𝑥])	1997-05-13	Paper
Equivariant outer space and automorphisms of free-by-finite groups	1995-02-05	Paper
Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3487637	1990-01-01	Paper
On Graphs Representing Automorphisms of Free Groups	1989-01-01	Paper
Actions of finite groups of graphs and related automorphisms of free groups	1989-01-01	Paper
A uniqueness decomposition theorem for actions of finite groups on free groups	1989-01-01	Paper
Fixed subgroups of automorphisms of free by finite groups: an extension of Cooper's proof	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3739364	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3770716	1985-01-01	Paper
Systems of equations over locally \(p\)-indicable groups	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3770717	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718924	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3337641	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037643	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926787	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3943126	1980-01-01	Paper

Research outcomes over time

This page was built for person: Sava Krstić