Jahresbibliographie 1999

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

FB 14 - Informatik (29.05.00)

Backofen, Rolf
- u.a.: DISCO An HPSG-based NLP System and its Application for Appointment
Scheduling. - In: Proceedings of COLING-94. - Kyoto, 1994, S. 436-440
 
Duchier, Denys
- Axiomatizing Dependency Parsing Using Set Constraints. - In: Sixth Meeting
on Mathematics of Language. 1999, S. 115-126
 
- u.a.: A Constraint-Based Treatment of Descriptions. - In: Third
International Workshop on Computational Semantics : IWCS-3 / Ed.: Bunt, H. C.;
Thijsse, E. G. C. 1999, S. 71-85
 
- u.a.: Parsing with Tree Descriptions: a constraint-based approach. - In:
Sixth International Workshop on Natural Language Understanding and Logic
Programming : NLULP'99. 1999
 
- Set Constraints in Computational Linguistics : Solving Tree Descriptions. -
In: Workshop on Declarative Programming with Sets : DPS'99. 1999, S. 91-98
 
- u.a.: Studien zur performanzorientierten Linguistik : Aspekte der
Relativsatzextraposition im Deutschen. - In: Kognitionswissenschaft, 7 (1998),
S. 129-133
 
Erk, Katrin
- Simulating Boolean circuits by finite splicing. - In: Proc. Congress on
Evolutionary Computation (CEC'99). 1999, S. 1279-1285
 
Ganzinger, Harald
- u.a.: Decidable fragments of simultaneous rigid reachability. -
Saarbrücken : Max-Planck-Institut für Informatik, 1999, 19 S. - (Research
Report ; MPI-I-1999-2-004)
 
- u.a.: Decidable fragments of simultaneous rigid reachability. - In: Proc.
26th Int. Colloquium on Automata, Languages and Programming (ICALP-99) / Ed.:
Wiedermann, Jiri .. - Berlin : Springer, 1999, S. 250-260. - (Lect. Notes
Comput. Sci. ; 1644)
 
- (Hrsg.): Proceedings of the 16th International Conference on Automated
Deduction (CADE-16). - Berlin : Springer, 1999, 443 S. - (Lect. Notes Artif.
Intell. ; 1632)
 
- u.a. (Hrsg.): Proceedings of the 6th International Conference on Logic for
Programming and Automated Reasoning (LPAR-99). - Berlin : Springer, 1999, 397
S. - (Lect. Notes Artif. Intell. ; 1705)
 
- u.a.: A Superposition Decision Procedure for the Guarded Fragment with
Equality. - In: Proc. 14th Annual IEEE Symp. on Logic in Computer Science
(LICS-99) / Ed.: Longo, Giuseppe. - Los Alamitos : IEEE Computer Society,
1999, S. 295-303
 
- u.a.: The Two-Variable Guarded Fragment with Transitive Relations. - In:
Proc. 14th Annual IEEE Symp. on Logic in Computer Science (LICS-99) / Ed.:
Longo, Giuseppe. - Los Alamitos : IEEE Computer Society, 1999, S. 24-34
 
Henz, Martin
- u.a.: Figaro: Yet Another Constraint Programming Library. - In: Workshop
on Parallelism and Implementation Technology for Constraint Logic Programming.
1999, S. 86-96
 
Jacobi, Christian
- u.a.: Highly Concurrent Locking in Shared Memory Database Systems. - In:
Euro-Par'99 (Euro-Par-99) : 5th International Euro-Par Conference ; Toulouse,
France, August 31 - September 3, 1999 Lecture notes in computer science 1685.
Springer, Berlin. 1999
 
Keller, Jörg
- u.a.: On the cost-effectiveness of PRAMs. - In: Acta Informatica. -
Springer Verlag, 1999, S. 463-487. - (Acta Informatica ; 36)
 
Kröning, Daniel
- u.a.: The Impact of Hardware Scheduling Mechanisms on the Performance and
Cost of Processor Designs. - In: Proc. of the 15th GI/ITG Conference
'Architektur von Rechensystemen' ARCS'99. - VDE Verlag, 1999, S. 65-73
 
- u.a.: Proving the Correctness of Processors with Delayed Branch using
Delayed PCs. - In: Proceedings IEEE International High Level Design Validation
and Test Workshop. 1999, S. 146-150
 
- u.a.: A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm
with Precise Interrupts. - In: Proceedings of the SCI99/ISAS99 International
Conference. 1999
 
Leister, Holger
- u.a.: The Impact of Hardware Scheduling Mechanisms on the Performance and
Cost of Processor Designs. - In: Proc. of the 15th GI/ITG Conference
'Architektur von Rechensystemen' ARCS'99. - VDE Verlag, 1999, S. 65-73
 
Mehlhorn, Kurt
- u.a.: An Analysis of the Highest-Level Selection Rule in the Preflow-Push
Max- Flow Algorithm. - In: Information Processing Letters, 69 (1999), S. 239-
242
 
- u.a.: Checking geometric programs or verification of geometric structures.
- In: Computational Geometry: Theory and Applications, 12 (1999), S. 85-104
 
- u.a.: A correctness certificate for the Stoer-Wagner min-cut algorithm. -
In: Information Processing Letters, 70 (1999), S. 251-254
 
- u.a.: Curve reconstruction: Connecting dots with good reason. - In: Proc.
15th Annual Symp. on Computational Geometry (SCG-99). - New York : ACM, 1999,
S. 197-206
 
- u.a.: Efficient exact geometric computation made easy. - In: Proc. 15th
Annual Symp. on Computational Geometry (SCG-99). - New York : ACM, 1999, S.
341-350
 
- u.a.: From Algorithms to Working Programs: On the Use of Program Checking
in LEDA. - In: Proc. 23rd Int. Symp. on Mathematical Foundations of Computer
Science (MFCS-98) / Ed.: Brim, Lubos .. - Berlin : Springer, 1999, S. 84-93. -
(Lect. Notes Comput. Sci. ; 1450)
 
- u.a.: I/O-optimal computation of segment intersections. - In: Proc. DIMACS
Workshop on External Algorithms and Visualization / Ed.: Abello, James M. .. -
Providence : AMS, 1999, S. 131-138. - (DIMACS Series in Discrete Mathematics
and Theoretical Computer Science ; 50)
 
- u.a.: LEDA: a platform for combinatorial and geometric computing. -
Cambridge : Cambridge University Press, 1999, 1018 S.
 
- u.a.: LEDA-SM: Extending LEDA to Secondary Memory. - In: Proc. 3rd Int.
Workshop on Algorithm Engineering (WAE-99) / Ed.: Vitter, Jeffrey S. .. -
Berlin : Springer, 1999, S. 228-242. - (Lect. Notes Comput. Sci. ; 1668)
 
- u.a.: A simple way to recognize a correct Voronoi diagram of line
segments. - Saarbrücken : Max-Planck-Institut für Informatik, 1999, 11 S. -
(Research Report ; MPI-I-1999-1-007)
 
- u.a.: Structural Filtering: a Paradigm for Efficient and Exact Geometric
Programs. - In: Abstracts for the 11th Canadian Conf. on Computational
Geometry (CCCG-99). - Vancouver : University of British Columbia, 1999, S. 39-
42
 
Müller, Martin
- u.a.: Entailment of Atomic Set Constraints is PSPACE-Complete. - In:
Fourteenth annual IEEE Symposium on Logic in Computer Science : LICS99. - IEEE
Press, 1999, S. 285-294
 
- u.a.: Set-based Failure Analysis for Logic Programs and Concurrent
Constraint Programs. - In: Proceedings of ESOP'99, the European Symposium of
Programing / ED.: Swierstra, S. Doaitse. - Springer, 1999. - (LNCS)
 
Müller, Silvia Melitta
- u.a.: A Dual Mode IEEE Multiplier. - In: Proc. 2nd IEEE International
Conference on Innovative Systems in Silicon (ISIS'97). - IEEE Computer
Society, 1997, S. 282-289
 
- A Harwdare Scheduler for Controlling Variable Latency Functional Units. -
In: Proceedings: 17th IASTED International Conference on Applied Informatics :
AI'99. - Anaheim : ACTA Press, 1999, S. 581-583
 
- u.a.: The Impact of Hardware Scheduling Mechanisms on the Performance and
Cost of Processor Designs. - In: Proc. of the 15th GI/ITG Conference
'Architektur von Rechensystemen' ARCS'99. - VDE Verlag, 1999, S. 65-73
 
- On the Scheduling of Variable Latency Functional Units. - In: Proceedings:
11th Annual Symposium on Parallel Algorithms and Architectures, SPAA'99. - New
York : ACM Press, 1999, S. 148-154
 
- u.a.: Proving the Correctness of Processors with Delayed Branch using
Delayed PCs. - In: Proceedings IEEE International High Level Design Validation
and Test Workshop. 1999, S. 146-150
 
- u.a.: A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm
with Precise Interrupts. - In: Proceedings of the SCI99/ISAS99 International
Conference. 1999
 
Müller, Tobias
- u.a.: Embedding Propagators in a Concurrent Constraint Language. - In: The
Journal of Functional and Logic Programming. 1999, Special Issue 1, Article 8
 
- u.a.: Figaro: Yet Another Constraint Programming Library. - In: Workshop
on Parallelism and Implementation Technology for Constraint Logic Programming.
1999, S. 86-96
 
- Practical Investigation of Constraints with Graph Views. - In: Proceedings
of the International Workshop on Implementation of Declarative Languages :
IDL'99 / Ed.: Sagonas, Konstantinos; Tarau, Paul. 1999
 
Niehren, Joachim
- u.a.: Entailment of Atomic Set Constraints is PSPACE-Complete. - In:
Fourteenth annual IEEE Symposium on Logic in Computer Science : LICS99. - IEEE
Press, 1999, S. 285-294
 
- u.a.: Entailment on Non-Structural Subtyping Constraints. - In: Asian
Computing Science Conference. - Springer, 1999, S. 251-265. - (LNCS ; 1742)
 
- u.a.: Relaxing Underspecified Semantic Representations for
Reinterpretation. - In: Proceedings of the Sixth Meeting on Mathematics of
Language : MOL6. 1999, S. 74-87
 
Paul, Wolfgang
- u.a.: On the Complexity of Booth Recoding. - In: Proceedings of the 3rd
Conference on Real Numbers and Computers (RNC3). - Paris, 1998, S. 199-218
 
- u.a.: On the cost-effectiveness of PRAMs. - In: Acta Informatica. -
Springer Verlag, 1999, S. 463-487. - (Acta Informatica ; 36)
 
- u.a.: Proving the Correctness of Processors with Delayed Branch using
Delayed PCs. - In: Proceedings IEEE International High Level Design Validation
and Test Workshop. 1999, S. 146-150
 
- u.a.: A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm
with Precise Interrupts. - In: Proceedings of the SCI99/ISAS99 International
Conference. 1999
 
Rossberg, Andreas
- u.a.: Aktivhartlotpaste für hochreines Aluminiumoxid mit angepasstem
Ausdehnungskoeffizienten und höchster Festigkeit, Vakuumdichtigkeit und
Korrosionsbeständigkeit des Verbundes. - In: Werkstoffwoche 98 : Werkstoffe
für die Informationstechnik, 1 (1999)
 
Schieffer, Björn
- Simulation of Hybrid Systems. - In: Simulation Technology: Science And Art
: 10th European Simulation Symposium And Exhibition / Ed.: Bargiela, Andre;
Kerckhoffs, Eugene. - The Nottingham Trent University, Nottingham, United
Kingdom : Society for Computer Simulation International, 1998, S. 99-103
 
Seidel, Peter-Michael
- u.a.: A comparison of three rounding algorithms for IEEE floating-point
multiplication. - In: Proc. 14th International Conference on Computer
Arithmetic (Arith14). - IEEE Computer Society Press, 1999
 
- u.a.: A Dual Mode IEEE Multiplier. - In: Proc. 2nd IEEE International
Conference on Innovative Systems in Silicon (ISIS'97). - IEEE Computer
Society, 1997, S. 282-289
 
- High-Speed Redundant Reciprocal Approximation. - In: INTEGRATION, the VLSI
journal, 28 (1999), S. 1-12
 
- High-Speed Redundant Reciprocal Approximation. - In: Proceedings of the
3rd Conference on Real Numbers and Computers (RNC3). - Paris, 1998, S. 219-229
 
- u.a.: How Many Logic Levels Does Floating-point Addition Require?. - In:
Proceedings of the International Conference on Circuit Design (ICCD98). - IEEE
Computer Society Press, 1998, S. 142-149
 
- How to half the latency of IEEE compliant floating-point multiplication. -
In: Proceedings of the 24th EUROMICRO Conference. - IEEE Computer Society
Press, 24 (1998), S. 329-332
 
- u.a.: On the Complexity of Booth Recoding. - In: Proceedings of the 3rd
Conference on Real Numbers and Computers (RNC3). - Paris, 1998, S. 199-218
 
Walser, Joachim P.
- u.a.: State-space Planning by Integer Optimization. - In: Proceedings
Fifteenth National Conference on Artificial Intelligence : AAAI'99. 1999
 
Wilhelm, Reinhard
- u.a.: Parametric Shape Analysis via 3-Valued Logic. - In: Conference
Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages. - New York, NY USA : Association of Computing
Machinery, 1999, S. 105-118
 
Würtz, Jörg
- u.a.: Embedding Propagators in a Concurrent Constraint Language. - In: The
Journal of Functional and Logic Programming. 1999, Special Issue 1, Article 8