Ori Lahav - Wissenschaftliche Veröffentlichungen

(1 - 7 von 7

)

dblp: Ori Lahav

dblp.uni-trier.de

List of computer science publications by Ori Lahav

Ori Lahav - DBLPdblp.org › Persons

dblp.org

Azalea Raad, Ori Lahav, Viktor Vafeiadis: Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86.

Ori Lahav - DBLP

dblp.uni-trier.de

› pid

Search results for "Katerina J. Argyraki" – FacetedDBLP

dblp.l3s.uni-hannover.de

Found 46 publication records. Showing 45 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Aurojit Panda, Ori Lahav

dblp: Yoni Zohar

dblp.uni-trier.de

List of computer science publications by Yoni Zohar

Search results for "Yuri Gurevich" – FacetedDBLP

dblp.l3s.uni-hannover.de

Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev: Primal Infon Logic with Conjunctions as Sets. IFIP TCS : 2014: DBLP DOI BibTeX RDF: 1: Andreas Blass, Yuri