Martin Giese

Cited by

	All	Since 2018
Citations	2631	1094
h-index	27	15
i10-index	50	22

260

130

195

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 22 39 39 44 110 86 107 58 41 50 41 54 77 115 149 249 210 251 236 185 185 191 45

Public access

View all

26 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Ahmet SoyluProfessor of Computer Science, OsloMet - Oslo Metropolitan University, NorwayVerified email at oslomet.no
Evgeny KharlamovBosch Center for Artificial IntelligenceVerified email at de.bosch.com
Ernesto Jimenez-RuizLecturer in Artificial Intelligence. City, University of London, UKVerified email at city.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Özgür Lütfü ÖzcepUniversität Lübeck, Institut für InformationssystemeVerified email at ifis.uni-luebeck.de
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyVerified email at kit.edu
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
Yannis IoannidisProf. Informatics, Nat'l Kapod. U. Athens // ex President & Gen. Director, Athena Research CenterVerified email at di.uoa.gr
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Steffen LamparterSiemensVerified email at siemens.com
Martin G. SkjævelandDepartment of Informatics, University of Oslo, NorwayVerified email at ifi.uio.no
Dag HovlandSoftware Consultant, BouvetVerified email at bouvet.no
Thomas BaarHTW BerlinVerified email at acm.org
Guillermo Vega-GorgojoAssociate Professor, University of ValladolidVerified email at tel.uva.es
Ralf MöllerProfessor of Computer Science, University of LübeckVerified email at uni-luebeck.de
Peter Haasemetaphacts GmbHVerified email at metaphacts.com
Steffen SchlagerUniversity of Applies Sciences OffenburgVerified email at hs-offenburg.de
Yannis KotidisAthens University of Economics and BusinessVerified email at aueb.gr
Guohui XiaoAssociate Professor of Computer Science, University of Bergen, NorwayVerified email at uib.no

Martin Giese

Prof., Dept. of Informatics, University of Oslo

Verified email at ifi.uio.no - Homepage

Semantic Technologies Logic Automated Deduction


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	398	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	153	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	134	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	104	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	104	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, 129-152, 2016	95	2016
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	94	2013
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	88*	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	79	2013
Incremental closure of free variable tableaux M Giese Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	76	2001
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	71	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	67	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, 435-467, 2017	65	2017
From informal to formal specifications in UML M Giese, R Heldal «UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004	49	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	44	2013
Simplifying transformations of OCL constraints M Giese, D Larsson Model Driven Engineering Languages and Systems: 8th International Conference …, 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	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	40	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	38	2013
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	37	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors