Thomas Schneider

2009
20	EE	Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. Electr. Notes Theor. Comput. Sci. 231: 277-292 (2009)
2008
19	EE	Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics 2008
18	EE	Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC 2008: 185-199
17	EE	Vladimir Kolesnikov, Thomas Schneider: A Practical Universal Circuit Construction and Secure Evaluation of Private Functions. Financial Cryptography 2008: 83-97
16	EE	Vladimir Kolesnikov, Thomas Schneider: Improved Garbled Circuit: Free XOR Gates and Applications. ICALP (2) 2008: 486-498
15	EE	Ahmad-Reza Sadeghi, Thomas Schneider: Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification. ICISC 2008: 336-353
14		Thomas Schneider: Practical Secure Function Evaluation. Informatiktage 2008: 37-40
13	EE	Bijan Parsia, Ulrike Sattler, Thomas Schneider: Easy Keys for OWL. OWLED 2008
12	EE	Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments CoRR abs/0805.0498: (2008)
11	EE	Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber: Complexity of Hybrid Logics over Transitive Frames CoRR abs/0806.4130: (2008)
10	EE	Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic CoRR abs/0812.4848: (2008)
9	EE	Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Electronic Colloquium on Computational Complexity (ECCC) 15(028): (2008)
2007
8	EE	Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic. FoSSaCS 2007: 48-62
7	EE	Martin Mundhenk, Thomas Schneider: Undecidability of Multi-modal Hybrid Logics. Electr. Notes Theor. Comput. Sci. 174(6): 29-43 (2007)
2006
6	EE	Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic. Electronic Colloquium on Computational Complexity (ECCC) 13(153): (2006)
2001
5	EE	Thomas Schneider: Performance Management of SAP Solutions. Performance Engineering 2001: 333-348
2000
4		Thomas Schneider: Steigerung von Effektivität und Qualität virtueller Produkte durch Einsatz regelbasierter Systeme. CAD 2000: 69-86
3	EE	Ole Caprani, Lars Hvidegaard, Mikkel Mortensen, Thomas Schneider: Robust and Efficient Ray Intersection of Implicit Surfaces. Reliable Computing 6(1): 9-21 (2000)
1988
2		Thomas Schneider: Übersetzungen aus der Maschine - Wissensbasierte Ssysteme in der Anwendung. KI 2(4): 60-66 (1988)
1965
1		Harvey Herscovitch, Thomas Schneider: GPSS III - An Expanded General Purpose Simulator. IBM Systems Journal 4(3): 174-183 (1965)

Coauthor Index

1	Michael Bauland	[6] [8] [9] [10] [12] [20]
2	Ole Caprani	[3]
3	Bernardo Cuenca Grau	[18] [19]
4	Harvey Herscovitch	[1]
5	Lars Hvidegaard	[3]
6	Ernesto Jiménez-Ruiz	[18] [19]
7	Vladimir Kolesnikov	[16] [17]
8	Rafael Berlanga Llavori	[18] [19]
9	Mikkel Mortensen	[3]
10	Martin Mundhenk	[7] [9] [11] [12] [20]
11	Bijan Parsia	[13]
12	Ahmad-Reza Sadeghi	[15]
13	Ulrike Sattler	[13] [18] [19]
14	Henning Schnoor	[6] [8] [9] [10] [12] [20]
15	Ilka Schnoor	[6] [8] [9] [10] [12] [20]
16	Thomas Schwentick	[11]
17	Heribert Vollmer	[6] [8] [9] [10] [12] [20]
18	Volker Weber	[11]

Colors in the list of coauthors