Travelled to:1 × Australia
1 × Germany
1 × Israel
1 × Japan
2 × Canada
2 × France
2 × Spain
7 × USA
Collaborated with:U.Montanari A.Corradini M.V.Hermenegildo S.Bistarelli P.Codognet H.Ehrig M.Löwe ∅ S.A.Naqvi K.B.Venable T.Walsh A.Biso A.Sperduti F.Parisi-Presicce M.S.Pini F.Santini Y.Georget F.Bueno R.I.Brafman D.Salvagnin R.Heckel
Talks about:program (11) constraint (10) logic (5) graph (5) concurr (4) soft (4) parallel (3) grammar (3) prefer (3) solut (3)
Person: Francesca Rossi
DBLP: Rossi:Francesca
Contributed to:
20102008
2007
2005
20022000
2000
19971995
1994199419911991199019901990198919891986
1991Wrote 21 papers:
- KR-2010-BrafmanRSVW #constraints #information management #representation
- Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).
- KR-2008-PiniRVW #nondeterminism
- Dealing with Incomplete Agents’ Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting (MSP, FR, KBV, TW), pp. 571–578.
- QAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.
- ICLP-2005-Rossi #reasoning
- Preference Reasoning (FR), pp. 5–8.
- ESOP-2002-BistarelliMR #concurrent #constraints #programming
- Soft Concurrent Constraint Programming (SB, UM, FR), pp. 53–67.
- KR-2000-BisoRS #constraints #learning
- Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.
- PADL-2000-BistarelliCGR #consistency #constraints #programming
- Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
- GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation
- Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
- ICLP-1995-CodognetR #constraints #programming
- NMCC Programming: Constraint Enforcement and Retracting in CC Programming (PC, FR), pp. 417–431.
- ALP-1994-BuenoHMR #concurrent #semantics #source code
- From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics (FB, MVH, UM, FR), pp. 114–132.
- TAGT-1994-CorradiniELMR #graph grammar #parallel #semantics
- An Event Structure Semantics for Graph Grammars with Parallel Productions (AC, HE, ML, UM, FR), pp. 240–256.
- TAGT-1994-CorradiniR #composition #graph grammar
- Synchronized Composition of Graph Grammar Productions (AC, FR), pp. 257–270.
- ICLP-1991-MontanariR #constraints #logic programming
- Perfect Relaxation in Constraint Logic Programming (UM, FR), pp. 223–237.
- ISLP-1991-MontanariR #concurrent #constraints #programming
- True Concurrency in Concurrent Constraint Programming (UM, FR), pp. 694–713.
- CLP-1990-HermenegildoR90 #independence #strict
- Non-Strict Independent And-Parallelism (MVH, FR), pp. 237–252.
- GG-1990-CorradiniMREL #graph grammar #logic programming
- Graph Grammars and Logic Programming (AC, UM, FR, HE, ML), pp. 221–237.
- NACLP-1990-NaqviR #consistency #database #reasoning
- Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.
- KR-1989-RossiM #constraints #linear #network #using
- Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.
- NACLP-1989-HermenegildoR #correctness #independence #logic programming #on the #performance #source code
- On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs (MVH, FR), pp. 369–389.
- GG-1986-MontanariR #algorithm #constraints #network #performance
- An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints (UM, FR), pp. 440–457.
- CAAP-1991-CorradiniRP #graph grammar #logic programming
- Logic Programming as Hypergraph Rewriting (AC, FR, FPP), pp. 275–295.