Martin Giese

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

	Όλα	Από το 2019
Παραθέσεις	2797	1009
h-index	28	15
i10-index	53	20

260

130

195

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 22 39 44 48 103 91 98 60 40 53 41 52 80 108 146 248 210 253 234 185 189 166 127 108

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

Προβολή όλων

31 άρθρα

5 άρθρα

διαθέσιμα

μη διαθέσιμα

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

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

Ahmet SoyluProfessor of Computer Science, OsloMet - Oslo Metropolitan University, NorwayΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα oslomet.no
Evgeny KharlamovBosch Center for Artificial IntelligenceΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα de.bosch.com
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα city.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Özgür Lütfü ÖzcepUniversität Hamburg, Institut für Humanities-Centered Artificial Intelligence (CHAI)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-hamburg.de
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.tu-darmstadt.de
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kit.edu
Sebastian BrandtSchool of Computer Science, The University of ManchesterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.manchester.ac.uk
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα chalmers.se
Yannis IoannidisProf. Informatics, Nat'l Kapod. U. Athens // ex President & Gen. Director, Athena Research CenterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα di.uoa.gr
Steffen LamparterSiemensΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα siemens.com
Martin G. SkjævelandDepartment of Informatics, University of Oslo, NorwayΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ifi.uio.no
Dag HovlandSoftware Consultant, BouvetΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bouvet.no
Thomas BaarHTW BerlinΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα acm.org
Guillermo Vega-GorgojoFull Professor, University of ValladolidΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tel.uva.es
Ralf MöllerProfessor of Artificial Intelligence in Humanities, University of HamburgΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-hamburg.de
Peter Haasemetaphacts GmbHΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα metaphacts.com
Steffen SchlagerUniversity of Applies Sciences OffenburgΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα hs-offenburg.de
Michael SchmidtAWS (Amazon Neptune)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.com
Yannis KotidisAthens University of Economics and BusinessΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aueb.gr

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

Martin Giese

Prof., Dept. of Informatics, University of Oslo

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

Semantic Technologies Logic Automated Deduction


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
The KeY tool W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software and Systems Modeling 4 (1), 32-54, 2005	411	2005
Optique: Zooming in on Big Data M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ... Computer, 60-67, 2015	158	2015
Ontology based data access in Statoil E Kharlamov, D Hovland, MG Skjæveland, D Bilidas, E Jiménez-Ruiz, ... Journal of Web Semantics 44, 3-36, 2017	150	2017
OptiqueVQS: A visual query system over ontologies for industry A Soylu, E Kharlamov, D Zheleznyakov, E Jimenez-Ruiz, M Giese, ... Semantic Web 9 (5), 627-660, 2018	114	2018
Semantic access to streaming and static data at Siemens E Kharlamov, T Mailis, G Mehdi, C Neuenstadt, Ö Özçep, M Roshchin, ... Journal of Web Semantics 44, 54-74, 2017	114	2017
Optique: Towards OBDA systems for industry E Kharlamov, E Jiménez-Ruiz, D Zheleznyakov, D Bilidas, M Giese, ... The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events …, 2013	104	2013
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users A Soylu, M Giese, E Jimenez-Ruiz, G Vega-Gorgojo, I Horrocks Universal Access in the Information Society 15, 129-152, 2016	96	2016
The KeY Approach: Integrating Object Oriented Design and Formal Verification W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Logics in Artificial Intelligence (JELIA), 21-36, 2000	89*	2000
OptiqueVQS: towards an ontology-based visual query system for big data A Soylu, M Giese, E Jimenez-Ruiz, E Kharlamov, D Zheleznyakov, ... Proceedings of the Fifth International Conference on Management of Emergent …, 2013	80	2013
Incremental closure of free variable tableaux M Giese International Joint Conference on Automated Reasoning, 545-560, 2001	77	2001
Using semantic technology to tame the data variety challenge I Horrocks, M Giese, E Kharlamov, A Waaler IEEE Internet Computing 20 (6), 62-66, 2016	70	2016
Scalable end-user access to big data M Giese, D Calvanese, P Haase, I Horrocks, Y Ioannidis, H Kllapi, ... Rajendra Akerkar: Big Data Computing. Florida: Chapman and Hall/CRC. To appear, 2013	69	2013
Ontology-based end-user visual query formulation: Why, what, who, how, and which? A Soylu, M Giese, E Jimenez-Ruiz, E Kharlamov, D Zheleznyakov, ... Universal Access in the Information Society 16, 435-467, 2017	67	2017
From informal to formal specifications in UML M Giese, R Heldal International Conference on the Unified Modeling Language, 197-211, 2004	51	2004
Optique: OBDA solution for big data D Calvanese, M Giese, P Haase, I Horrocks, T Hubauer, Y Ioannidis, ... The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events …, 2013	43	2013
Simplifying transformations of OCL constraints M Giese, D Larsson International Conference on Model Driven Engineering Languages and Systems …, 2005	43	2005
Querying industrial stream-temporal data: An ontology-based visual approach 1 A Soylu, M Giese, R Schlatte, E Jiménez-Ruiz, E Kharlamov, Ö Özçep, ... Journal of Ambient Intelligence and Smart Environments 9 (1), 77-95, 2017	42	2017
Taclets: a new paradigm for constructing interactive theorem provers B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rümmer, ... Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie …, 2004	42*	2004
The KeY system: Integrating object-oriented design and formal methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Fundamental Approaches to Software Engineering: 5th International Conference …, 2002	42	2002
Optique 1.0: semantic access to big data: the case of Norwegian petroleum directorate's factpages E Kharlamov, M Giese, E Jiménez-Ruiz, MG Skjæveland, A Soylu, ... Proceedings of the 12th International Semantic Web Conference (Posters …, 2013	39	2013

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

Άρθρα 1–20

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

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

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

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

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

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

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