skip to main content
Idioma:
Resultados 1 2 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
1
Concurrency and Probability: Removing Confusion, Compositionally
Concurrency and Probability: Removing Confusion, Compositionally
Material Type:
Artigo 		Adicionar ao Meu Espaço

Concurrency and Probability: Removing Confusion, Compositionally

Roberto Bruni ; Hernán Melgratti ; Ugo Montanari

Logical methods in computer science, 2019-12, Vol.15, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Semiring-based constraint satisfaction and optimization
Semiring-based constraint satisfaction and optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semiring-based constraint satisfaction and optimization

Bistarelli, Stefano ; Montanari, Ugo ; Rossi, Francesca

Journal of the ACM, 1997-03, Vol.44 (2), p.201-236 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
3
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Bonchi, Filippo ; Montanari, Ugo

Theoretical computer science, 2009-09, Vol.410 (41), p.4044-4066 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Low-dose aspirin and vitamin E in people at cardiovascular risk: a randomised trial in general Practice
Low-dose aspirin and vitamin E in people at cardiovascular risk: a randomised trial in general Practice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Low-dose aspirin and vitamin E in people at cardiovascular risk: a randomised trial in general Practice

Roncaglioni, Maria Carla

The Lancet (British edition), 2001-01, Vol.357 (9250), p.89-95 [Periódico revisado por pares]

London: Elsevier Ltd

Texto completo disponível

Citações Citado por
5
Structured coalgebras and minimal HD-automata for the π -calculus
Structured coalgebras and minimal HD-automata for the π -calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structured coalgebras and minimal HD-automata for the π -calculus

Montanari, Ugo ; Pistore, Marco

Theoretical computer science, 2005-08, Vol.340 (3), p.539-576 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Quantitative μ-calculus and CTL defined over constraint semirings
Quantitative μ-calculus and CTL defined over constraint semirings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantitative μ-calculus and CTL defined over constraint semirings

Lluch-Lafuente, Alberto ; Montanari, Ugo

Theoretical computer science, 2005-11, Vol.346 (1), p.135-160 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Contextual Petri Nets, Asymmetric Event Structures, and Processes
Contextual Petri Nets, Asymmetric Event Structures, and Processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contextual Petri Nets, Asymmetric Event Structures, and Processes

Baldan, Paolo ; Corradini, Andrea ; Montanari, Ugo

Information and computation, 2001-11, Vol.171 (1), p.1-49 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
8
Partial order and contextual net semantics for atomic and locally atomic CC programs
Partial order and contextual net semantics for atomic and locally atomic CC programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partial order and contextual net semantics for atomic and locally atomic CC programs

Bueno, F. ; Hermenegildo, M. ; Montanari, U. ; Rossi, F.

Science of computer programming, 1998, Vol.30 (1), p.51-82 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Strategic directions in concurrency research
Strategic directions in concurrency research
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strategic directions in concurrency research

Cleaveland, Rance ; Smolka, Scott

ACM computing surveys, 1996-12, Vol.28 (4), p.607-625 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
10
Coalgebraic minimization of HD-automata for the π -calculus using polymorphic types
Coalgebraic minimization of HD-automata for the π -calculus using polymorphic types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coalgebraic minimization of HD-automata for the π -calculus using polymorphic types

Ferrari, Gianluigi ; Montanari, Ugo ; Tuosto, Emilio

Theoretical computer science, 2005, Vol.331 (2), p.325-365 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (183)
  2. Revistas revisadas por pares (186)

Data de Publicação 

De até
Refinar
  1. Antes de1979  (14)
  2. 1979Até1992  (22)
  3. 1993Até2002  (39)
  4. 2003Até2012  (81)
  5. Após 2012  (40)
  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.