( en | de | ru )

 

Disambiguierung von "Svendsen, Kasper"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Separation Logic for Fictional Sequential Consistency.

, , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 736-761. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marion Svendsen

Bob Svendsen

Gert Tinggard Svendsen

Christian Kasper

Untersuchung zur Seitenwandkonturierung für Gasturbinen an einem Ringgitter-Wasserkanal. Uni Stuttgart, (2009)

Stefan Nordgaard Svendsen

 

Weitere Publikationen von Autoren mit dem selben Namen

A Separation Logic for Fictional Sequential Consistency., , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 736-761. Springer, (2015)Modular Reasoning about Separation of Concurrent Data Structures., , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 169-188. Springer, (2013)Impredicative Concurrent Abstract Predicates., und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 149-168. Springer, (2014)A relational model of types-and-effects in higher-order concurrent separation logic., , und . POPL, Seite 218-231. ACM, (2017)Partiality, State and Dependent Types., , und . TLCA, Volume 6690 von Lecture Notes in Computer Science, Seite 198-212. Springer, (2011)Design patterns in separation logic., , , , und . TLDI, Seite 105-116. ACM, (2009)Verifying Generics and Delegates., , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 175-199. Springer, (2010)Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library., , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 327-351. Springer, (2013)Transfinite Step-Indexing: Decoupling Concrete and Logical Steps., , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 727-751. Springer, (2016)Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , und . POPL, Seite 637-650. ACM, (2015)