Jahresbibliographie 2000

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

Informatik (07.06.01)


Backes, Werner
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~backes/
 
Baus, Jörg
- Eigene_Liste: http://w5.cs.uni-
sb.de/~baus/
 
Bohnenberger, Thorsten
- Eigene_Liste: http://
w5.cs.uni-sb.de/~bohne/publications/
 
Botsch, Mario
- Eigene_Liste: http://data.mpi-sb.mpg.de/intranet/ag4/
ag4publ.nsf/ListPublications
 
Brand, Per
- Eigene_Liste: http://
www.sics.se/~perbrand/index.html
 
Braune, Beatrix
- Animation of the Generation and Computation of Finite Automata for
Learning Software / von Beatrix Braune; Stephan Diehl; Andreas Kerren;
Reinhard Wilhelm. - In: The Proceedings of the Workshop of Implementing
Automata WIA'99. - Potsdam, Germany, 1999
 
Butz, Andreas
- Eigene_Liste:
http://w5.cs.uni-sb.de/~butz/publications.html
 
Choi, Sung Woo
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~swchoi/publications.html
 
Dell, Peter
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-dell.html
 
Diehl, Stephan
- Eigene_Liste:
http://www.cs.uni-sb.de/RW/users/diehl/books.html
 
- Animation of the Generation and Computation of Finite Automata for
Learning Software / von Beatrix Braune; Stephan Diehl; Andreas Kerren;
Reinhard Wilhelm. - In: The Proceedings of the Workshop of Implementing
Automata WIA'99. - Potsdam, Germany, 1999
 
- Foresighted Graphlayout. - Saarbrücken, Germany : Universität des
Saarlandes, FR 6.2 Informatik, 2000. - 13 S. - (Technical Report ; A/02/2000)
 
- (Hrsg.): Increasing Explorativity by Generation / hrsg. von Stephan Diehl;
Andreas Kerren. - In: Proceedings of World Conference on Educational
Multimedia, Hypermedia and Telecommunications, ED-MEDIA 2000 / ED.: Bourdeau,
J.; Heller, R. - AACE, 2000
 
- (Hrsg.): Tagungsband des GI-Workshops "Softwarevisualisierung 2000"
(SV2000) : 11.-12. Mai 2000, Schloß Dagstuhl. - Saarbrücken, Germany :
Universität des Saarlandes, FR 6.2 Informatik, 2000. - 126 S. - (Technischer
Bericht ; A/01/2000)
 
Duchier, Denys
- Eigene_Liste: http://
www.ps.uni-sb.de/~duchier/p.html
 
- A constraint based treatment of descriptions / von Claire Gardent; Denys
Duchier. - In: Proceedings of IWCS'99 (Third International Workshop on
Computational Semantics), Tilburg, The Netherlands, 1999
 
- Constraint Programming for Natural Language Proceeding. - Lecture Notes,
ESSLLI 2000, 2000
 
- Dominance Constraints with Set Operators / von Denys Duchier; Joachim
Niehren. - In: Proceedings of the First International Conference on
Computational Logic - CL2000. - Springer, 2000. - (LNCS ; 1794)
 
- A Model-Eliminative Treatment of Quantifier-free Tree Descriptions. - In:
Algebraic Methods in Language Procesing, AMILP-2000 / Ed.: Heylen, D.;
Nijholt, A.; Scollo, G. - Universiteit Twente, Faculteit Informatica, 2000, S.
55-66
 
Duncan, Christian Alexander
- Eigene_Liste: http://
www.mpi-sb.mpg.de/~duncan/papers/
 
Erk, Katrin
- Eigene_Liste:
http://www.ps.uni-sb.de/~erk/publications.html
 
- Parallelism Constraints / von Katrin Erk; Joachim Niehren. - In:
International Conference on Rewriting Techniques and Applications. - Springer-
Verlag, Berlin, 2000. - (LNCS)
 
- Die Verarbeitung von Parallelismus-Constraints. - In: Informatik 2000 -
30. Jahrestagung der Gesellschaft für Informatik. - Berlin : Springer-Verlag,
2000
 
Even, Guy
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-guy.html
 
Fatourou, Panagiota
- Eigene_Liste: http://
www.mpi-sb.mpg.de/~faturu/public.htm
 
Ferdinand, Christian
- Eigene_Liste: http://www.cs.uni- sb.de/RW/users/ferdi/
publications.html
 
- Pipeline Behavior Prediction for Superscalar Processors by Abstract
Interpretation / von Jörn Schneider; Christian Ferdinand. - In: Proceedings of
the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded
Systems. - ACM Press, 1999, S. 35-44. - (ACM SIGPLAN Notices ; 34)
 
Fischmann, Matthias
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~fis/
 
Formella, Arno
- Eigene_Liste:
http://www-wjp.cs.uni-sb.de/~formella/publi.html
 
Friedrich, Jörg
- Eigene_Liste: http://
www-wjp.cs.uni-sb.de/~jf/publi.html
 
Funk, Petra
- Eigene_Liste: http://
www.dfki.de/~funk/research.html
 
Ganzinger, Harald
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~hg/index/index3.html
 
Gerteis, Nikolaus
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-nige.html
 
Gillmann, Michael
- Eigene_Liste: http://www-dbs.cs.uni-sb.de/~gillmann/Publications/
 
