Martin Giese

Citata da

	Tutte	Dal 2016
Citazioni	2219	1194
Indice H	24	18
i10-index	47	30

260

130

195

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 20 40 41 46 109 89 97 56 40 52 41 52 58 99 135 213 214 260 221 173 111

Accesso pubblico

Visualizza tutto

19 articoli

4 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Ahmet SoyluProfessor of Computer Science, Oslo Metropolitan University, NorwayEmail verificata su oslomet.no
Ernesto Jimenez-RuizLecturer in Artificial Intelligence. City, University of London, UKEmail verificata su city.ac.uk
Evgeny KharlamovBosch Center for Artificial IntelligenceEmail verificata su de.bosch.com
Ian HorrocksProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtEmail verificata su cs.tu-darmstadt.de
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyEmail verificata su kit.edu
Özgür Lütfü ÖzcepUniversität Lübeck, Institut für InformationssystemeEmail verificata su ifis.uni-luebeck.de
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyEmail verificata su chalmers.se
Thomas BaarHTW BerlinEmail verificata su acm.org
Martin G. SkjævelandDepartment of Informatics, University of Oslo, NorwayEmail verificata su ifi.uio.no
Dag HovlandResearcher, University Of OsloEmail verificata su ifi.uio.no
Guillermo Vega-GorgojoAssociate Professor, University of ValladolidEmail verificata su tel.uva.es
Steffen SchlagerUniversity of Applies Sciences OffenburgEmail verificata su hs-offenburg.de
Yannis IoannidisProf. Informatics, Nat'l Kapod. U. Athens // ex President & Gen. Director, Athena Research CenterEmail verificata su di.uoa.gr
Peter Haasemetaphacts GmbHEmail verificata su metaphacts.com
Guohui XiaoAssistant Professor of Computer Science, Free University of Bozen - BolzanoEmail verificata su inf.unibz.it
Sebastian BrandtSchool of Computer Science, The University of ManchesterEmail verificata su cs.manchester.ac.uk
Martin RezkGoogleEmail verificata su google.com
Wojciech MostowskiHalmstad UniversityEmail verificata su hh.se
Andreas RothSAP SEEmail verificata su sap.com

Martin Giese

Prof., Dept. of Informatics, University of Oslo

Email verificata su ifi.uio.no - Home page

Semantic Technologies Logic Automated Deduction


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	376	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	137	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	95	2017
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	86*	2000
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	82	2017
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 (1), 129-152, 2016	80	2016
Incremental closure of free variable tableaux M Giese International Joint Conference on Automated Reasoning, 545-560, 2001	75	2001
Optique: Towards OBDA systems for industry E Kharlamov, E Jiménez-Ruiz, D Zheleznyakov, D Bilidas, M Giese, ... Extended Semantic Web Conference, 125-140, 2013	73	2013
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	66	2018
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	66	2013
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	56	2013
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	52	2016
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 (2), 435-467, 2017	47	2017
From informal to formal specifications in UML M Giese, R Heldal International Conference on the Unified Modeling Language, 197-211, 2004	47	2004
Simplifying transformations of OCL constraints M Giese, D Larsson International Conference on Model Driven Engineering Languages and Systems …, 2005	43	2005
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	41*	2004
The KeY system: Integrating object-oriented design and formal methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... International Conference on Fundamental Approaches to Software Engineering …, 2002	39	2002
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	35	2017
Optique: OBDA solution for big data D Calvanese, M Giese, P Haase, I Horrocks, T Hubauer, Y Ioannidis, ... Extended Semantic Web Conference, 293-295, 2013	34	2013
Ontology-based visual query formulation: An industry experience A Soylu, E Kharlamov, D Zheleznyakov, E Jimenez-Ruiz, M Giese, ... International Symposium on Visual Computing, 842-854, 2015	33	2015

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui questo autore

Citata da

Coautori