Sebastian Brandt
Sebastian Brandt
School of Computer Science, The University of Manchester
Geverifieerd e-mailadres voor cs.manchester.ac.uk
Geciteerd door
Geciteerd door
Pushing the EL envelope
F Baader
Deutsche Nationalbibliothek, 2005
Pushing the EL Envelope Further.
F Baader, C Lutz, S Brandt
OWLED (Spring) 496, 15, 2008
Polynomial time reasoning in a description logic with existential restrictions, gci axioms, and-what else?
S Brandt
ECAI 16, 298, 2004
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
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
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
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
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
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
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
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
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
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
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
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
An automatic speedup theorem for distributed problems
S Brandt
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
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
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
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20