( en | de | ru )

 

Disambiguierung von "Giunchiglia, Fausto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.

, , , und . SAFECOMP, Volume 1516 von Lecture Notes in Computer Science, Seite 221-230. Springer, (1998)

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.

Fausto Orestano

Fausto Carrasco

Fausto Orestano

Fausto Orestano

Fausto Guzzetti

 

Weitere Publikationen von Autoren mit dem selben Namen

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code., und . IJCAI, Seite 111-117. Morgan Kaufmann, (1991)Events as media and knowlege aggregators.. EIMM@MM, Seite 21-22. ACM, (2010)Formal Specification of Beliefs in Multi-Agent Systems., , , , und . ATAL, Volume 1193 von Lecture Notes in Computer Science, Seite 117-130. Springer, (1996)Mobile social media usage and academic performance., , , , und . CoRR, (2020)A Context Model for Personal Data Streams., , , und . APWeb/WAIM (1), Volume 13421 von Lecture Notes in Computer Science, Seite 37-44. Springer, (2022)Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship., , , , , , , , und . LREC, Seite 2798-2807. European Language Resources Association, (2022)Exploring the Language of Data., , und . COLING, Seite 6638-6648. International Committee on Computational Linguistics, (2020)A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction., , , , , , und . EMNLP, Seite 10027-10039. Association for Computational Linguistics, (2022)An Architecture and a Methodology Enabling Interoperability within and across Universities., , , und . ICKG, Seite 71-78. IEEE, (2022)Towards an Optimal Solution to Lemmatization in Arabic., , , und . ACLING, Volume 142 von Procedia Computer Science, Seite 132-140. Elsevier, (2018)