Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Schneider, Thomas"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Generalized satisfiability for the description logic
\mathcal{ALC}
Arne Meier
,
Thomas Schneider
Theoretical Computer Science
505
, 2013, pp. 55-73
The complexity of satisfiability for fragments of hybrid logic - Part I
Arne Meier
,
Martin Mundhenk
,
Thomas Schneider
,
Michael Thomas
,
Volker Weber
,
Felix Weiss
Lecture Notes in Computer Science
5734
, 2009, pp. 587-599
Improved garbled circuit: Free XOR gates and applications
Vladimir Kolesnikov
,
Thomas Schneider
Lecture Notes in Computer Science
5126
, 2008, pp. 486-498
Fast multiple alignment of ungapped DNA sequences using information theory and a relaxation method
Thomas D. Schneider
,
David N. Mastronarde
Discrete Applied Mathematics
71
(1-3), 1996, pp. 259-268