( en | de | ru )

 

Disambiguierung von "Segura, Clara"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interactive Learning of Data Structures and Algorithmic Schemes.

, , , , und . ICCS (1), Volume 5101 von Lecture Notes in Computer Science, Seite 800-809. Springer, (2008)

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.

Mario Clara

Martin Clara

Johan Segura

Nicole Clara

Christophe Claramunt

 

Weitere Publikationen von Autoren mit dem selben Namen

Liquid Types for Array Invariant Synthesis., , , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 289-306. Springer, (2017)An Inference Algorithm for Guaranteeing Safe Destruction., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 135-151. Springer, (2008)Adding Traces to a Lazy Monadic Evaluator., , , und . EUROCAST, Volume 2178 von Lecture Notes in Computer Science, Seite 627-641. Springer, (2001)Bypassing of Channels in Eden., , und . Scottish Functional Programming Workshop, Volume 1 von Trends in Functional Programming, Seite 2-10. Intellect, (1999)A type system for safe memory management and its proof of correctness., , und . PPDP, Seite 152-162. ACM, (2008)Deriving Non-Hierarchical Process Topologies., , und . Scottish Functional Programming Workshop, Volume 3 von Trends in Functional Programming, Seite 51-62. Intellect, (2001)Optimising Eden by transformation., , , und . Scottish Functional Programming Workshop, Volume 2 von Trends in Functional Programming, Seite 13-26. Intellect, (2000)Shape analysis in a functional language by using regular languages., , und . PPDP, Seite 251-262. ACM, (2013)Non-determinism Analysis in a Parallel-Functional Language., und . IFL, Volume 2011 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2000)A Simple Region Inference Algorithm for a First-Order Functional Language., , und . WFLP, Volume 5979 von Lecture Notes in Computer Science, Seite 145-161. Springer, (2009)