( en | de | ru )

 

Disambiguierung von "Formisano, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strong Equivalence of RASP Programs.

, , und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 149-163. Springer, (2012)

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.

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 Calker

 

Weitere Publikationen von Autoren mit dem selben Namen

2D object reconstruction with ASP., , und . CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 132-146. CEUR-WS.org, (2018)Preferences and Priorities in ASP., und . CILC, Volume 857 von CEUR Workshop Proceedings, Seite 47-58. CEUR-WS.org, (2012)ProdProc - Product and Production Process Modeling and Configuration., und . CILC, Volume 810 von CEUR Workshop Proceedings, Seite 261-279. CEUR-WS.org, (2011)Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 336-353. Springer, (2023)A GPU Implementation of the ASP Computation., , , und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2016)Multivalued Action Languages with Constraints in CLP(FD)., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 255-270. Springer, (2007)Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract)., und . AAMAS, Seite 1311-1312. ACM, (2016)Answer Set Programming with Resources, und . J Logic Computation, (06.11.2009)Modeling preferences and conditional preferences on resource consumption and production in ASP, und . Journal of of Algorithms in Cognition, Informatics and Logic, 64 (1): 3--15 (2009)Cognitive Aspects in Epistemic Logic L-DINF., , und . CAKR@IJCAI, Volume 3251 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)