Concepedia

Sava Krstić

SK

14

Publications

358

Citations

12

H-Index

1989

Active since

Affiliations

Intel (United States)(Current)

Arheološki Institut

Cornell University

Université Paris-Sud

Intel (United Kingdom)

Sava Krstić is an author at Intel (United States) specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomated ReasoningFormal VerificationComputer EngineeringRepresentation TheoryVerificationFormal MethodsProgram Analysis

Publications per year

1989–2018

14

Publications

14

Equivariant outer space and automorphisms of free-by-finite groups

Sava Krstić, Karen Vogtmann · Commentarii Mathematici Helvetici · 1993 · 47 citations

Representation Theory, Equivariant Outer Space, Frattini Subgroup +2

The non-finite presentability of IA ( F 3 ) and GL 2 (Z[ t, t −1 ])

Sava Krstić, James McCool · Inventiones mathematicae · 1997 · 44 citations

Lie Group, Representation Theory, F 3 +3

Synchronous Elastic Networks

Sava Krstić, Jordi Cortadella, Mike Kishinevsky et al. · 2006 · 36 citations · Full text

Cluster Computing, Engineering, Network Operation +17

Invariants for finite instances and beyond

Sylvain Conchon, Amit Kumar Goel, Sava Krstić et al. · 2013 · 35 citations · Full text

Program Checking, Engineering, Verification +17

Actions of finite groups on graphs and related automorphisms of free groups

Sava Krstić · Journal of Algebra · 1989 · 33 citations

Graph Minor, Graph Theory, Algebraic Graph Theory +5

Rows per page

1–5 of 14