( en | de | ru )

 

Disambiguierung von "Cortesi, Agostino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Verification of Behavioural Properties of Prolog Programs.

, , , und . ASIAN, Volume 1345 von Lecture Notes in Computer Science, Seite 225-238. Springer, (1997)

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.

Antonio Cortesi

Agostino Mazziotta

Bernhard Cortesi

Agostino Sottili

Agostino Portera

 

Weitere Publikationen von Autoren mit dem selben Namen

Sentence Embedding Models for Similarity Detection of Software Requirements., , , und . SN Comput. Sci., 2 (1): 69 (2021)The Quotient of an Abstract Interpretation., , und . Theor. Comput. Sci., 202 (1-2): 163-192 (1998)Distortion-Free Authentication Watermarking., und . ICSOFT (Selected Papers), Volume 170 von Communications in Computer and Information Science, Seite 205-219. Springer, (2010)Boundary Inference for Enforcing Security Policies in Mobile Ambients., , , und . IFIP TCS, Volume 223 von IFIP Conference Proceedings, Seite 383-395. Kluwer, (2002)Non-repudiation analysis using LySa with annotations., und . Comput. Lang. Syst. Struct., 36 (4): 352-377 (2010)KPI-Supported PDCA Model for Innovation Policy Management in Local Government., und . EGOV, Volume 6846 von Lecture Notes in Computer Science, Seite 320-331. Springer, (2011)A Generic Distortion Free Watermarking Technique for Relational Databases., und . ICISS, Volume 5905 von Lecture Notes in Computer Science, Seite 252-264. Springer, (2009)Ensuring determinism in blockchain software with GoLiSA: an industrial experience report., , , , , , , , und . SOAP@PLDI, Seite 23-29. ACM, (2022)Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems., , , , , , und . EuroS&P Workshops, Seite 57-66. IEEE, (2019)Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis, , und . LICS, Seite 322-327. IEEE Computer Society, (1991)