- Benchmarking and Configuration of Workflow Management Systems / von
Michael Gillmann; Ralf Mindermann; Gerhard Weikum. - In: Cooperative
Information Systems, Proceedings of the 7th International Conference on
Cooperative Information Systems (CoopIS Eilat, Israel, September 2000. -
Berlin : Springer, 2000, S. 186-197. - (Lecture Notes in Computer Science ;
1901)
 
- Benchmarking von Workflow-Management-Systemen / von Gerhard Weikum;
Michael Gillmann; Peter Muth; Jeanine Weissenfels. - In: 8. GI-Fachtagung über
Datenbanksysteme in Büro, Technik und Wissenschaft, Freiburg, 1999. - Berlin :
Springer, 1999, S. 456-465. - (Informatik aktuell)
 
- A Goal-driven Auto-Configuration Tool for the Distributed Workflow
Management System Mentor-lite / von Michael Gillmann; Gerhard Weikum; Jeanine
Weissenfels; German Shegalov; Wolfgang Wonner. - In: Proceedings of the 2000
ACM SIGMOD, International Conference on Management of Data, Dallas, Texas, 16-
18 May 2000. - New York : ACM, 2000, S. 595. - (SIGMOD Record, Volume 29,
Issue 2 ; 29)
 
- Integrating Light-Weight Workflow Management Systems within Business
Environments / von Gerhard Weikum; Peter Muth; Michael Gillmann; Jeanine
Weissenfels. - In: Proceedings of 15th International Conference on Data
Engineering, Sydney, Australia, March 1999. - Los Alamitos, USA : IEEE
Computer Society, 1999, S. 286-295
 
- Mentor-lite Customizability: Tailoring a Light-Weight Workflow Management
System to Workflow Application and Organizational Needs : Demo Description /
von Jeanine Weissenfels; Michael Gillmann; Gerhard Weikum; German Shegalov;
Wolfgang Wonner. - In: Performance and Availability Assessment for the
Configuration of Advances in Database Technology - EDBT 2000 Software
Demonstrations Track 7th International Conference on Extending Database
Technology (EDBT), Konstanz, Germany, March 2000 Proceedings. 2000, S. 17-18
 
- The Mentor-lite Prototype: A Light-Weight Workflow Management System :
Demo Description / von Jeanine Weissenfels; Michael Gillmann; Olivier Roth;
German Shegalov; Wolfgang Wonner. - In: Proceedings, 16th International
Conference on Data Engineering, San Diego, California, 28 February-3 March
2000. - Los Alamitos : IEEE Computer Society, 2000, S. 685-686
 
- Performance and Availability Assessment for the Configuration of
Distributed Workflow Management Systems / von Jeanine Weissenfels; Michael
Gillmann; Gerhard Weikum; Achim Kraiss. - In: Performance and Availability
Assessment for the Configuration of Advances in Database Technology - EDBT
2000 7th International Conference on Extending Database Technology (EDBT),
Konstanz, Germany, March 2000 Proceedings. - Berlin : Springer, 2000, S. 183-
201. - (Lecture Notes in Computer Science ; 1777)
 
- Tape-Disk Join Strategies under Disk Contention / von Gerhard Weikum;
Achim Kraiss; Peter Muth; Michael Gillmann. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 552-561
 
- Workflow History Management in Virtual Enterprises using a Light-Weight
Workflow Management System / von Gerhard Weikum; Peter Muth; Jeanine
Weissenfels; Michael Gillmann. - In: Proceedings of 9th International Workshop
on Research Issues in Data Engineering (RIDE), Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 148-157
 
- XML-enabled Workflow Management for E-Services across Heterogeneous
Platforms / von Gerhard Weikum; German Shegalov; Michael Gillmann. - In: 1st
Workshop on Technologies for E-Services (TES), Cairo, Egypt, 14-15 September
2000 Informal Proceedings. 2000, S. Session 2
 
Grävinghoff, Andreas
- Eigene_Liste: http://
ti2server.fernuni-hagen.de/~angra/
 
Grün, Thomas
- Eigene_Liste: http://
www-wjp.cs.uni-sb.de/~tgr/publi.html
 
Haber, Jörg
- Eigene_Liste: http://
www.mpi-sb.mpg.de/~haberj/publ.html
 
Hagedoorn, Michiel
- Eigene_Liste: http://www.mpi-sb.mpg.de/~hagedoor/
publications/publications.html
 
Haridi, Seif
- Eigene_Liste: http://www.sics.se/~seif/

 
Heckmann, Reinhold
- Eigene_Liste: http://www.cs.uni- sb.de/RW/users/heckmann/
heckmann.html
 
Hense, Andreas
- Eigene_Liste: http:/
/home.t-online.de/home/ahense/publ.htm
 
Henz, Martin
- GIFT; a Generic Interface for Reusing Filtering Algorithms / von Ka Boon
Ng; Chiu Wo Choi; Martin Henz; Tobias Müller. - In: Proceedings of the
Workshop on Techniques for Implementing Constraint Programming Systems - TRICS
/ Ed.: Beldiceanu, Nicolas; Harvey, Warwick; Henz, Martin; Laburthe, Francois;
Monfroy, Eric; Müller, Tobias; Perron, Laurent; Schulte, Christian. 2000, S.
86-100
 
- An Overview of Finite Domain Constraint Programming / von Martin Henz;
Tobias Müller. - In: Proceedings of the Fifth Conference of the Association of
Asia-Pacific Operational Research Societies. 2000
 
Horacek, Helmut
- Eigene_Liste: http://
www.ags.uni-sb.de/~horacek/pubs.html
 
Hotz, Günter
- Eigene_Liste: http://www-hotz.cs.uni- sb.de/~hotz/
schriften_hotz.html
 
Jacobi, Christian
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-cj.html
 
Jordan, Dierk
- Eigene_Liste: http://www-wjp.cs.uni- sb.de/projects/comparch/view-
people-jordan.html
 
Kähler, Kolja
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~kaehler/
 
Kautz, Jan
- Eigene_Liste: http://www.mpi- sb.mpg.de/~jnkautz/publications/
index.html
 
Keller, Jörg
- Eigene_Liste: http://www-wjp.cs.uni- sb.de/projects/comparch/
view-people-jkeller.html
 
Kerren, Andreas
- Eigene_Liste:
http://www.cs.uni-sb.de/RW/users/kerren/index.html
 
- Animation der semantischen Analyse. - In: Informatik und Schule :
Fachspezifische und fachübergreifende didaktische Konzepte. 8. GI- Fachtagung
Informatik und Schule, INFOS99, Potsdam, 22.-25. September 1999 / Hrsg.:
Andreas Schwill. - Berlin/Heidelberg : Springer, 1999, S. 108-120. -
(Informatik aktuell)
 
- Animation of the Generation and Computation of Finite Automata for
Learning Software / von Beatrix Braune; Stephan Diehl; Andreas Kerren;
Reinhard Wilhelm. - In: The Proceedings of the Workshop of Implementing
Automata WIA'99. - Potsdam, Germany, 1999
 
- Foresighted Graphlayout. - Saarbrücken, Germany : Universität des
Saarlandes, FR 6.2 Informatik, 2000. - 13 S. - (Technical Report ; A/02/2000)
 
- (Hrsg.): Increasing Explorativity by Generation / hrsg. von Stephan Diehl;
Andreas Kerren. - In: Proceedings of World Conference on Educational
Multimedia, Hypermedia and Telecommunications, ED-MEDIA 2000 / ED.: Bourdeau,
J.; Heller, R. - AACE, 2000
 
- (Hrsg.): Tagungsband des GI-Workshops "Softwarevisualisierung 2000"
(SV2000) : 11.-12. Mai 2000, Schloß Dagstuhl. - Saarbrücken, Germany :
Universität des Saarlandes, FR 6.2 Informatik, 2000. - 126 S. - (Technischer
Bericht ; A/01/2000)
 
- Visualisierung und Animation der semantischen Analyse von Programmen. -
In: Informatica Didactica - Zeitschrift für fachdidaktische Grundlagen der
Informatik. 
WWW>. 2000, 1
 
Kiesel, Christine
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~kiesel/
 
Klusch, Matthias
- Eigene_Liste: http://
www.dfki.de/~klusch/publications.htm
 
Knuth, Robert
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-knuth.html
 
Kobbelt, Leif
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~kobbelt/publist.html
 
König, Arnd-Christian
- Auto-tuned Spline Synopses for Database Statistics Management / von Arnd-
Christian König; Gerhard Weikum. - In: Proceedings of the 10th International
Conference on Management of Data (COMAD), Pune, India, 2000. - McGraw-Hill,
2000, S. 167-180
 
- Combining Histograms and Parametric Curve Fitting for Feedback-Driven
Query Result-Size Estimation / von Gerhard Weikum; Arnd-Christian König. - In:
Proceedings of the 25th International Conference on Very Large Databases
(VLDB), Edinburgh, Scotland, 1999. - Morgan Kaufmann Publishers, 1999, S. 423-
434
 
- Managing Distributed Memory to Meet Multiclass Workload Response Time
Goals / von Markus Sinnwell; Arnd-Christian König. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 87-95
 
- Towards Self-Tuning Memory Management for Data Servers / von Gerhard
Weikum; Arnd-Christian König; Achim Kraiss; Markus Sinnwell. - In: IEEE Data
Engineering Bulletin Vol.22 No.2, June 1999. - Los Alamitos, CA, USA : IEEE
Computer Society, 1999, 2. - (IEEE Data Engineering Bulletin ; 22)
 
Kohlhase, Michael
- Eigene_Liste: http:/
/www.ags.uni-sb.de/~kohlhase/pubs.html
 
- Dynamic control of scope underspecification / von Markus Egg; Michael
Kohlhase. - In: P. Dekker et al. (eds), Proceedings of the 11th Amsterdam
Colloquium,. 1997, S. 109-114
 
- Higher-Order Colored Unification: a Linguistic Application / von Claire
Gardent; Michael Kohlhase; Karsten Konrad. - In: Technique et Science
Informatique, 18 (1998), 2, S. 181-209
 
- Inference and Computational Semantics / von Patrick Blackburn; Johan Bos;
Michael Kohlhase; Hans de Nivelle. - In: Proceedings of the Third
International Workshop on Computational Semantics (IWCS-3)\/}, Tilburg,
January 1999, edited by H.Bunt and E. Thijsse, S. 5-19
 
