Thomas Wolf

	2007
22		Thomas Wolf, Lei Shen: Checking Life-and Death Problems in Go. ICGA Journal 30(2): 67-74 (2007)
	2006
21		Thomas Wolf, Benedikt Brors, Thomas Hofmann, Elisabeth Georgii: Global Biclustering of Microarray Data. ICDM Workshops 2006: 125-129
	2004
20		Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf: Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum 27(2): 146-158 (2004)
	2003
19		Matthew Pratola, Thomas Wolf: Optimizing GoTools' Search Heuristics using Genetic Algorithms CoRR cs.NE/0302002: (2003)
18		Thomas Wolf: A comparison of four approaches to the calculation of conservation laws CoRR cs.SC/0301027: (2003)
17		Thomas Wolf: The integration of systems of linear PDEs using conservation laws of syzygies CoRR cs.SC/0301028: (2003)
16		Thomas Wolf: Size reduction and partial decoupling of systems of equations CoRR cs.SC/0301029: (2003)
15		Thomas Wolf: The integration of systems of linear PDEs using conservation laws of syzygies. J. Symb. Comput. 35(5): 499-526 (2003)
	2002
14		Thomas Wolf: Size Reduction and Partial Decoupling of Systems of Equations. J. Symb. Comput. 33(3): 367-383 (2002)
	2000
13		Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell: Object-Oriented Programming and Protected Objects in Ada 95. Ada-Europe 2000: 16-28
12		Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell: Integrating object-oriented programming and protected objects in Ada 95. ACM Trans. Program. Lang. Syst. 22(3): 506-539 (2000)
11		Thomas Wolf: Forward Pruning and Other Heuristic Search Techniques in Tsume Go. Inf. Sci. 122(1): 59-76 (2000)
10		Thomas Wolf: The Symbolic Integration of Exact PDEs. J. Symb. Comput. 30(5): 619-629 (2000)
	1999
9		Thomas Wolf, Alfred Strohmeier: Fault Tolerance by Transparent Replication for Distributed Ada 95. Ada-Europe 1999: 412-424
8		Thomas Wolf, A. Brand, M. Mohammadzadeh: Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions. J. Symb. Comput. 27(2): 221-238 (1999)
	1997
7		Laurent Pautet, Thomas Wolf: Transparent Filtering of Streams in GLADE. TRI-Ada 1997: 11-19
	1996
6		Jörg Kienzle, Thomas Wolf, Alfred Strohmeier: Secure Communication in Distributed Ada. Ada-Europe 1996: 198-210
	1995
5		Thomas Wolf, Peter Noelle: Vom Rechenzentrum zum Zentrum für Informations- und Kommunikationstechnik. GI-Fachtagung über Rechenzentren 1995: 21-31
4		Thomas Wolf: Programs for Applying Symmetries. ISSAC 1995: 7-15
	1987
3		Thomas Wolf: A package for the analytic investigation and exact solution of differential equations. EUROCAL 1987: 479-490
	1986
2		Wolffried Stucky, Hans Dieter Unkelbach, Wolfgang Weber, Thomas Wolf, Thomas Zeh: VIRTAB - Ein Programmsystem zur Generierung großer und reich strukturierter virtueller Tabellen und deren Aufteilung auf beschränkte Ausgabemedien. Angewandte Informatik 28(1): 20-30 (1986)
	1985
1		Thomas Wolf: Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations. European Conference on Computer Algebra (2) 1985: 597-598

Coauthor Index

1	A. Brand	[8]
2	Mark Brörkens	[20]
3	Benedikt Brors	[21]
4	Ingo Brückner	[20]
5	Ralf Buschermöhle	[20]
6	Werner Damm	[20]
7	Elisabeth Georgii	[21]
8	Wilhelm Hasselbring	[20]
9	Thomas Hofmann	[21]
10	Bob Johnson	[12] [13]
11	Bernhard Josko	[20]
12	Jörg Kienzle	[6] [12] [13]
13	Stephen Michell	[12] [13]
14	M. Mohammadzadeh	[8]
15	Peter Noelle	[5]
16	Laurent Pautet	[7]
17	Matthew Pratola	[19]
18	Bo Sandén (Bo Sanden)	[12] [13]
19	Christoph Schulte	[20]
20	Lei Shen	[22]
21	Alfred Strohmeier	[6] [9]
22	Wolffried Stucky	[2]
23	Hans Dieter Unkelbach	[2]
24	Wolfgang Weber	[2]
25	Andy J. Wellings	[12] [13]
26	Thomas Zeh	[2]

Colors in the list of coauthors