Folgen
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
3982005
Optique: Zooming in on Big Data
M Giese, A Soylu, G Vega-Gorgojo, A Waaler, P Haase, E Jimenez-Ruiz, ...
Computer, 60-67, 2015
1532015
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
1342017
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
1042018
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
1042017
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
942016
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
942013
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
792013
Incremental closure of free variable tableaux
M Giese
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
762001
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
712013
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
662016
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
642017
From informal to formal specifications in UML
M Giese, R Heldal
«UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004
492004
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
442013
Simplifying transformations of OCL constraints
M Giese, D Larsson
Model Driven Engineering Languages and Systems: 8th International Conference …, 2005
432005
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
402002
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
382013
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
372017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20