- Steuerung der Inferenz in der Diskursverarbeitung / von Markus Egg; Claire
Gardent; Michael Kohlhase. - In: Kognitionswissenschaft, 7 (1998), S. 106-110
 
- Steuerung der Inferenz in der Diskursverarbeitung / von Claire Gardent;
Markus Egg; Michael Kohlhase. - In: Kognitionswissenschaft, 7 (1998), 3, S.
101-106
 
- A type-theoretic semantics for lambda-DRT / von Manfred Pinkal; Michael
Kohlhase; Susanna Kuschert. - In: P. Dekker/ M. Stokhof (Hrsg). Proceedings of
the 10th Amsterdam Colloquium. Amsterdam: de Gruyter. 1996, S. 479-498
 
- Underspecification of quantifier scope / von Markus Egg; Michael Kohlhase.
- In: Beiträge zur 6. Fachtagung der Sektion Computerlinguistik DGfS-CL,
Heidelberg, Institut für Logik und Linguistik, IBM Deutschland. 1997
 
Kraiss, Achim
- Eigene_Liste: http://www-dbs.cs.uni-sb.de/~kraiss/
publications.html
 
- Performance and Availability Assessment for the Configuration of
Distributed Workflow Management Systems / von Jeanine Weissenfels; Michael
Gillmann; Gerhard Weikum; Achim Kraiss. - In: Performance and Availability
Assessment for the Configuration of Advances in Database Technology - EDBT
2000 7th International Conference on Extending Database Technology (EDBT),
Konstanz, Germany, March 2000 Proceedings. - Berlin : Springer, 2000, S. 183-
201. - (Lecture Notes in Computer Science ; 1777)
 
- Tape-Disk Join Strategies under Disk Contention / von Gerhard Weikum;
Achim Kraiss; Peter Muth; Michael Gillmann. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 552-561
 
- Towards Self-Tuning Memory Management for Data Servers / von Gerhard
Weikum; Arnd-Christian König; Achim Kraiss; Markus Sinnwell. - In: IEEE Data
Engineering Bulletin Vol.22 No.2, June 1999. - Los Alamitos, CA, USA : IEEE
Computer Society, 1999, 2. - (IEEE Data Engineering Bulletin ; 22)
 
Kröning, Daniel
- Eigene_Liste: http://www-wjp.cs.uni- sb.de/projects/comparch/
view-people-kroening.html
 
- Proving the Correctness of Pipelined Micro-Architectures / von Daniel
Kröning; Wolfgang Paul; Silvia Melitta Müller. - In: Proc. of ITG/GI/GMM-
Workshop "Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen" / Hrsg.: Waldschmidt, Klaus; Grimm,
Christoph. - VDE Verlag, 2000, S. 89-98
 
- Proving the Correctness of Processors with Delayed Branch using Delayed PC
/ von Silvia Melitta Müller; Wolfgang Paul; Daniel Kröning. - In: Proc.
Symposium on Numbers, Information and Complexity, Bielefeld / Hrsg.:
Althoefer, I. - Kluwer, 2000, S. 579-588
 
Langenbach, Marc
- Eigene_Liste: http://www.cs.uni-sb.de/RW/users/mlangen/
index.html
 
Lehmann, Frank J.
- Eigene_Liste:
http://www-tcs.cs.uni-sb.de/lehmann/index.html
 
Leister, Holger
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-holy.html
 
Libbrecht, Paul
- Eigene_Liste: http://www.ags.uni-
sb.de/~paul/
 
Loeckx, Jacques
- Algebraic specification of abstract data types / von Jacques Loeckx; H.-D.
Ehrich; Markus Wolf. - In: Handbook of Logic in Computer Science, Volume 5 /
Ed.: Abramsky, S.; Gabbay, Dov M.; Maibaum, T.S.E. - Oxford : Clarendon Press,
Volume 5 (2000), S. 217-316
 
Lohse, Marco
- Eigene_Liste: http://
www.marco-lohse.de/publications.htm
 
Martin, Florian
- Eigene_Liste:
http://www.cs.uni-sb.de/RW/users/martin/paper.html
 
Mehlhorn, Kurt
- Eigene_Liste: http://www.mpi- sb.mpg.de/~mehlhorn/Journallist/
node1.html
 
- A Polynomial-Time Fragment of Dominance Constraint / von Alexander Koller;
Kurt Mehlhorn; Joachim Niehren. - In: Proceedings of the 38th Annual Meeting
of the Association of Computational Linguistics. 2000
 
Melis, Erica
- Eigene_Liste: http://
jswww.cs.uni-sb.de/~melis/
 
- Extensions of Constraint Solving for Proof Planning / von Erica Melis;
Jürgen Zimmer; Tobias Müller. - In: Proceedings of the 14th European
Conference on Artificial Intelligence / Ed.: Horn, Werner. - IOS-Press, 2000,
S. 229-233
 
- Integrating Constraint Solving into Proof Planning / von Erica Melis;
Jürgen Zimmer; Tobias Müller. - In: Frontiers of Combining Systems - Third
International Workshop, FroCos 2000 / Ed.: Kirchner, Helene; Ringeissen,
Christophe. 2000, S. 32-46. - (INAI ; 1794)
 
Meyer Kirsch, Christoph
- Eigene_Liste: http://www-
cad.eecs.berkeley.edu/~cm/
 
Ming, Li
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~ming/
 
Müller, Martin
- Ordering Constraints over Feature Trees / von Martin Müller; Joachim
Niehren; Andreas Podelski. - In: Constraints, an International Journal, 5
(2000), 1-2
 
- Type Inference for First-Class Messages with Feature Constraints / von
Martin Müller; Susumu Nishimura. - In: International Journal of Foundations of
Computer Science - Special Issue on ASIAN 98, 11 (2000), 1, S. 29-63
 
Müller, Silvia Melitta
- Eigene_Liste: http://www-wjp.cs.uni- sb.de/projects/comparch/
view-people-smueller.html
 
- Computer Architecture. - Berlin Heidelberg : Springer, 2000
 
- Proving the Correctness of Pipelined Micro-Architectures / von Daniel
Kröning; Wolfgang Paul; Silvia Melitta Müller. - In: Proc. of ITG/GI/GMM-
Workshop "Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen" / Hrsg.: Waldschmidt, Klaus; Grimm,
Christoph. - VDE Verlag, 2000, S. 89-98
 
- Proving the Correctness of Processors with Delayed Branch using Delayed PC
/ von Silvia Melitta Müller; Wolfgang Paul; Daniel Kröning. - In: Proc.
Symposium on Numbers, Information and Complexity, Bielefeld / Hrsg.:
Althoefer, I. - Kluwer, 2000, S. 579-588
 
Müller, Tobias
- Eigene_Liste: http://
www.ps.uni-sb.de/~tmueller/cv.html
 
- Extensions of Constraint Solving for Proof Planning / von Erica Melis;
Jürgen Zimmer; Tobias Müller. - In: Proceedings of the 14th European
Conference on Artificial Intelligence / Ed.: Horn, Werner. - IOS-Press, 2000,
S. 229-233
 
- GIFT; a Generic Interface for Reusing Filtering Algorithms / von Ka Boon
Ng; Chiu Wo Choi; Martin Henz; Tobias Müller. - In: Proceedings of the
Workshop on Techniques for Implementing Constraint Programming Systems - TRICS
/ Ed.: Beldiceanu, Nicolas; Harvey, Warwick; Henz, Martin; Laburthe, Francois;
Monfroy, Eric; Müller, Tobias; Perron, Laurent; Schulte, Christian. 2000, S.
86-100
 
- Integrating Constraint Solving into Proof Planning / von Erica Melis;
Jürgen Zimmer; Tobias Müller. - In: Frontiers of Combining Systems - Third
International Workshop, FroCos 2000 / Ed.: Kirchner, Helene; Ringeissen,
Christophe. 2000, S. 32-46. - (INAI ; 1794)
 
- An Overview of Finite Domain Constraint Programming / von Martin Henz;
Tobias Müller. - In: Proceedings of the Fifth Conference of the Association of
Asia-Pacific Operational Research Societies. 2000
 
- Practical Investigation of Constraints with Graph Views. - In: Proceedings
of the Sixth International Conference on Principles and Practice of Constraint
Programming - CP 2000 / Ed.: Dechter, Rina. - Springer, 2000, S. 320-336. -
(LNCS ; 1984)
 
- Promotiong Constraints to First-class Status. - In: Proceedings of the
First International Conference on Computational Logic - CL2000 / Ed.: Lloyd,
John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu
Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J.
- Springer, 2000, S. 429-447. - (LNCS ; 1861)
 
Muth, Peter
- Eigene_Liste: http://paris.cs.uni- sb.de/public_html/leute/peter/
papers.html
 
- Benchmarking von Workflow-Management-Systemen / von Gerhard Weikum;
Michael Gillmann; Peter Muth; Jeanine Weissenfels. - In: 8. GI-Fachtagung über
Datenbanksysteme in Büro, Technik und Wissenschaft, Freiburg, 1999. - Berlin :
Springer, 1999, S. 456-465. - (Informatik aktuell)
 
- Incremental Scheduling of Mixed Workloads in Multimedia Information
Servers / von Gerhard Weikum; Guido Nerjes; Peter Muth; M. Paterakis; Y.
Romboyannakis; P. Triantafillou. - Kluewer, 1999. - (Special Issue of the
Journal of Multimedia Tools and Applications)
 
- Integrating Light-Weight Workflow Management Systems within Business
Environments / von Gerhard Weikum; Peter Muth; Michael Gillmann; Jeanine
Weissenfels. - In: Proceedings of 15th International Conference on Data
Engineering, Sydney, Australia, March 1999. - Los Alamitos, USA : IEEE
Computer Society, 1999, S. 286-295
 
- The LHAM Log-structured History Data Access Method / von Peter Muth;
Patrick O'Neil; Achim Pick; Gerhard Weikum. - In: The VLDB Journal Vol.8
No.3+4, February 2000. - Berlin : Springer, 2000, S. 199-221. - (The VLDB
Journal ; 8)
 
