Martin Giese

Navedeno

	Vse	Od leta 2019
Navedbe	2836	1048
indeks h	28	15
indeks i10	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 187 189 166 130 142

Javni dostop

Prikaži vse

32 člankov

5 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Ahmet SoyluDean/Professor at Kristiania, NorwayPreverjeni e-poštni naslov na kristiania.no
Evgeny KharlamovBosch Center for Artificial IntelligencePreverjeni e-poštni naslov na de.bosch.com
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKPreverjeni e-poštni naslov na city.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Özgür Lütfü ÖzcepUniversität Hamburg, Institut für Humanities-Centered Artificial Intelligence (CHAI)Preverjeni e-poštni naslov na uni-hamburg.de
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtPreverjeni e-poštni naslov na cs.tu-darmstadt.de
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyPreverjeni e-poštni naslov na kit.edu
Sebastian BrandtSchool of Computer Science, The University of ManchesterPreverjeni e-poštni naslov na cs.manchester.ac.uk
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyPreverjeni e-poštni naslov na chalmers.se
Yannis IoannidisProf. Informatics, Nat'l Kapod. U. Athens // ex President & Gen. Director, Athena Research CenterPreverjeni e-poštni naslov na di.uoa.gr
Steffen LamparterSiemensPreverjeni e-poštni naslov na siemens.com
Martin G. SkjævelandDepartment of Informatics, University of Oslo, NorwayPreverjeni e-poštni naslov na ifi.uio.no
Dag HovlandSoftware Consultant, BouvetPreverjeni e-poštni naslov na bouvet.no
Thomas BaarHTW BerlinPreverjeni e-poštni naslov na acm.org
Guillermo Vega-GorgojoFull Professor, University of ValladolidPreverjeni e-poštni naslov na tel.uva.es
Ralf MöllerProfessor of Artificial Intelligence in Humanities, University of HamburgPreverjeni e-poštni naslov na uni-hamburg.de
Peter Haasemetaphacts GmbHPreverjeni e-poštni naslov na metaphacts.com
Steffen SchlagerUniversity of Applies Sciences OffenburgPreverjeni e-poštni naslov na hs-offenburg.de
Michael SchmidtAWS (Amazon Neptune)Preverjeni e-poštni naslov na amazon.com
Yannis KotidisAthens University of Economics and BusinessPreverjeni e-poštni naslov na aueb.gr

Spremljaj

Martin Giese

Prof., Dept. of Informatics, University of Oslo

Preverjeni e-poštni naslov na ifi.uio.no - Domača stran

Semantic Technologies Logic Automated Deduction


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	412	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	161	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	153	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	117	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	117	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	99	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	68	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
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	43*	2004
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
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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji