( en | de | ru )

 

Disambiguation of "Corradi, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
Infinite derivations as failures.

, and . CILC, volume 1459 of CEUR Workshop Proceedings, page 19-24. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Krause

 

Other publications of authors with the same name

A formal account of SSA in Java-like languages., and . FTfJP@ECOOP, page 2. ACM, (2016)A hostile reputation: A social network approach to interstate hostility., , and . Soc. Networks, (2022)Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages., and . ECOOP, volume 8586 of Lecture Notes in Computer Science, page 282-307. Springer, (2014)Semantic subtyping for imperative object-oriented languages., and . OOPSLA, page 568-587. ACM, (2016)Infinite derivations as failures., and . CILC, volume 1459 of CEUR Workshop Proceedings, page 19-24. CEUR-WS.org, (2015)DeepFJig: modular composition of nested classes., , and . PPPJ, page 101-110. ACM, (2011)Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?, , , and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 31-45. Springer, (2010)DeepFJig - Modular composition of nested classes., , and . J. Object Technol., 11 (2): 1: 1-42 (2012)Computational thinking for beginners: A successful experience using Prolog., , , , , , , , , and 2 other author(s). CILC, volume 1459 of CEUR Workshop Proceedings, page 31-45. CEUR-WS.org, (2015)