- A Performance Model of Mixed-Workload Multimedia Information Servers / von
Gerhard Weikum; Guido Nerjes; Peter Muth. - In: Proceedings of 10. ITG/GI-
Fachtagung: Messen, Modellieren und Bewerten von Rechen- und
Kommunikationssystemen (MMB'99), Trier, September 21-24, 1999, S. 105-119
 
- Tape-Disk Join Strategies under Disk Contention / von Gerhard Weikum;
Achim Kraiss; Peter Muth; Michael Gillmann. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 552-561
 
- Workflow History Management in Virtual Enterprises using a Light-Weight
Workflow Management System / von Gerhard Weikum; Peter Muth; Jeanine
Weissenfels; Michael Gillmann. - In: Proceedings of 9th International Workshop
on Research Issues in Data Engineering (RIDE), Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 148-157
 
Nerjes, Guido
- Eigene_Liste:
http://www-dbs.cs.uni-sb.de/leute/guido/home.html
 
- Incremental Scheduling of Mixed Workloads in Multimedia Information
Servers / von Gerhard Weikum; Guido Nerjes; Peter Muth; M. Paterakis; Y.
Romboyannakis; P. Triantafillou. - Kluewer, 1999. - (Special Issue of the
Journal of Multimedia Tools and Applications)
 
- A Multimedia Information Server with Mixed Workload Scheduling. - In:
Proceedings, 16th International Conference on Data Engineering, San Diego,
California, 28 February-3 March 2000. - Los Alamitos : IEEE Computer Society,
2000, S. 670-671
 
- A Performance Model of Mixed-Workload Multimedia Information Servers / von
Gerhard Weikum; Guido Nerjes; Peter Muth. - In: Proceedings of 10. ITG/GI-
Fachtagung: Messen, Modellieren und Bewerten von Rechen- und
Kommunikationssystemen (MMB'99), Trier, September 21-24, 1999, S. 105-119
 
Niehren, Joachim
- Eigene_Liste:
http://www.ps.uni-sb.de/~niehren/publications.html
 
- (Hrsg.): Constraint Programming in Computational Linguistics / hrsg. von
Alexander Koller; Joachim Niehren. - In: Proceedings of the eight CSLI
Workshop on Logic Language and Computation / Ed.: Barker-Plummer, D.; Beaver,
D.; Van Benthem, J.; Scotto Di Luzio, P. - CSLI Press, 2000
 
- Dominance Constraints with Set Operators / von Denys Duchier; Joachim
Niehren. - In: Proceedings of the First International Conference on
Computational Logic - CL2000. - Springer, 2000. - (LNCS ; 1794)
 
- On equality up-to constraints over finite trees, context unification and
one-step rewriting / von Manfred Pinkal; Joachim Niehren; Peter Ruhrberg. -
In: Proceedings of the International Conference on Automated Deduction. -
Berlin : Springer-Verlag, 1997, S. 34-48
 
- On Underspecified Processing of Dynamic Semantics / von Alexander Koller;
Joachim Niehren. - In: Proceedings of the 18th International Conference on
Computational Linguistics. 2000, S. 460-466
 
- Ordering Constraints over Feature Trees / von Martin Müller; Joachim
Niehren; Andreas Podelski. - In: Constraints, an International Journal, 5
(2000), 1-2
 
- Parallelism Constraints / von Katrin Erk; Joachim Niehren. - In:
International Conference on Rewriting Techniques and Applications. - Springer-
Verlag, Berlin, 2000. - (LNCS)
 
- A Polynomial-Time Fragment of Dominance Constraint / von Alexander Koller;
Kurt Mehlhorn; Joachim Niehren. - In: Proceedings of the 38th Annual Meeting
of the Association of Computational Linguistics. 2000
 
- Relaxing Underspecified Semantic Representations for Reinterpretation /
von Alexander Koller; Joachim Niehren; Kristina Striegnitz. - In: Grammars, 3
(2000), 2/3
 
- Scope Underspecification and Processing. Lecture Notes, ESSLLI '99,
Utrecht / von Alexander Koller; Joachim Niehren
 
- A uniform approach to underspecification and parallelism / von Manfred
Pinkal; Joachim Niehren; Peter Ruhrberg. - In: Proceedings of the 35th Annual
Meeting of the Association of Computational Linguistics (ACL). - Madrid :
Association of Computational Linguistics, 1997, S. 410-417
 
- Uniform Confluence in Concurrent Computation. - In: Journal of Functional
Programming, 10 (2000), 3, S. 1-47
 
Paul, Wolfgang
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-wjp.html
 
- Computer Architecture. - Berlin Heidelberg : Springer, 2000
 
- Proving the Correctness of Pipelined Micro-Architectures / von Daniel
Kröning; Wolfgang Paul; Silvia Melitta Müller. - In: Proc. of ITG/GI/GMM-
Workshop "Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen" / Hrsg.: Waldschmidt, Klaus; Grimm,
Christoph. - VDE Verlag, 2000, S. 89-98
 
- Proving the Correctness of Processors with Delayed Branch using Delayed PC
/ von Silvia Melitta Müller; Wolfgang Paul; Daniel Kröning. - In: Proc.
Symposium on Numbers, Information and Complexity, Bielefeld / Hrsg.:
Althoefer, I. - Kluwer, 2000, S. 579-588
 
- Schemas and Genetic Programming / von Wolfgang Paul; Andreas Birk. - In:
Prerational Intelligence: Adaptive Behavior and Intelligent Systems Without
Symbols and Logic / H. Ritter et al. (eds). - Netherlands : Kluwer Academic
Publishers, 2000, S. 345-357. - (Studies in Cognitive Systems ; 2)
 
Pearce, David
- Eigene_Liste:
http://www.compulog.org/staff/DavidPearce.html
 
Pfitzmann, Birgit
- Eigene_Liste:
http://www.semper.org/sirene/lit/sirene.lit.html
 
Pomi, Andreas
- Eigene_Liste: http://
graphics.cs.uni-sb.de/~apomi/
 
Priesnitz, Tim
- Eigene_Liste: http://
www.ps.uni-sb.de/~tim/pub.html
 
Rauber, Thomas
- Eigene_Liste: http://www.informatik.uni-halle.de/~rauber/webpage/
public.html
 
Röhrig, Jochen
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/~bird/
publikationen.html
 
Scheidig, Helge
- Eigene_Liste: http://hssun5.cs.uni-sb.de/lehrstuhl/
Forschung.html
 
Schenkel, Ralf
- Eigene_Liste:
http://www-dbs.cs.uni-sb.de/~schenkel/home.html
 
- Experiences with Building a Federated Transaction Manager based on CORBA
OTS / von Gerhard Weikum; Ralf Schenkel. - In: Proceedings of 2nd
International Workshop on Engineering Federated Information Systems,
Kühlungsborn, Germany, May 1999. - St. Augustin : Infix, 1999, S. 79-94
 
- Federated Transaction Management With Snapshot Isolation / von Gerhard
Weikum; Ralf Schenkel; N. Weißenberg; X Wu. - In: Proceedings of 8th
International Workshop on Foundations of Models and Languages for Data and
Objects - Transactions and Database Dynamics, Schloß Dagstuhl, September 27-
30, 1999. - Berlin : Springer, 1999, S. 1-25. - (Lecture Notes in Computer
Science ; 1773)
 
- Integrating Snapshot Isolation Into Transactional Federations / von Ralf
Schenkel; Gerhard Weikum. - In: Cooperative Information Systems, Proceedings
of the 7th IFCIS International Conference on Cooperative Information Systems
(CoopIS 2000), Eilat, Israel, September 2000. - Berlin : Springer, 2000, S. 90-
101. - (Lecture Notes in Computer Science ; 1901)
 
- Taming the Tiger: How to Cope With Real Database Products in Transactional
Federations for Internet Applications / von Gerhard Weikum; Ralf Schenkel. -
In: Proceedings des GI-Workshops "Internet-Datenbanken", Jahrestagung der
Gesellschaft für Informatik (Informatik 2000), Berlin, September 2000. -
Magdeburg, 2000, S. 13-29
 
Schillo, Michael
- Eigene_Liste: http://www.virtosphere.de/schillo/research/
publications.html
 
Schneider, Jörn
- Eigene_Liste: http://www.cs.uni- sb.de/~js/PUBLICATIONS/
publications.html
 
- Pipeline Behavior Prediction for Superscalar Processors by Abstract
Interpretation / von Jörn Schneider; Christian Ferdinand. - In: Proceedings of
the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded
Systems. - ACM Press, 1999, S. 35-44. - (ACM SIGPLAN Notices ; 34)
 
Schömer, Elmar
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~schoemer/
 
Schulte, Christian
- Eigene_Liste: http://
www.ps.uni-sb.de/~schulte/papers/
 
- Parallel Search Made Simple. - In: Proceedings of TRICS: Techniques for
Implementing workshop of CP 2000 / Ed.: Beldiceanu, Nicolas; Warwick, Harvey;
Henz, Martin; Laburthe, Francois; Monfroy, Eric; Müller, Tobias; Perron,
Laurent; Schulte, Christian. 2000
 
- Programming Deep Concurrent Constraint Combinators. - In: Practical
Aspects of Declarative Languages, Second International Workshop, PADL 2000 /
Ed.: Pontelli, Enrico; Santos Costa, Vitor. - Springer, 2000, S. 215-229. -
(Lecture Notes in Computer Science ; 1753)
 
Seidel, Peter-Michael
- Eigene_Liste: http://www-wjp.cs.uni- sb.de/projects/comparch/
view-people-pmseidel.html
 
Siekmann, Jörg
- Eigene_Liste: http:/
/www.ags.uni-sb.de/~siekmann/pubs.html
 
Sinnwell, Markus
- Managing Distributed Memory to Meet Multiclass Workload Response Time
Goals / von Markus Sinnwell; Arnd-Christian König. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 87-95
 
- Towards Self-Tuning Memory Management for Data Servers / von Gerhard
Weikum; Arnd-Christian König; Achim Kraiss; Markus Sinnwell. - In: IEEE Data
Engineering Bulletin Vol.22 No.2, June 1999. - Los Alamitos, CA, USA : IEEE
Computer Society, 1999, 2. - (IEEE Data Engineering Bulletin ; 22)
 
Smolka, Gert
- Eigene_Liste:
http://www.ps.uni-sb.de/~smolka/publications.html
 
Soler, Cyril
- Eigene_Liste: http://w3imagis.imag.fr/Membres/Cyril.Soler/PUBLIS/
Publis.html
 
Sparmann, Uwe
- Eigene_Liste: http://www-
hotz.cs.uni-sb.de/~sparmann/
 
Storb, Christoph
- Eigene_Liste: http://
www.mpi-sb.mpg.de/~mpi/pub.html
 
Tawara, Takehiro
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~tawara/
 
Theiling, Henrik
- Eigene_Liste: http://www.cs.uni-sb.de/~theiling/
publications.html
 
Theobald, Anja
- Adding Relevance to XML / von Anja Theobald; Gerhard Weikum. - In:
Proceedings of the third International Workshop on the Web and Databases
(WebDB), Dallas, USA, May 2000
 
Thesing, Stephan
- Eigene_Liste: http://
www.cs.uni-sb.de/~thesing/paper.html
 
Treinen, Ralf
- Eigene_Liste: http:/
/www.lri.fr/~treinen/publications.html
 
van Mulken, Susanne
- Eigene_Liste: http://
w5.cs.uni-sb.de/~mulken/pubs.html
 
Van Roy, Peter
- Eigene_Liste: http:/
/www.info.ucl.ac.be/people/PVR/cv.html
 
Wald, Ingo
- Eigene_Liste: http://graphics.cs.uni- sb.de/~wald/Publications/
index.html
 
Walser, Joachim P.
- Eigene_Liste:
http://www.ps.uni-sb.de/~walser/publications.html
 
Wannemacher, Daniel
- Eigene_Liste: http://www-wjp.cs.uni-sb.de/projects/comparch/view-
people-dany.html
 
Weikum, Gerhard
- Eigene_Liste: http://
www-dbs.cs.uni-sb.de/content_voe.htm
 
- Adding Relevance to XML / von Anja Theobald; Gerhard Weikum. - In:
Proceedings of the third International Workshop on the Web and Databases
(WebDB), Dallas, USA, May 2000
 
- Auto-tuned Spline Synopses for Database Statistics Management / von Arnd-
Christian König; Gerhard Weikum. - In: Proceedings of the 10th International
Conference on Management of Data (COMAD), Pune, India, 2000. - McGraw-Hill,
2000, S. 167-180
 
- Benchmarking and Configuration of Workflow Management Systems / von
Michael Gillmann; Ralf Mindermann; Gerhard Weikum. - In: Cooperative
Information Systems, Proceedings of the 7th International Conference on
Cooperative Information Systems (CoopIS Eilat, Israel, September 2000. -
Berlin : Springer, 2000, S. 186-197. - (Lecture Notes in Computer Science ;
1901)
 
- Benchmarking von Workflow-Management-Systemen / von Gerhard Weikum;
Michael Gillmann; Peter Muth; Jeanine Weissenfels. - In: 8. GI-Fachtagung über
Datenbanksysteme in Büro, Technik und Wissenschaft, Freiburg, 1999. - Berlin :
Springer, 1999, S. 456-465. - (Informatik aktuell)
 
- Combining Histograms and Parametric Curve Fitting for Feedback-Driven
Query Result-Size Estimation / von Gerhard Weikum; Arnd-Christian König. - In:
Proceedings of the 25th International Conference on Very Large Databases
(VLDB), Edinburgh, Scotland, 1999. - Morgan Kaufmann Publishers, 1999, S. 423-
434
 
- Experiences with Building a Federated Transaction Manager based on CORBA
OTS / von Gerhard Weikum; Ralf Schenkel. - In: Proceedings of 2nd
International Workshop on Engineering Federated Information Systems,
Kühlungsborn, Germany, May 1999. - St. Augustin : Infix, 1999, S. 79-94
 
- Federated Transaction Management With Snapshot Isolation / von Gerhard
Weikum; Ralf Schenkel; N. Weißenberg; X Wu. - In: Proceedings of 8th
International Workshop on Foundations of Models and Languages for Data and
Objects - Transactions and Database Dynamics, Schloß Dagstuhl, September 27-
30, 1999. - Berlin : Springer, 1999, S. 1-25. - (Lecture Notes in Computer
Science ; 1773)
 
- A Goal-driven Auto-Configuration Tool for the Distributed Workflow
Management System Mentor-lite / von Michael Gillmann; Gerhard Weikum; Jeanine
Weissenfels; German Shegalov; Wolfgang Wonner. - In: Proceedings of the 2000
ACM SIGMOD, International Conference on Management of Data, Dallas, Texas, 16-
18 May 2000. - New York : ACM, 2000, S. 595. - (SIGMOD Record, Volume 29,
Issue 2 ; 29)
 
- Incremental Scheduling of Mixed Workloads in Multimedia Information
Servers / von Gerhard Weikum; Guido Nerjes; Peter Muth; M. Paterakis; Y.
Romboyannakis; P. Triantafillou. - Kluewer, 1999. - (Special Issue of the
Journal of Multimedia Tools and Applications)
 
- Integrating Light-Weight Workflow Management Systems within Business
Environments / von Gerhard Weikum; Peter Muth; Michael Gillmann; Jeanine
Weissenfels. - In: Proceedings of 15th International Conference on Data
Engineering, Sydney, Australia, March 1999. - Los Alamitos, USA : IEEE
Computer Society, 1999, S. 286-295
 
- Integrating Snapshot Isolation Into Transactional Federations / von Ralf
Schenkel; Gerhard Weikum. - In: Cooperative Information Systems, Proceedings
of the 7th IFCIS International Conference on Cooperative Information Systems
(CoopIS 2000), Eilat, Israel, September 2000. - Berlin : Springer, 2000, S. 90-
101. - (Lecture Notes in Computer Science ; 1901)
 
- Intelligente Suche nach Ätzrezepturen für Werkstoffe / von Gerhard Weikum;
Christian Mähler; Frank Mücklich. - In: 8. GI-Fachtagung über Datenbanksysteme
in Büro, Technik und Wissenschaft, Freiburg, 1999. - Berlin : Springer, 1999,
S. 69-79. - (Informatik aktuell)
 
- The LHAM Log-structured History Data Access Method / von Peter Muth;
Patrick O'Neil; Achim Pick; Gerhard Weikum. - In: The VLDB Journal Vol.8
No.3+4, February 2000. - Berlin : Springer, 2000, S. 199-221. - (The VLDB
Journal ; 8)
 
- Mentor-lite Customizability: Tailoring a Light-Weight Workflow Management
System to Workflow Application and Organizational Needs : Demo Description /
von Jeanine Weissenfels; Michael Gillmann; Gerhard Weikum; German Shegalov;
Wolfgang Wonner. - In: Performance and Availability Assessment for the
Configuration of Advances in Database Technology - EDBT 2000 Software
Demonstrations Track 7th International Conference on Extending Database
Technology (EDBT), Konstanz, Germany, March 2000 Proceedings. 2000, S. 17-18
 
- An Optimality Proof of the LRU-K Page Replacement Algorithm / von Gerhard
Weikum; E. J. O'Neil; P. E. O'Neil. - In: Journal of the ACM. - USA : ACM
Press, 46 (1999), 1, S. 92-112
 
- Performance and Availability Assessment for the Configuration of
Distributed Workflow Management Systems / von Jeanine Weissenfels; Michael
Gillmann; Gerhard Weikum; Achim Kraiss. - In: Performance and Availability
Assessment for the Configuration of Advances in Database Technology - EDBT
2000 7th International Conference on Extending Database Technology (EDBT),
Konstanz, Germany, March 2000 Proceedings. - Berlin : Springer, 2000, S. 183-
201. - (Lecture Notes in Computer Science ; 1777)
 
- A Performance Model of Mixed-Workload Multimedia Information Servers / von
Gerhard Weikum; Guido Nerjes; Peter Muth. - In: Proceedings of 10. ITG/GI-
Fachtagung: Messen, Modellieren und Bewerten von Rechen- und
Kommunikationssystemen (MMB'99), Trier, September 21-24, 1999, S. 105-119
 
- Quality of Service Guarantees for Multimedia Digital Libraries and Beyond
: Invited Keynote. - In: Proceedings of the 10th International Conference on
Management of Data (COMAD), Pune, India, 2000. - McGraw-Hill, 2000, S. 4-5
 
- Rethinking Database System Architecture: Towards a Self-tuning RISC- style
Database System / von Surajit Chaudhuri; Gerhard Weikum. - In: Proceedings of
the 26th International Conference on Very Large Data Bases, Cairo, Egypt, 10-
14 September 2000. - Orlando, USA : Morgan Kaufmann Publishers, 2000, S. 1-10
 
- Taming the Tiger: How to Cope With Real Database Products in Transactional
Federations for Internet Applications / von Gerhard Weikum; Ralf Schenkel. -
In: Proceedings des GI-Workshops "Internet-Datenbanken", Jahrestagung der
Gesellschaft für Informatik (Informatik 2000), Berlin, September 2000. -
Magdeburg, 2000, S. 13-29
 
- Tape-Disk Join Strategies under Disk Contention / von Gerhard Weikum;
Achim Kraiss; Peter Muth; Michael Gillmann. - In: Proceedings of 15th
International Conference on Data Engineering, Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 552-561
 
- Towards Guaranteed Quality and Dependability of Information Services. -
In: 8. GI-Fachtagung über Datenbanksysteme in Büro, Technik und Wissenschaft,
Freiburg, 1999. - Berlin : Springer, 1999, S. 379-409. - (Informatik aktuell)
 
- Towards Self-Tuning Memory Management for Data Servers / von Gerhard
Weikum; Arnd-Christian König; Achim Kraiss; Markus Sinnwell. - In: IEEE Data
Engineering Bulletin Vol.22 No.2, June 1999. - Los Alamitos, CA, USA : IEEE
Computer Society, 1999, 2. - (IEEE Data Engineering Bulletin ; 22)
 
- The Web in 2010: Challenges and Opportunities for Database Research. - In:
Schloss Dagstuhl 10th Anniversary Conference: Informatics - 10 Years Back, 10
Years Ahead. - Springer, 2000. - (Lecture Notes in Computer Science 2000)
 
- Workflow History Management in Virtual Enterprises using a Light-Weight
Workflow Management System / von Gerhard Weikum; Peter Muth; Jeanine
Weissenfels; Michael Gillmann. - In: Proceedings of 9th International Workshop
on Research Issues in Data Engineering (RIDE), Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 148-157
 
- XML-enabled Workflow Management for E-Services across Heterogeneous
Platforms / von Gerhard Weikum; German Shegalov; Michael Gillmann. - In: 1st
Workshop on Technologies for E-Services (TES), Cairo, Egypt, 14-15 September
2000 Informal Proceedings. 2000, S. Session 2
 
Weissenfels, Jeanine
- Benchmarking von Workflow-Management-Systemen / von Gerhard Weikum;
Michael Gillmann; Peter Muth; Jeanine Weissenfels. - In: 8. GI-Fachtagung über
Datenbanksysteme in Büro, Technik und Wissenschaft, Freiburg, 1999. - Berlin :
Springer, 1999, S. 456-465. - (Informatik aktuell)
 
- A Goal-driven Auto-Configuration Tool for the Distributed Workflow
Management System Mentor-lite / von Michael Gillmann; Gerhard Weikum; Jeanine
Weissenfels; German Shegalov; Wolfgang Wonner. - In: Proceedings of the 2000
ACM SIGMOD, International Conference on Management of Data, Dallas, Texas, 16-
18 May 2000. - New York : ACM, 2000, S. 595. - (SIGMOD Record, Volume 29,
Issue 2 ; 29)
 
- Integrating Light-Weight Workflow Management Systems within Business
Environments / von Gerhard Weikum; Peter Muth; Michael Gillmann; Jeanine
Weissenfels. - In: Proceedings of 15th International Conference on Data
Engineering, Sydney, Australia, March 1999. - Los Alamitos, USA : IEEE
Computer Society, 1999, S. 286-295
 
- Mentor-lite Customizability: Tailoring a Light-Weight Workflow Management
System to Workflow Application and Organizational Needs : Demo Description /
von Jeanine Weissenfels; Michael Gillmann; Gerhard Weikum; German Shegalov;
Wolfgang Wonner. - In: Performance and Availability Assessment for the
Configuration of Advances in Database Technology - EDBT 2000 Software
Demonstrations Track 7th International Conference on Extending Database
Technology (EDBT), Konstanz, Germany, March 2000 Proceedings. 2000, S. 17-18
 
- The Mentor-lite Prototype: A Light-Weight Workflow Management System :
Demo Description / von Jeanine Weissenfels; Michael Gillmann; Olivier Roth;
German Shegalov; Wolfgang Wonner. - In: Proceedings, 16th International
Conference on Data Engineering, San Diego, California, 28 February-3 March
2000. - Los Alamitos : IEEE Computer Society, 2000, S. 685-686
 
- Performance and Availability Assessment for the Configuration of
Distributed Workflow Management Systems / von Jeanine Weissenfels; Michael
Gillmann; Gerhard Weikum; Achim Kraiss. - In: Performance and Availability
Assessment for the Configuration of Advances in Database Technology - EDBT
2000 7th International Conference on Extending Database Technology (EDBT),
Konstanz, Germany, March 2000 Proceedings. - Berlin : Springer, 2000, S. 183-
201. - (Lecture Notes in Computer Science ; 1777)
 
- Workflow History Management in Virtual Enterprises using a Light-Weight
Workflow Management System / von Gerhard Weikum; Peter Muth; Jeanine
Weissenfels; Michael Gillmann. - In: Proceedings of 9th International Workshop
on Research Issues in Data Engineering (RIDE), Sydney, Australia, March 1999. -
Los Alamitos, USA : IEEE Computer Society, 1999, S. 148-157
 
Wilhelm, Reinhard
- Eigene_Liste: http://www.cs.uni- sb.de/RW/users/wilhelm/
wilhelm.bib.html
 
- Animation of the Generation and Computation of Finite Automata for
Learning Software / von Beatrix Braune; Stephan Diehl; Andreas Kerren;
Reinhard Wilhelm. - In: The Proceedings of the Workshop of Implementing
Automata WIA'99. - Potsdam, Germany, 1999
 
Wittig, Frank
- Eigene_Liste: http://w5.cs.uni-
sb.de/~fwittig/
 
Wodtke, Dirk
- 
Eigene_Liste: http://www-dbs.cs.uni-sb.de/public_html/papers/papers_dirk.html
 
Wolf, Markus
- Algebraic specification of abstract data types / von Jacques Loeckx; H.-D.
Ehrich; Markus Wolf. - In: Handbook of Logic in Computer Science, Volume 5 /
Ed.: Abramsky, S.; Gabbay, Dov M.; Maibaum, T.S.E. - Oxford : Clarendon Press,
Volume 5 (2000), S. 217-316
 
Wolpers, Andreas
- Eigene_Liste: http://www.dfki.uni- sb.de/vse/staff/wolpers/
publications.html
 
Würtz, Jörg
- Scheduling of Time-Triggered Real-Time Systems / von Klaus Schild; Jörg
Würtz. - In: Constraints, 5 (2000), 4, S. 335-357
Jahresbibliographie 2000

Veröffentlichungen vonAngehörigen der Hochschulen des Saarlandes

Informatik (07.06.01)

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes
