skip to main content
Idioma:
previous page 1 2 Resultados 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Artigos remover Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Compositional SOS and beyond: a coalgebraic view of open systems
Compositional SOS and beyond: a coalgebraic view of open systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional SOS and beyond: a coalgebraic view of open systems

Corradini, Andrea ; Heckel, Reiko ; Montanari, Ugo

Theoretical computer science, 2002-05, Vol.280 (1), p.163-192 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
22
Functorial Models for Petri Nets
Functorial Models for Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functorial Models for Petri Nets

Bruni, Roberto ; Meseguer, José ; Montanari, Ugo ; Sassone, Vladimiro

Information and computation, 2001-11, Vol.170 (2), p.207-236 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
23
Algebraic Theories for Contextual Pre-nets
Algebraic Theories for Contextual Pre-nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraic Theories for Contextual Pre-nets

Bruni, Roberto ; Meseguer, José ; Montanari, Ugo ; Sassone, Vladimiro

Lecture notes in computer science, 2003, p.256-270 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
24
Continuous Skeletons from Digitized Images
Continuous Skeletons from Digitized Images
Material Type:
Artigo 		Adicionar ao Meu Espaço

Continuous Skeletons from Digitized Images

Montanari, Ugo

Journal of the ACM, 1969-10, Vol.16 (4), p.534-549 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
25
Concurrent models for Linda with transactions
Concurrent models for Linda with transactions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Concurrent models for Linda with transactions

BRUNI, ROBERTO ; MONTANARI, UGO

Mathematical structures in computer science, 2004-06, Vol.14 (3), p.421-468 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
26
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Soft Constraint Logic Programming and Generalized Shortest Path Problems

Bistarelli, Stefano ; Montanari, Ugo ; Rossi, Francesca

Journal of heuristics, 2002-01, Vol.8 (1), p.25 [Periódico revisado por pares]

Boston: Springer Nature B.V

Texto completo disponível

Citações Citado por
27
An interactive semantics of logic programming
An interactive semantics of logic programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

An interactive semantics of logic programming

Bruni, Roberto ; Montanari, Ugo ; Rossi, Francesca

Theory and practice of logic programming, 2001-11, Vol.1 (6), p.647-690 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
28
Tile Formats for Located and Mobile Systems
Tile Formats for Located and Mobile Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tile Formats for Located and Mobile Systems

Ferrari, GianLuigi ; Montanari, Ugo

Information and computation, 2000-01, Vol.156 (1-2), p.173-235 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
29
Process versus unfolding semantics for Place/Transition Petri nets
Process versus unfolding semantics for Place/Transition Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Process versus unfolding semantics for Place/Transition Petri nets

Meseguer, José ; Montanari, Ugo ; Sassone, Vladimiro

Theoretical computer science, 1996-01, Vol.153 (1), p.171-210 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
30
An Efficient Unification Algorithm
An Efficient Unification Algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Efficient Unification Algorithm

Martelli, Alberto ; Montanari, Ugo

ACM transactions on programming languages and systems, 1982-04, Vol.4 (2), p.258-282 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
previous page 1 2 Resultados 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (179)
  2. Revistas revisadas por pares (182)

Data de Publicação 

De até
Refinar
  1. Antes de1979  (14)
  2. 1979Até1992  (22)
  3. 1993Até2002  (40)
  4. 2003Até2012  (80)
  5. Após 2012  (36)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.