Martin Giese
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3702005
Optique: Zooming in on Big Data
M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ...
Computer, 60-67, 2015
1262015
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
80*2000
Incremental closure of free variable tableaux
M Giese
International Joint Conference on Automated Reasoning, 545-560, 2001
752001
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
742017
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
742017
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
722016
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
702013
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
592013
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
532018
Scalable end-user access to big data
M Giese, D Calvanese, P Haase, I Horrocks, Y Ioannidis, H Kllapi, ...
Big data computing 205, 2013
532013
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
482016
From informal to formal specifications in UML
M Giese, R Heldal
International Conference on the Unified Modeling Language, 197-211, 2004
462004
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
442017
Simplifying transformations of OCL constraints
M Giese, D Larsson
International Conference on Model Driven Engineering Languages and Systems …, 2005
422005
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
40*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
402002
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
332015
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
322017
Ontology-based integration of cross-linked datasets
D Calvanese, M Giese, D Hovland, M Rezk
International Semantic Web Conference, 199-216, 2015
292015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20