Follow
Sebastian Brandt
Sebastian Brandt
School of Computer Science, The University of Manchester
Verified email at cs.manchester.ac.uk
Title
Cited by
Cited by
Year
Pushing the EL envelope
F Baader
Deutsche Nationalbibliothek, 2005
15292005
Pushing the EL Envelope Further.
F Baader, C Lutz, S Brandt
OWLED (Spring) 496, 15, 2008
3622008
Polynomial time reasoning in a description logic with existential restrictions, gci axioms, and-what else?
S Brandt
ECAI 16, 298, 2004
2312004
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
1342016
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
1292001
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
1232016
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
1132017
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
1082018
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
1032021
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
962008
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
812017
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
802016
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
732018
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
702016
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
682017
An automatic speedup theorem for distributed problems
S Brandt
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
592019
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
542017
Miniature dielectric barrier discharge (DBD) in analytical atomic spectrometry
G Niu, A Knodel, S Burhenn, S Brandt, J Franzke
Analytica Chimica Acta 1147, 211-239, 2021
532021
Massively parallel computation of matching and MIS in sparse graphs
S Behnezhad, S Brandt, M Derakhshan, M Fischer, MT Hajiaghayi, ...
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
492019
Use of dielectric barrier discharge ionization to minimize matrix effects and expand coverage in pesticide residue analysis by liquid chromatography-mass spectrometry
FJ Lara-Ortega, J Robles-Molina, S Brandt, A Schütz, B Gilbert-López, ...
Analytica Chimica Acta 1020, 76-85, 2018
492018
The system can't perform the operation now. Try again later.
Articles 1–20