( en | de | ru )

 

Disambiguierung von "Amato, Gianluca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling Web Applications by the Multiple Levels of Integrity Policy.

, , , , und . WWV, DSIC-II/03/05, Seite 161-175. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)

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.

Eugenio Amato

Giuseppe Amato

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimality in goal-dependent analysis of Sharing., und . Theory Pract. Log. Program., 9 (5): 617-689 (2009)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , und . FTfJP@ECOOP, Seite 15-17. ACM, (2022)Indexed Categories and Bottom-Up Semantics of Logic Programs., und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 438-454. Springer, (2001)Efficient Constraint/Generator Removal from Double Description of Polyhedra., , und . NSAD, Volume 307 von Electronic Notes in Theoretical Computer Science, Seite 3-15. Elsevier, (2014)Increasing biases can be more efficient than increasing weights., , , , , , , , , und . WACV, Seite 2798-2807. IEEE, (2024)Narrowing Operators on Template Abstract Domains., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 57-72. Springer, (2015)Modeling Web Applications by the Multiple Levels of Integrity Policy., , , , und . WWV, DSIC-II/03/05, Seite 161-175. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata., und . MIG, Volume 7660 von Lecture Notes in Computer Science, Seite 378-381. Springer, (2012)Numerical static analysis with Soot., , und . SOAP@PLDI, Seite 25-30. ACM, (2013)Descending chains and narrowing on template abstract domains., , , und . Acta Informatica, 55 (6): 521-545 (2018)