arXiv 2001-09-24 EN Branching: the Essence of Constraint Solving Fernandez, Antonio J. · Hill, Patricia M.
arXiv 2001-09-17 EN Verification of Timed Automata Using Rewrite Rules and Strategies Beffara, Emmanuel · Bournez, Olivier · Kacem, Hassen · Kirchner, Claude
arXiv 2001-09-13 EN Assigning Satisfaction Values to Constraints: An Algorithm to Solve Dynamic Meta-Constraints van der Linden, Janet
arXiv 2001-09-03 EN On the generalized dining philosophers problem Herescu, Oltea Mihaela · Palamidessi, Catuscia
arXiv 2001-09-03 EN Probabilistic asynchronous pi-calculus Herescu, Oltea Mihaela · Palamidessi, Catuscia
arXiv 2001-08-07 EN The Partial Evaluation Approach to Information Personalization Ramakrishnan, Naren · Perugini, Saverio
arXiv 2001-07-17 EN An interactive semantics of logic programming Bruni, Roberto · Montanari, Ugo · Rossi, Francesca
arXiv 2001-07-10 EN Transformations of CCP programs Etalle, Sandro · Gabbrielli, Maurizio · Meo, Maria Chiara
arXiv 2001-06-26 EN Inference of termination conditions for numerical loops Serebrenik, Alexander · De Schreye, Danny
arXiv 2001-06-25 EN Classes of Terminating Logic Programs Pedreschi, Dino · Ruggieri, Salvatore · Smaus, Jan-Georg
arXiv 2001-06-12 EN Event Driven Computations for Relational Query Language Ismailova, Larissa · Zinchenko, Konstantin · Bourmistrova, Lioubouv
arXiv 2001-06-11 EN Object-oriented tools for advanced applications Ismailova, Larissa · Zinchenko, Konstantin
