Volgen
Sebastian Brandt
Sebastian Brandt
School of Computer Science, The University of Manchester
Geverifieerd e-mailadres voor cs.manchester.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Pushing the EL envelope
F Baader, S Brandt, C Lutz
IJCAI 5, 364-369, 2005
14092005
Pushing the EL envelope further
F Baader, S Brandt, C Lutz
3372008
Pushing the EL envelope further
F Baader, S Brandt, C Lutz
3372008
Polynomial time reasoning in a description logic with existential restrictions, gci axioms, and-what else?
S Brandt
ECAI 16, 298, 2004
2222004
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
Proc. of KR-02, 2002
1252002
On consistent migration of flows in SDNs
S Brandt, KT Förster, R Wattenhofer
IEEE INFOCOM 2016-The 35th Annual IEEE International Conference on Computer …, 2016
1112016
A lower bound for the distributed Lovász local lemma
S Brandt, O Fischer, J Hirvonen, B Keller, T Lempiäinen, J Rybicki, ...
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing …, 2016
1072016
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
952017
Why do it the hard way? The case for an expressive description logic for SNOMED
AL Rector, S Brandt
Journal of the American Medical Informatics Association 15 (6), 744-751, 2008
922008
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
852018
Ontology-based integration of streaming and static relational data with optique
E Kharlamov, S Brandt, E Jimenez-Ruiz, Y Kotidis, S Lamparter, T Mailis, ...
Proceedings of the 2016 International Conference on Management of Data, 2109 …, 2016
682016
Dielectric barrier discharges applied for optical spectrometry
S Brandt, A Schütz, FD Klute, J Kratzer, J Franzke
Spectrochimica Acta Part B: Atomic Spectroscopy 123, 6-32, 2016
642016
Ontology-based data access with a horn fragment of metric temporal logic
S Brandt, EG Kalaycı, R Kontchakov, V Ryzhikov, G Xiao, ...
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
582017
Lower bounds for maximal matchings and maximal independent sets
A Balliu, S Brandt, J Hirvonen, D Olivetti, M Rabie, J Suomela
Journal of the ACM (JACM) 68 (5), 1-30, 2021
552021
LCL problems on grids
S Brandt, J Hirvonen, JH Korhonen, T Lempiäinen, PRJ Östergĺrd, ...
Proceedings of the ACM Symposium on Principles of Distributed Computing, 101-110, 2017
472017
Dielectric barrier discharges applied for soft ionization and their mechanism
S Brandt, FD Klute, A Schütz, J Franzke
Analytica chimica acta 951, 16-31, 2017
432017
Towards analytics aware ontology based access to static and streaming data
E Kharlamov, Y Kotidis, T Mailis, C Neuenstadt, C Nikolaou, Ö Özçep, ...
International Semantic Web Conference, 344-362, 2016
422016
Querying log data with metric temporal logic
S Brandt, EG Kalaycı, V Ryzhikov, G Xiao, M Zakharyaschev
Journal of Artificial Intelligence Research 62, 829-877, 2018
412018
An automatic speedup theorem for distributed problems
S Brandt
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
402019
Collaboration without communication: Evacuating two robots from a disk
S Brandt, F Laufenberg, Y Lv, D Stolz, R Wattenhofer
International Conference on Algorithms and Complexity, 104-115, 2017
372017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20