![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Francesca Rossi 64 Stefano Bistarelli , Ugo Montanari , Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002 : 53-67 63 Lina Khatib , Paul Morris , Robert A. Morris , Francesca Rossi: Temporal Constraint Reasoning With Preferences. IJCAI 2001 : 322-327 62 Francesca Rossi, Alessandro Sperduti , Lina Khatib , Paul Morris , Robert A. Morris : Learning preferences on temporal constraints: a preliminary report. TIME 2001 : 63-68 61 Stefano Bistarelli , Francesca Rossi: Semiring-based contstraint logic programming: syntax and semantics. TOPLAS 23 (1): 1-29 (2001) 60 Roberto Bruni , Ugo Montanari , Francesca Rossi: An interactive semantics of logic programming. TPLP 1 (6): 647-690 (2001) 59 Krzysztof R. Apt , Antonis C. Kakas , Eric Monfrey , Francesca Rossi: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Springer 2000 58 Francesca Rossi: Soft Constraints. 15. WLP 2000 : 15-24 57 Stefano Bistarelli , Rosella Gennari , Francesca Rossi: Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. CP 2000 : 83-97 56 Alessandro Biso , Francesca Rossi, Alessandro Sperduti : Experimental Results on Learning Soft Constraints. KR 2000 : 435-444 55 Stefano Bistarelli , Philippe Codognet , Yan Georget , Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000 : 230-248 54 Stefano Bistarelli , Philippe Codognet , Francesca Rossi: An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA 2000 : 71-86 53 Stefano Bistarelli , Philippe Codognet , Yan Georget , Francesca Rossi: Abstracting Soft Constraints. New Trends in Constraints 1999 : 108-133 52 Francesca Rossi: Constraint (Logic) Programming: A Survey on Research and Applications. New Trends in Constraints 1999 : 40-74 51 Yan Georget , Philippe Codognet , Francesca Rossi: Constraint Retraction in CLP(FD): Formal Framework and Performance Results. Constraints 4 (1): 5-42 (1999) 50 Stefano Bistarelli , Ugo Montanari , Francesca Rossi, Thomas Schiex , Gérard Verfaillie , Hélène Fargier : Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints 4 (3): 199-240 (1999) 49 Alessandro Biso , Francesca Rossi, Alessandro Sperduti : Some Experiments on Learning Soft Constraints. CP 1998 : 464 48 Francesca Rossi, Alessandro Sperduti : Learning solution preferences in constraint problems. JETAI 10 (1): 103-116 (1998) 47 Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi: Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Science of Computer Programming 30 (1-2): 51-82 (1998) 46 Yan Georget , Philippe Codognet , Francesca Rossi: Implementing Constraint Retraction for Finite Domains. ASIAN 1997 : 136-150 45 Stefano Bistarelli , Ugo Montanari , Francesca Rossi: Semiring-based Constraint Logic Programming. IJCAI (1) 1997 : 352-357 44 Ugo Montanari , Francesca Rossi: Constraint Solving and Programming: What Next? Constraints 2 (1): 87-91 (1997) 43 Stefano Bistarelli , Ugo Montanari , Francesca Rossi: Semiring-based constraint satisfaction and optimization. JACM 44 (2): 201-236 (1997) 42 Ugo Montanari , Francesca Rossi: Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). COORDINATION 1996 : 12-27 41 Francesca Rossi: Existential Variables and Local Consistency in Finite Domain Constraint Problems. CP 1996 : 382-396 40 Philippe Codognet , Daniel Diaz , Francesca Rossi: Constraint Reaction in FD. FSTTCS 1996 : 168-179 39 Ugo Montanari , Francesca Rossi: Constraint Solving and Programming: What's Next? ACM Computing Surveys 28 (4es): 70 (1996) 38 Andrea Corradini , Ugo Montanari , Francesca Rossi: Graph Processes. Fundamenta Informaticae 26 (3/4): 241-265 (1996) 37 Ugo Montanari , Francesca Rossi: Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings. Springer 1995 36 Francesca Rossi: Redundant Hidden Variables in Finite Domain Constraint Problems. Constraint Processing, Selected Papers 1995 : 205-223 35 Philippe Codognet , Francesca Rossi: NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP 1995 : 417-431 34 Stefano Bistarelli , Ugo Montanari , Francesca Rossi: Constraint Solving over Semirings. IJCAI (1) 1995 : 624-630 33 Stefano Bistarelli , Hélène Fargier , Ugo Montanari , Francesca Rossi, Thomas Schiex , Gérard Verfaillie : Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems 1995 : 111-150 32 Ugo Montanari , Francesca Rossi: Contextual Nets. Acta Informatica 32 (6): 545-596 (1995) 31 Manuel V. Hermenegildo , Francesca Rossi: Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. JLP 22 (1): 1-45 (1995) 30 Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994 : 114-132 29 Ugo Montanari , Francesca Rossi, Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo : Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP 1994 : 151-161 28 Ugo Montanari , Francesca Rossi, Vijay A. Saraswat : CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP 1994 : 162-172 27 Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994 : 423-444 26 Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi: An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994 : 240-256 25 Andrea Corradini , Francesca Rossi: Synchronized Composition of Graph Grammar Productions. TAGT 1994 : 257-270 24 Ugo Montanari , Francesca Rossi: Concurrency and Concurrent Constraint Programming. LNCS 910 : 171-192 (1994) 23 Andrea Corradini , Ugo Montanari , Francesca Rossi: An Abstract Machine for Concurrent Modular Systems: CHARM. TCS 122 (1&2): 165-200 (1994) 22 Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi: Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science 1993 : 119-137 21 Ugo Montanari , Francesca Rossi: Contextual Occurence Nets and Concurrent Constraint Programming. Dagstuhl Seminar on Graph Transformations in Computer Science 1993 : 280-295 20 Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi: Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science 1993 : 86-103 19 Ugo Montanari , Francesca Rossi: Constraint Satisfaction, Constraint Programming, and Concurrency. PPCP 1993 : 219-227 18 Ugo Montanari , Francesca Rossi: Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. TCS 109 (1&2): 225-256 (1993) 17 Andrea Corradini , Francesca Rossi: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. TCS 109 (1&2): 7-48 (1993) 16 Ugo Montanari , Francesca Rossi: Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. CAAP 1992 : 232-247 15 Andrea Corradini , Ugo Montanari , Francesca Rossi: SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS 1992 : 887-896 14 Ugo Montanari , Francesca Rossi: Perfect Relaxation in Constraint Logic Programming. ICLP 1991 : 223-237 13 Ugo Montanari , Francesca Rossi: True Concurrency in Concurrent Constraint Programming. ISLP 1991 : 694-713 12 Andrea Corradini , Francesca Rossi, Francesco Parisi-Presicce : Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991 : 275-295 11 Ugo Montanari , Francesca Rossi: Finite Domain Constraint Solving and Constraint Logic Programming. WCLP 1991 : 201-221 10 Ugo Montanari , Francesca Rossi: Constraint Relaxation may be Perfect. Artificial Intelligence 48 (2): 143-170 (1991) 9 Francesca Rossi, Charles J. Petrie , Vasant Dhar : On the Equivalence of Constraint Satisfaction Problems. ECAI 1990 : 550-556 8 Andrea Corradini , Ugo Montanari , Francesca Rossi, Hartmut Ehrig , Michael Löwe : Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990 : 221-237 7 Manuel V. Hermenegildo , Francesca Rossi: Non-Strict Independent And-Parallelism. ICLP 1990 : 237-252 6 Shamim A. Naqvi , Francesca Rossi: Reasoning in Inconsistent Databases. NACLP 1990 : 255-272 5 Francesca Rossi, Shamim A. Naqvi : Contributions to the View Update Problem. ICLP 1989 : 398-415 4 Francesca Rossi, Ugo Montanari : Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. KR 1989 : 394-399 3 Manuel V. Hermenegildo , Francesca Rossi: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. NACLP 1989 : 369-389 2 Francesca Rossi, Ugo Montanari : Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. META 1988 : 531-544 1 Ugo Montanari , Francesca Rossi: An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints. Graph-Grammars and Their Application to Computer Science 1986 : 440-457 ![]() DiSC'02 © 2003 Association for Computing Machinery |