Name Card

Full name Familienname, Vorname
Beck, Harald
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 21 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas LARS: A Logic-Based Framework for Analytic Reasoning over StreamsKonferenzbeitrag Inproceedings 2018
2Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas LARS: A Logic-based Framework for Analytic Reasoning over StreamsArtikel Article 2018
3Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
4Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Folie, Christian Stream Reasoning with LARSArtikel Article 2018
5BECK, HARALD ; EITER, THOMAS ; FOLIE, CHRISTIAN Ticker: A system for incremental ASP-based stream reasoningKonferenzbeitrag Inproceedings 2017
6Bazoobandi, Hamid R. ; Beck, Harald ; Urbani, Jacopo Expressive Stream Reasoning with LaserKonferenzbeitrag Inproceedings 2017
7Beck, Harald ; Bierbaumer, Bruno ; Dao-Tran, Minh ; Eiter, Thomas ; Hellwagner, Hermann ; Schekotihin, Konstantin Stream reasoning-based control of caching strategies in CCN routersKonferenzbeitrag Inproceedings 2017
8Mossburger, Andreas ; Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas A Benchmarking Framework for Stream ProcessorsPräsentation Presentation2016
9Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Equivalent Stream Reasoning ProgramsKonferenzbeitrag Inproceedings 2016
10Beck, Harald ; Bierbaumer, Bruno ; Dao-Tran, Minh ; Eiter, Thomas ; Hellwagner, Hermann ; Schekotihin, Konstantin Rule-based Stream Reasoning for Intelligent Administration of Content-Centric NetworksKonferenzbeitrag Inproceedings 2016
11Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of InterestPräsentation Presentation2015
12Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael LARS: A Logic-based Framework for Analyzing Reasoning over StreamsKonferenzbeitrag Inproceedings 2015
13Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas What is the Semantics of Your SPARQL Extension?Artikel Article2015
14Dao-Tran, Minh ; Beck, Harald ; Eiter, Thomas Towards Comparing RDF Stream Processing SemanticsKonferenzbeitrag Inproceedings 2015
15Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Answer Update for Rule-based Stream ReasoningKonferenzbeitrag Inproceedings 2015
16Dao-Tran, Minh ; Beck, Harald ; Eiter, Thomas Contrasting RDF Stream Processing SemanticsKonferenzbeitrag Inproceedings2015
17Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards a Logic-Based Framework for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
18Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael Towards Ideal Semantics for Analyzing Stream ReasoningKonferenzbeitrag Inproceedings 2014
19Beck Harald - 2013 - Inconsistency management for traffic regulations.pdf.jpgBeck, Harald Inconsistency management for traffic regulationsThesis Hochschulschrift 2013
20Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsKonferenzbeitrag Inproceedings 2012