`Travelled to:`

1 × Austria

1 × France

1 × Germany

1 × Italy

`Collaborated with:`

J.Brotherston M.I.Kanovich P.W.O'Hearn I.Sergey C.Fuhs J.A.N.Pérez S.Blackshear Reuben Rowe T.Antonopoulos C.Haase J.Ouaknine

`Talks about:`

separ (5) induct (4) logic (4) predic (3) problem (2) static (2) abduct (2) decis (2) race (2) heap (2)

## Person: Nikos Gorogiannis

### DBLP: Gorogiannis:Nikos

### Contributed to:

### Wrote 8 papers:

- FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem
- Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
- LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability
- A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.
- SAS-2014-BrotherstonG #abduction #safety #termination
- Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
- SAS-2011-GorogiannisKO #abduction #abstraction #complexity
- The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
- CADE-2017-BrotherstonGK #array #logic #problem
- Biabduction (and Related Problems) in Array Separation Logic (JB, NG, MIK), pp. 472–490.
- OOPSLA-2018-BlackshearGOS #composition #concurrent #detection #named
- RacerD: compositional static race detection (SB, NG, PWO, IS), p. 28.
- POPL-2016-BrotherstonGKR #induction #logic #model checking
- Model checking for symbolic-heap separation logic with inductive predicates (JB, NG, MIK, RR), pp. 84–96.
- POPL-2019-GorogiannisOS #detection #theorem
- A true positives theorem for a static race detector (NG, PWO, IS), p. 29.