default search action

combined dblp search
author search
venue search
publication search

ask others

Egor George Karpenkov

George Karpenkov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/Karpenkov17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Karpenkov17
Egor George Karpenkov:
Finding inductive invariants using satisfiability modulo theories and convex optimization. (Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe). Grenoble Alpes University, France, 2017

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KarpenkovM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KarpenkovM16
Egor George Karpenkov, David Monniaux:
Formula Slicing: Inductive Invariants from Preconditions. Haifa Verification Conference 2016: 169-185
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Karpenkov16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Karpenkov16
Egor George Karpenkov:
LPI: Software Verification with Local Policy Iteration - (Competition Contribution). TACAS 2016: 930-933
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KarpenkovMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KarpenkovMW16
Egor George Karpenkov, David Monniaux, Philipp Wendler:
Program Analysis with Local Policy Iteration. VMCAI 2016: 127-146
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KarpenkovF016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KarpenkovF016
Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer:
JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE 2016: 139-148

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KarpenkovM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KarpenkovM16
Egor George Karpenkov, David Monniaux:
Formula Slicing: Inductive Invariants from Preconditions. CoRR abs/1609.09288 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KarpenkovMW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KarpenkovMW15
George Karpenkov, David Monniaux, Philipp Wendler:
Program Analysis with Local Policy Iteration. CoRR abs/1509.03424 (2015)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.