Thomas Wolf Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf, Lei Shen: Checking Life-and Death Problems in Go. ICGA Journal 30(2): 67-74 (2007)
2006
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf, Benedikt Brors, Thomas Hofmann, Elisabeth Georgii: Global Biclustering of Microarray Data. ICDM Workshops 2006: 125-129
2004
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Pratola, Thomas Wolf: Optimizing GoTools' Search Heuristics using Genetic Algorithms CoRR cs.NE/0302002: (2003)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: A comparison of four approaches to the calculation of conservation laws CoRR cs.SC/0301027: (2003)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: The integration of systems of linear PDEs using conservation laws of syzygies CoRR cs.SC/0301028: (2003)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: Size reduction and partial decoupling of systems of equations CoRR cs.SC/0301029: (2003)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: The integration of systems of linear PDEs using conservation laws of syzygies. J. Symb. Comput. 35(5): 499-526 (2003)
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: Size Reduction and Partial Decoupling of Systems of Equations. J. Symb. Comput. 33(3): 367-383 (2002)
2000
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy 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)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: Forward Pruning and Other Heuristic Search Techniques in Tsume Go. Inf. Sci. 122(1): 59-76 (2000)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: The Symbolic Integration of Exact PDEs. J. Symb. Comput. 30(5): 619-629 (2000)
1999
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf, Alfred Strohmeier: Fault Tolerance by Transparent Replication for Distributed Ada 95. Ada-Europe 1999: 412-424
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Pautet, Thomas Wolf: Transparent Filtering of Streams in GLADE. TRI-Ada 1997: 11-19
1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Kienzle, Thomas Wolf, Alfred Strohmeier: Secure Communication in Distributed Ada. Ada-Europe 1996: 198-210
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf, Peter Noelle: Vom Rechenzentrum zum Zentrum für Informations- und Kommunikationstechnik. GI-Fachtagung über Rechenzentren 1995: 21-31
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: Programs for Applying Symmetries. ISSAC 1995: 7-15
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wolf: A package for the analytic investigation and exact solution of differential equations. EUROCAL 1987: 479-490
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolffried 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)