Fausto Giunchiglia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
117
Venues
51
Active years
1983–2026
Best venue rank
A*
Where they publish
- AECAI12 papers
- A*IJCAI10 papers
- A*AAAI6 papers
- A*ACL6 papers
- A*WWW6 papers
- MulticonferenceICASSP4 papers
- BLREC4 papers
- A*KR4 papers
- A*PERCOM4 papers
- A*CAV4 papers
- CCLEI3 papers
- BCogSci3 papers
- CFOIS3 papers
- ACADE3 papers
- A*CHI2 papers
- A*ICDE2 papers
- A*EMNLP2 papers
- A*SIGIR2 papers
- BCOLING2 papers
- CSEKE2 papers
- ATACAS2 papers
- BSAFECOMP2 papers
- A*KDD1 paper
- BGI1 paper
- BITiCSE1 paper
- A*ICLR1 paper
- CAPWEB1 paper
- ACaiSE1 paper
- CMobiquitous1 paper
- CWorldCIST1 paper
- CAIES1 paper
- MulticonferenceICCS1 paper
- CEUMAS1 paper
- BPRICAI1 paper
- CCICLING1 paper
- AER1 paper
- AECIR1 paper
- BInteract1 paper
- BEKAW1 paper
- CIC3K1 paper
- BMMM1 paper
- A*CVPR1 paper
- BSMC1 paper
- NationalEuroPLop1 paper
- BNSS1 paper
- CFORTE1 paper
- AustralasianAISC1 paper
- AustralasianAI1 paper
- CLOPSTR1 paper
- BLPAR1 paper
- NationalAIMSA1 paper
Papers
117 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | SPARD: Single-step Inference with Adaptive Sampling in Residual Diffusion for Human Motion Prediction. | Yiming Zhang, Baojia Han, Ximing Li, Wei Pang, Fausto Giunchiglia, Xiaoyue Feng, Renchu Guan |
| 2026 | ACL | From Fake to Real: Mitigating Out-of-Distribution Bias in In-Context Learning via Feedback Supervision from Large Language Models. | Rui Song, Yingji Li, Jian Li, Fausto Giunchiglia, Hao Xu |
| 2026 | ACL | Toward Robust In-Context Learning: Leveraging Out-of-distribution Proxies for Target Inaccessible Demonstration Retrieval. | Hao Xu, Rite Bo, Fausto Giunchiglia, Yingji Li, Rui Song |
| 2026 | WWW | Simple-Sampling and Hard-Mixup with Prototypes to Rebalance Contrastive Learning for Text Classification. | Mengyu Li, Yonghao Liu, Fausto Giunchiglia, Ximing Li, Xiaoyue Feng, Renchu Guan |
| 2025 | AAAI | A Simple Graph Contrastive Learning Framework for Short Text Classification. | Yonghao Liu, Fausto Giunchiglia, Lan Huang, Ximing Li, Xiaoyue Feng, Renchu Guan |
| 2025 | AAAI | Boosting Short Text Classification with Multi-Source Information Exploration and Dual-Level Contrastive Learning. | Yonghao Liu, Mengyu Li, Wei Pang, Fausto Giunchiglia, Lan Huang, Xiaoyue Feng, Renchu Guan |
| 2025 | ICASSP | Dual-Pyramid Attention Collaborative Network for Oracle Bone Inscription Classification. | Jiaying Gao, Fausto Giunchiglia, Tongyu Zhao, Chuntao Li, Hao Xu |
| 2025 | ICASSP | Annealing Distillation Algorithm for Transferring Unsupervised Clustering Knowledge to Supervised Student Models. | Jiaying Gao, Fausto Giunchiglia, Tongyu Zhao, Hao Xu |
| 2025 | KDD | Enhancing Unsupervised Graph Few-shot Learning via Set Functions and Optimal Transport. | Yonghao Liu, Fausto Giunchiglia, Ximing Li, Lan Huang, Xiaoyue Feng, Renchu Guan |
| 2025 | WWW | Dual-level Mixup for Graph Few-shot Learning with Fewer Tasks. | Yonghao Liu, Mengyu Li, Fausto Giunchiglia, Lan Huang, Ximing Li, Xiaoyue Feng, Renchu Guan |
| 2024 | AAAI | TACIT: A Target-Agnostic Feature Disentanglement Framework for Cross-Domain Text Classification. | Rui Song, Fausto Giunchiglia, Yingji Li, Mingjie Tian, Hao Xu |
| 2024 | AAAI | Improved Graph Contrastive Learning for Short Text Classification. | Yonghao Liu, Lan Huang, Fausto Giunchiglia, Xiaoyue Feng, Renchu Guan |
| 2024 | ACL | Ancient Chinese Glyph Identification Powered by Radical Semantics. | Yang Chi, Fausto Giunchiglia, Chuntao Li, Hao Xu |
| 2024 | ECAI | Big-Thick Data Generation via Reference and Personal Context Unification. | Fausto Giunchiglia, Xiaoyue Li |
| 2024 | GI | A Methodology and System For Big-Thick Data Collection. | Ivan Kayongo, Haonan Zhao, Leonardo Malcotti, Fausto Giunchiglia |
| 2024 | IJCAI | Resolving Word Vagueness with Scenario-guided Adapter for Natural Language Inference. | Yonghao Liu, Mengyu Li, Di Liang, Ximing Li, Fausto Giunchiglia, Lan Huang, Xiaoyue Feng, Renchu Guan |
| 2024 | ITiCSE | Artificial Intelligence in Everyday Life 2.0: Educating University Students from Different Majors. | Maria Kasinidou, Styliani Kleanthous, Matteo Busso, Marcelo Dario Rodas Britez, Jahna Otterbacher, Fausto Giunchiglia |
| 2024 | WWW | A Simple but Effective Approach for Unsupervised Few-Shot Graph Classification. | Yonghao Liu, Lan Huang, Bowen Cao, Ximing Li, Fausto Giunchiglia, Xiaoyue Feng, Renchu Guan |
| 2023 | CHI | Complex Daily Activities, Country-Level Diversity, and Smartphone Sensing: A Study in Denmark, Italy, Mongolia, Paraguay, and UK. | Karim Assi, Lakmal Meegahapola, William Droz, Peter Kun, Amalia de Gtzen, Miriam Bidoglia, Sally Stares, George Gaskell, Altangerel Chagnaa, Amarsanaa Ganbold, Tsolmon Zundui, Carlo Caprini, Daniele Miorandi, Jos Luis Zarza, Alethia Hume, Luca Cernuzzi, Ivano Bison, Marcelo Dario Rodas Britez, Matteo Busso, Ronald Chenu-Abente, Fausto Giunchiglia, Daniel Gatica-Perez |
| 2023 | CLEI | Integration of Social Interaction-Based Applications with the WeNet Platform. | Matas Irala, Alethia Hume, Fausto Giunchiglia, Luca Cernuzzi |
| 2023 | CogSci | Personalized multi-task attention for multimodal mental health detection and explanation. | Donglei Song, Qiang Shen, Haotian Feng, Rui Song, Fausto Giunchiglia, Hao Xu |
| 2023 | CogSci | Improving Ontology Translation from Disentangled Semantic and Language Representations. | Mingjie Tian, Fausto Giunchiglia, Hao Xu |
| 2023 | ECAI | A Semantics-Driven Methodology for High-Quality Image Annotation. | Fausto Giunchiglia, Mayukh Bagchi, Xiaolei Diao |
| 2023 | FOIS | Recognizing Entity Types via Properties. | Daqian Shi, Fausto Giunchiglia |
| 2023 | ICASSP | Incremental Image Labeling Via Iterative Refinement. | Fausto Giunchiglia, Xiaolei Diao, Mayukh Bagchi |
| 2023 | ICASSP | Enhancing Ontology Translation Through Cross-Lingual Agreement. | Mingjie Tian, Fausto Giunchiglia, Rui Song, Xing Chen, Hao Xu |
| 2023 | ICDE | Deep Feature-Based Text Clustering and Its Explanation. | Renchu Guan, Hao Zhang, Yanchun Liang, Fausto Giunchiglia, Lan Huang, Xiaoyue Feng |
| 2023 | ICLR | Concept-level Debugging of Part-Prototype Networks. | Andrea Bontempelli, Stefano Teso, Katya Tentori, Fausto Giunchiglia, Andrea Passerini |
| 2023 | IJCAI | Local and Global: Temporal Question Answering via Information Fusion. | Yonghao Liu, Di Liang, Mengyu Li, Fausto Giunchiglia, Ximing Li, Sirui Wang, Wei Wu, Lan Huang, Xiaoyue Feng, Renchu Guan |
| 2022 | ACL | Language Diversity: Visible to Humans, Exploitable by Machines. | Gbor Bella, Erdenebileg Byambadorj, Yamini Chandrashekar, Khuyagbaatar Batsuren, Danish Ashgar Cheema, Fausto Giunchiglia |
| 2022 | ACL | ZiNet: Linking Chinese Characters Spanning Three Thousand Years. | Yang Chi, Fausto Giunchiglia, Daqian Shi, Xiaolei Diao, Chuntao Li, Hao Xu |
| 2022 | APWEB | A Context Model for Personal Data Streams. | Fausto Giunchiglia, Xiaoyue Li, Matteo Busso, Marcelo Dario Rodas Britez |
| 2022 | CaiSE | Representing Habits as Streams of Situational Contexts. | Xiaoyue Li, Marcelo Dario Rodas Britez, Matteo Busso, Fausto Giunchiglia |
| 2022 | CogSci | Metonymy as a Universal Cognitive Phenomenon: Evidence from Multilingual Lexicons. | Temuulen Khishigsuren, Gbor Bella, Thomas Brochhagen, Daariimaa Marav, Fausto Giunchiglia, Khuyagbaatar Batsuren |
| 2022 | EMNLP | A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction. | Lida Shi, Fausto Giunchiglia, Rui Song, Daqian Shi, Tongtong Liu, Xiaolei Diao, Hao Xu |
| 2022 | IJCAI | Federated Multi-Task Attention for Cross-Individual Human Activity Recognition. | Qiang Shen, Haotian Feng, Rui Song, Stefano Teso, Fausto Giunchiglia, Hao Xu |
| 2022 | LREC | UniMorph 4.0: Universal Morphology. | Khuyagbaatar Batsuren, Omer Goldman, Salam Khalifa, Nizar Habash, Witold Kieras, Gbor Bella, Brian Leonard, Garrett Nicolai, Kyle Gorman, Yustinus Ghanggo Ate, Maria Ryskina, Sabrina J. Mielke, Elena Budianskaya, Charbel El-Khaissi, Tiago Pimentel, Michael Gasser, William Abbott Lane, Mohit Raj, Matt Coler, Jaime Rafael Montoya Samame, Delio Siticonatzi Camaiteri, Esa Zumaeta Rojas, Didier Lpez Francis, Arturo Oncevay, Juan Lpez Bautista, Gema Celeste Silva Villegas, Lucas Torroba Hennigen, Adam Ek, David Guriel, Peter Dirix, Jean-Philippe Bernardy, Andrey Scherbakov, Aziyana Bayyr-ool, Antonios Anastasopoulos, Roberto Zariquiey, Karina Sheifer, Sofya Ganieva, Hilaria Cruz, Ritvn Karahga, Stella Markantonatou, George Pavlidis, Matvey Plugaryov, Elena Klyachko, Ali Salehi, Candy Angulo, Jatayu Baxi, Andrew Krizhanovsky, Natalia Krizhanovskaya, Elizabeth Salesky, Clara Vania, Sardana Ivanova, Jennifer C. White, Rowan Hall Maudslay, Josef Valvoda, Ran Zmigrod, Paula Czarnowska, Irene Nikkarinen, Aelita Salchak, Brijesh Bhatt, Christopher Straughn, Zoey Liu, Jonathan North Washington, Yuval Pinter, Duygu Ataman, Marcin Wolinski, Totok Suhardijanto, Anna Yablonskaya, Niklas Stoehr, Hossep Dolatian, Zahroh Nuriah, Shyam Ratan, Francis M. Tyers, Edoardo M. Ponti, Grant Aiton, Aryaman Arora, Richard J. Hatcher, Ritesh Kumar, Jeremiah Young, Daria Rodionova, Anastasia Yemelina, Taras Andrushko, Igor Marchenko, Polina Mashkovtseva, Alexandra Serova, Emily Prud'hommeaux, Maria Nepomniashchaya, Fausto Giunchiglia, Eleanor Chodroff, Mans Hulden, Miikka Silfverberg, Arya D. McCarthy, David Yarowsky, Ryan Cotterell, Reut Tsarfaty, Ekaterina Vylomova |
| 2022 | LREC | Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship. | Temuulen Khishigsuren, Gbor Bella, Khuyagbaatar Batsuren, Abed Alhakim Freihat, Nandu Chandran Nair, Amarsanaa Ganbold, Hadi Khalilia, Yamini Chandrashekar, Fausto Giunchiglia |
| 2022 | LREC | IndoUKC: A Concept-Centered Indian Multilingual Lexical Resource. | Nandu Chandran Nair, Rajendran Sankara Velayuthan, Yamini Chandrashekar, Gbor Bella, Fausto Giunchiglia |
| 2022 | Mobiquitous | The Journey Through Illness of the Type 1 Diabetes Caregiver, from Disruption to Positive Coping. | Silvia Torsi, Fausto Giunchiglia, Sole Ayala, Cristina Rebek |
| 2022 | WWW | PNMTA: A Pretrained Network Modulation and Task Adaptation Approach for User Cold-Start Recommendation. | Haoyu Pang, Fausto Giunchiglia, Ximing Li, Renchu Guan, Xiaoyue Feng |
| 2022 | SIGIR | Deployable and Continuable Meta-learning-Based Recommender System with Fast User-Incremental Updates. | Renchu Guan, Haoyu Pang, Fausto Giunchiglia, Ximing Li, Xuefeng Yang, Xiaoyue Feng |
| 2022 | SIGIR | Few-shot Node Classification on Attributed Networks with Graph Meta-learning. | Yonghao Liu, Mengyu Li, Ximing Li, Fausto Giunchiglia, Xiaoyue Feng, Renchu Guan |
| 2022 | WorldCIST | Robots as Transitional Objects for Young Children. | Silvia Torsi, Nandu Chandran Nair, Fausto Giunchiglia |
| 2021 | AIES | The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations. | Laura Schelenz, Ivano Bison, Matteo Busso, Amalia de Gtzen, Daniel Gatica-Perez, Fausto Giunchiglia, Lakmal Meegahapola, Salvador Ruiz-Correa |
| 2021 | EMNLP | Deep Attention Diffusion Graph Neural Networks for Text Classification. | Yonghao Liu, Renchu Guan, Fausto Giunchiglia, Yanchun Liang, Xiaoyue Feng |
| 2021 | ICCS | Ranking Schemas by Focus: A Cognitively-Inspired Approach. | Mattia Fumagalli, Daqian Shi, Fausto Giunchiglia |
| 2021 | IJCAI | Streaming and Learning the Personal Context. | Fausto Giunchiglia, Marcelo Dario Rodas Britez, Andrea Bontempelli, Xiaoyue Li |
| 2020 | COLING | Exploring the Language of Data. | Gbor Bella, Linda Gremes, Fausto Giunchiglia |
| 2020 | ECAI | Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge. | Gbor Bella, Liz Elliot, Subhashis Das, Stephen Pavis, Ettore Turra, David Robertson, Fausto Giunchiglia |
| 2020 | ECAI | Continual Egocentric Object Recognition. | Luca Erculiani, Fausto Giunchiglia, Andrea Passerini |
| 2020 | ECAI | Multi-Modal Subjective Context Modelling and Recognition. | Qiang Shen, Stefano Teso, Wanyi Zhang, Hao Xu, Fausto Giunchiglia |
| 2020 | EUMAS | Open Social Systems. | Nardine Osman, Carles Sierra, Ronald Chenu-Abente, Qiang Shen, Fausto Giunchiglia |
| 2020 | FOIS | Ontology-Driven Cross-Domain Transfer Learning. | Mattia Fumagalli, Gbor Bella, Samuele Conti, Fausto Giunchiglia |
| 2020 | IJCAI | Learning in the Wild with Incremental Skeptical Gaussian Processes. | Andrea Bontempelli, Stefano Teso, Fausto Giunchiglia, Andrea Passerini |
| 2020 | KR | Entity Type Recognition - Dealing with the Diversity of Knowledge. | Fausto Giunchiglia, Mattia Fumagalli |
| 2020 | LREC | A Major Wordnet for a Minority Language: Scottish Gaelic. | Gbor Bella, Fiona McNeill, Rody Gorman, Caoimhin O. Donnaile, Kirsty MacDonald, Yamini Chandrashekar, Abed Alhakim Freihat, Fausto Giunchiglia |
| 2019 | ACL | CogNet: A Large-Scale Cognate Database. | Khuyagbaatar Batsuren, Gbor Bella, Fausto Giunchiglia |
| 2019 | PRICAI | Towards Understanding Classification and Identification. | Mattia Fumagalli, Gbor Bella, Fausto Giunchiglia |
| 2019 | WWW | Hybrid Human Machine workflows for mobility management. | Eddy Maddalena, Luis-Daniel Ibez, Elena Simperl, Richard Gomer, Mattia Zeni, Donglei Song, Fausto Giunchiglia |
| 2018 | CICLING | One World - Seven Thousand Languages (Best Paper Award, Third Place). | Fausto Giunchiglia, Khuyagbaatar Batsuren, Abed Alhakim Freihat |
| 2018 | PERCOM | Personal Context Recognition Via Reliable Human-Machine Collaboration. | Fausto Giunchiglia, Mattia Zeni, Enrico Bignotti |
| 2018 | PERCOM | Assessing Annotation Consistency in the Wild. | Fausto Giunchiglia, Mattia Zeni, Enrico Bignotti, Wanyi Zhang |
| 2018 | PERCOM | Combining Crowdsourcing and Crowdsensing to Infer the Spatial Context. | Mattia Zeni, Enrico Bignotti, Fausto Giunchiglia |
| 2017 | ER | Teleologies: Objects, Actions and Functions. | Fausto Giunchiglia, Mattia Fumagalli |
| 2017 | IJCAI | Understanding and Exploiting Language Diversity. | Fausto Giunchiglia, Khuyagbaatar Batsuren, Gbor Bella |
| 2017 | PERCOM | Personal context modelling and annotation. | Fausto Giunchiglia, Enrico Bignotti, Mattia Zeni |
| 2016 | FOIS | Concepts as (Recognition) Abilities. | Fausto Giunchiglia, Mattia Fumagalli |
| 2015 | CLEI | Towards semantic social networks. | Ronald Chenu-Abente, Fausto Giunchiglia, Luca Cernuzzi |
| 2015 | CLEI | Distributed directory system: A healthcare use case for rural areas. | Alethia Hume, Fausto Giunchiglia, Luca Cernuzzi |
| 2015 | ECIR | High Quality Photo Collection via Gamification. | Anca-Livia Radu, Aliaksandr Autayeu, Bogdan Ionescu, Fausto Giunchiglia |
| 2015 | Interact | Entity-Centric Visualization of Open Data. | Sajan Raj Ojha, Mladjan Jovanovic, Fausto Giunchiglia |
| 2014 | EKAW | From ER Models to the Entity Model. | Fausto Giunchiglia, Mattia Fumagalli |
| 2014 | IC3K | An Interactive Platform for Multilingual Linguistic Resource Enrichment. | Ahmed Tawfik, Fausto Giunchiglia, Francesco Bux |
| 2014 | MMM | A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification. | Anca-Livia Radu, Bogdan Ionescu, Mara Menndez, Julian Stttinger, Fausto Giunchiglia, Antonella De Angeli |
| 2013 | CHI | The open platform for personal lifelogging: the eLifeLog architecture. | Pil Ho Kim, Fausto Giunchiglia |
| 2012 | CVPR | (Unseen) event recognition via semantic compositionality. | Julian Stttinger, Jasper R. R. Uijlings, Anand K. Pandey, Nicu Sebe, Fausto Giunchiglia |
| 2012 | SMC | Life logging practice for human behavior modeling. | Pil Ho Kim, Fausto Giunchiglia |
| 2012 | WWW | The CUBRIK project: human-enhanced time-aware multimedia search. | Piero Fraternali, Marco Tagliasacchi, Davide Martinenghi, Alessandro Bozzon, Ilio Catallo, Eleonora Ciceri, Francesco Saverio Nucci, Vincenzo Croce, Ismail Sengr Altingvde, Wolf Siberski, Fausto Giunchiglia, Wolfgang Nejdl, Martha A. Larson, Ebroul Izquierdo, Petros Daras, Otto Chrons, Ralph Traphner, Bjrn Decker, John Lomas, Patrick Aichroth, Jasminko Novak, Ghislain Sillaume, Fernando Snchez-Figueroa, Carolina Salas-Parra |
| 2010 | EuroPLop | Scientific knowledge object patterns. | Fausto Giunchiglia, Hao Xu, Aliaksandr Birukou, Ronald Chenu |
| 2010 | ICDE | Semantic flooding: Search over semantic links. | Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume, Piyatat Chatvorawit |
| 2010 | NSS | Reasoning about Relation Based Access Control. | Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang |
| 2008 | ECAI | Approximate structure preserving semantic matching. | Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana |
| 2006 | ECAI | Managing Diversity in Knowledge. | Fausto Giunchiglia |
| 2006 | ECAI | Discovering Missing Background Knowledge in Ontology Matching. | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
| 2004 | ECAI | A Semantics for Abstraction. | Chiara Ghidini, Fausto Giunchiglia |
| 2002 | CAV | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | SEKE | Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. | Anna Perini, Angelo Susi, Fausto Giunchiglia |
| 2001 | SEKE | Agent- Oriented Software Development: A Case Study. | Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani |
| 2001 | TACAS | Model Checking Syllabi and Student Carreers. | Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia |
| 2000 | FORTE | A Logic of Belief and a Model Checking Algorithm for Security Protocols. | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
| 2000 | TACAS | Model Checking Security Protocols Using a Logic of Belief. | Massimo Benerecetti, Fausto Giunchiglia |
| 1999 | CAV | NUSMV: A New Symbolic Model Verifier. | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
| 1999 | CAV | Improved Automata Generation for Linear Temporal Logic. | Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi |
| 1998 | AISC | Specification and Integration of Theorem Provers and Computer Algebra Systems. | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
| 1998 | KR | Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. | Fausto Giunchiglia, Chiara Ghidini |
| 1998 | KR | More Evaluation of Decision Procedures for Modal Logics. | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
| 1998 | SAFECOMP | A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
| 1998 | SAFECOMP | Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
| 1997 | CADE | A New Method for Testing Decision Procedures in Modal Logics. | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani |
| 1997 | CAV | A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu |
| 1996 | AAAI | Computing Abstraction Hierarchies by Numerical Simulation. | Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh |
| 1996 | AI | A General Purpose Reasoner for Abstraction. | Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh |
| 1996 | CADE | Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. | Fausto Giunchiglia, Roberto Sebastiani |
| 1996 | CADE | ABSFOL: A Proof Checker with Abstraction. | Fausto Giunchiglia, Adolfo Villafiorita |
| 1996 | KR | A SAT-based Decision Procedure for ALC. | Fausto Giunchiglia, Roberto Sebastiani |
| 1994 | LOPSTR | Introspective Metatheoretic Reasoning. | Fausto Giunchiglia, Alessandro Cimatti |
| 1994 | LPAR | Program Tactics and Logic Tactics. | Fausto Giunchiglia, Paolo Traverso |
| 1993 | IJCAI | Non-Omniscient Belief as Context-Based Resoning. | Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione |
| 1992 | ECAI | Tree Subsumption: Reasoning with Outlines. | Fausto Giunchiglia, Toby Walsh |
| 1991 | IJCAI | Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. | Fausto Giunchiglia, Paolo Traverso |
| 1989 | IJCAI | Abstract Theorem Proving. | Fausto Giunchiglia, Toby Walsh |
| 1988 | ECAI | Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. | Fausto Giunchiglia, Enrico Giunchiglia |
| 1984 | AIMSA | Space Representation and Object Positioning in Natural Language Driven Image Generation. | Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino |
| 1984 | COLING | Natural Language driven Image Generation. | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1984 | ECAI | From Descriptions to Images: What Reasoning in between? | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1983 | IJCAI | Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |