Segui
Sebastian Brandt
Sebastian Brandt
School of Computer Science, The University of Manchester
Email verificata su cs.manchester.ac.uk
Titolo
Citata da
Citata da
Anno
Pushing the EL envelope
F Baader, S Brandt, C Lutz
Technische Universitšt Dresden, 2005
14612005
Pushing the EL Envelope Further.
F Baader, C Lutz, S Brandt
OWLED (Spring) 496, 2008
3512008
Pushing the EL Envelope Further.
F Baader, C Lutz, S Brandt
OWLED (Spring) 496, 2008
3512008
Polynomial time reasoning in a description logic with existential restrictions, gci axioms, and-what else?
S Brandt
ECAI 16, 298, 2004
2272004
Approximation and difference in description logics
S Brandt, R KŁsters, AY Turhan
1272001
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
1182016
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
1182016
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
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
932008
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
802021
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
722017
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
722016
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
712016
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
622018
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
562017
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
492017
An automatic speedup theorem for distributed problems
S Brandt
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing†…, 2019
482019
Towards analytics aware ontology based access to static and streaming data
E Kharlamov, Y Kotidis, T Mailis, C Neuenstadt, C Nikolaou, ÷ ÷zÁep, ...
The Semantic Web–ISWC 2016: 15th International Semantic Web Conference, Kobe†…, 2016
462016
Collaboration without communication: evacuating two robots from a disk
S Brandt, F Laufenberg, Y Lv, D Stolz, R Wattenhofer
Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens†…, 2017
422017
Il sistema al momento non puÚ eseguire l'operazione. Riprova piý tardi.
Articoli 1–20