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
15682005
Pushing the EL envelope further
F Baader, C Lutz, S Brandt
OWLED (Spring), 2008
3692008
Polynomial time reasoning in a description logic with existential restrictions, gci axioms, and-what else?
S Brandt
ECAI 16, 298, 2004
2322004
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
1372016
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
1312001
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
1242016
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
1142018
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
1142017
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
1072021
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
952008
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
842016
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
822017
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
792018
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
722016
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
692017
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
622021
An automatic speedup theorem for distributed problems
S Brandt
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
602019
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
582017
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
512018
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
502019
The system can't perform the operation now. Try again later.
Articles 1–20