Thomas Schneider Vis

*	2009
26	EE	Annika Paus, Ahmad-Reza Sadeghi, Thomas Schneider: Practical Secure Evaluation of Semi-private Functions. ACNS 2009: 89-106
25	EE	Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
24	EE	Mauro Barni, Pierluigi Failla, Vladimir Kolesnikov, Riccardo Lazzeretti, Ahmad-Reza Sadeghi, Thomas Schneider: Secure Evaluation of Private Linear Branching Programs with Medical Applications. ESORICS 2009: 424-439
23	EE	Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
22	EE	Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS 2009: 587-599
21	EE	Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I CoRR abs/0906.1489: (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, 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)
9	EE	Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic Logical Methods in Computer Science 5(1): (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	Mauro Barni	[24]
2	Michael Bauland	[6] [8] [9] [10] [12] [20]
3	Ole Caprani	[3]
4	Pierluigi Failla	[24]
5	Bernardo Cuenca Grau	[18] [19]
6	Harvey Herscovitch	[1]
7	Lars Hvidegaard	[3]
8	Ernesto Jiménez-Ruiz	[18] [19]
9	Vladimir Kolesnikov	[16] [17] [24]
10	Roman Kontchakov	[23]
11	Riccardo Lazzeretti	[24]
12	Rafael Berlanga Llavori	[18] [19]
13	Arne Meier	[21] [22]
14	Mikkel Mortensen	[3]
15	Martin Mundhenk	[7] [10] [11] [12] [20] [21] [22]
16	Bijan Parsia	[13]
17	Annika Paus	[26]
18	Luca Pulina	[23]
19	Ahmad-Reza Sadeghi	[15] [24] [26]
20	Ulrike Sattler	[13] [18] [19] [23] [25]
21	Henning Schnoor	[6] [8] [9] [10] [12] [20]
22	Ilka Schnoor	[6] [8] [9] [10] [12] [20]
23	Thomas Schwentick	[11]
24	Petra Selmer	[23]
25	Michael Thomas	[21] [22]
26	Heribert Vollmer	[6] [8] [9] [10] [12] [20]
27	Volker Weber	[11] [21] [22]
28	Felix Weiss	[21] [22]
29	Frank Wolter	[23]
30	Michael Zakharyaschev	[23] [25]

Colors in the list of coauthors