Fausto Giunchiglia

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	24483	4872
h-index	67	32
i10-index	227	108

1400

700

350

1050

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202568 95 90 143 213 158 216 218 283 347 492 646 825 980 1090 1144 1336 1357 1229 1162 1148 964 979 974 754 735 758 712 650 872 953 985 1215 192

Δημόσια πρόσβαση

Προβολή όλων

86 άρθρα

9 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Alessandro CimattiFondazione Bruno KesslerΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
John MylopoulosUniversity of OttawaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fbk.eu
Ilya ZaihrayeuUniversity of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα disi.unitn.it
Vincenzo (Enzo) MalteseUniversity of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα disi.unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.cmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cse.unsw.edu.au
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-netΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα databricks.com
Chiara GhidiniFree University of Bozen-BolzanoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unibz.it
Fiona McNeillReader in Computing Education, University of EdinburghΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ed.ac.uk
Armando TacchellaProfessor, Information Processing Systems, University of GenoaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unige.it
Biswanath DuttaAssociate Professor, Indian Statistical Institute BangaloreΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα drtc.isibang.ac.in
Heiner StuckenschmidtUniversity of MannheimΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-mannheim.de
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fbk.eu

Παρακολούθηση

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it - Αρχική σελίδα

Computational theories of the mind


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification, 241-268, 2002	2620	2002
Tropos: An agent-oriented software development methodology P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos Autonomous Agents and Multi-Agent Systems 8 (3), 203-236, 2004	2608	2004
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	1004	1999
NuSMV: a new symbolic model checker A Cimatti, E Clarke, F Giunchiglia, M Roveri International Journal on Software Tools for Technology Transfer (STTT) 2 (4 …, 2000	982	2000
S-Match: an algorithm and an implementation of semantic matching F Giunchiglia, P Shvaiko, M Yatskevich The semantic web: research and applications, 61-75, 2004	766	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	631	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	570	2002
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	567	1992
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	566	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	542	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	520	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	485	1994
The tropos software development methodology: processes, models and diagrams F Giunchiglia, J Mylopoulos, A Perini Proceedings of the 3rd international conference on Agent-oriented software …, 2002	451	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	393	2007
Mobile social media usage and academic performance F Giunchiglia, M Zeni, E Gobbi, E Bignotti, I Bison Computers in Human Behavior 82, 177-185, 2018	370	2018
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	340	2000
Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt Web Semantics: Science, Services and Agents on the World Wide Web 1 (4), 325-343, 2004	318	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	278	1999
A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia	224*	2009
Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani Automated Deduction—Cade-13, 583-597, 1996	223*	1996

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς