Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Networks of constraints: Fundamental properties and applications to picture processing

- U. Montanari
- Computer Science
- Inf. Sci.
- 1974

Abstract The problem of representation and handling of constraints is here considered, mainly for picture processing purposes. A systematic specification and utilization of the available constraints… Expand

Semiring-based constraint satisfaction and optimization

- S. Bistarelli, U. Montanari, F. Rossi
- Computer Science
- JACM
- 1 March 1997

We introduce a general framework for constraint satisfaction and optimization where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. The… Expand

An Efficient Unification Algorithm

- A. Martelli, U. Montanari
- Computer Science
- TOPL
- 1 April 1982

The unification problem in f'mst-order predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unification… Expand

Petri Nets Are Monoids

- J. Meseguer, U. Montanari
- Mathematics, Computer Science
- Inf. Comput.
- 1 August 1990

Abstract Petri nets are widely used to model concurrent systems. However, their composition and abstraction mechanisms are inadequate: we solve this problem in a satisfactory way. We start by… Expand

Semiring-based constraint solving and optimization

- S. Bistarelli, U. Montanari, F. Rossi
- Computer Science
- 1997

- 275
- 30

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison

- S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie, H. Fargier
- Computer Science, Mathematics
- Constraints
- 1 September 1999

In this paper we describe and compare two frameworks for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. One is… Expand

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach

- A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe
- Mathematics, Computer Science
- Handbook of Graph Grammars
- 1 February 1997

The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This allows one not only to… Expand

Networks of constraints: fundamental properties and applications

- U. Montanari
- Chemistry
- 1974

N-[N-[N-[N-[N-(5-Oxo-L-prolyl)-L-histidyl]-L-tryptophyl]-L-seryl]-L-ty rosyl]glycine hydrazide trifluoroacetate is converted to N-[N-[N-[N-[N-(5-oxo-L-prolyl)-L-histidyl]-L-tryptophy]-L-seryl]-L-tyr… Expand

- 109
- 20

Constraint Solving over Semirings

- S. Bistarelli, U. Montanari, F. Rossi
- Computer Science
- IJCAI
- 20 August 1995

We introduce a general framework for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction , and others can be easily cast. The framework is based on a… Expand