Journal Article (62)
21.
Journal Article
3 (3), pp. 250 - 270 (2001)
Constraint-based Deductive Model Checking. International Journal on Software Tools for Technology Transfer (STTT) 22.
Journal Article
10, p. xx - xx (2001)
Vector Balancing Games with Aging. Electronic Notes in Discrete Mathematics 23.
Journal Article
7, pp. 78 - 81 (2001)
Multi-Color Discrepancies - Extended Abstract -. Electronic Notes in Discrete Mathematics 24.
Journal Article
8, pp. 27 - 30 (2001)
Multi-Color Discrepancy of Arithmetic Progressions. Electronic Notes in Discrete Mathematics 25.
Journal Article
25 (3), pp. 511 - 518 (2001)
Validation Proposal for Global Illumination and Rendering Techniques. Computers & Graphics 26.
Journal Article
79, pp. 121 - 126 (2001)
Short Vectors of Planar Integral Lattices via Continued Fractions. Information Processing Letters 27.
Journal Article
56 (1), pp. 69 - 93 (2001)
Improved algorithms for linear complementarity problems arising from collision response. Mathematics and Computers in Simulation 28.
Journal Article
9 (3), pp. 265 - 280 (2001)
Deriving Traffic Demands for Operational IP Networks: Methodology and Experience. IEEE/ACM Transactions on Networking 29.
Journal Article
36 (3), pp. 102 - 103 (2001)
Efficient deductive methods for program analysis. ACM SIGPLAN Notices 30.
Journal Article
28 (1), pp. 1 - 22 (2001)
Automatic Derivation of Probabilistic Inference Rules. International Journal of Approximate Reasoning 31.
Journal Article
32, pp. 179 - 220 (2001)
Complex Probabilistic Modeling with Recursive Relational Bayesian Networks. Annals of Mathematics and Artificial Intelligence 32.
Journal Article
31 (2), pp. 25 - 37 (2001)
TCP/IP Traffic Dynamics and Network Performance: A Lesson in Workload Modeling, Flow Control, and Trace-driven Simulations. Computer Communication Review 33.
Journal Article
24 (1), pp. 58 - 63 (2001)
Towards Response Time Guarantees for e-Service Middleware. IEEE Data(Base) Engineering Bulletin 34.
Journal Article
5 (2), pp. 233 - 247 (2001)
Approximation Algorithms for Bounded Facility Location. Journal of Combinatorial Optimization 35.
Journal Article
18, pp. 1 - 17 (2001)
Coupling vs. conductance for the Jerrum-Sinclair chain. Random Structures & Algorithms 36.
Journal Article
6 (Supp. 1) (2001)
Geno2pheno: a new machine learning approach to predicting phenotypic drug resistance from genotype. Antiviral Therapy 37.
Journal Article
WSI-2001-20, pp. 131 - 166 (2001)
A Framework for the Acquisition, Processing and Interactive Display of High Quality 3D Models. Festschrift zum 60. Geburtstag von Wolfgang Straßer 38.
Journal Article
63 (4), pp. 245 - 262 (2001)
A Silhouette-Based Algorithm for Texture Registration and Stitching. Graphical Models 39.
Journal Article
13 (1), pp. 5 - 6 (2001)
Guest Editorial Introduction to the Special Section on the 16th International Conference on Data Engineering. IEEE Transactions on Knowledge and Data Engineering 40.
Journal Article
11 (6), pp. 583 - 616 (2001)
Furthest Site Abstract Voronoi Diagrams. International Journal of Computational Geometry & Applications