History Preserving Bisimulation for Contextual Nets
2000 Baldan, Paolo; A., Corradini; U., Montanari
Partializing Stone Spaces Using SFP Domains
1997 F., Alessi; Baldan, Paolo; F., Honsell
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
2004 Baldan, Paolo; B., Koenig; I., Stuermer
A Logic for Analyzing Abstractions of Graph Transformation Systems
2003 Baldan, Paolo; B., Koenig; B., Koenig
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
2004 Baldan, Paolo; A., Corradini; U., Montanari
Functorial and Non-Functorial Solution of Metric Domain Equations
1995 F., Alessi; Baldan, Paolo; G., Belle; J. J. M. M., Rutten
Bisimulation by Unification
2002 Baldan, Paolo; R., Bruni; A., Bracciali
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
2004 Baldan, Paolo; N., Busi; A., Corradini; G. M., Pinna
A category of compositional domain-models for separable Stone spaces
2003 F., Alessi; Baldan, Paolo; F., Honsell
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
2004 Baldan, Paolo; A., Corradini; B., Koenig
A rewriting calculus for cyclic higher-order term graphs
2005 C., Bertolissi; Baldan, Paolo; H., Cirstea; C., Kirchner
Compositional Semantics for Open Petri Nets based on Deterministic Processes
2005 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Verifying a Behavioural Logic for Graph Transformation Systems
2004 Baldan, Paolo; A., Corradini; B., Koenig; B., Koenig
Experimental and theoretical studies of the vibrational spectra of cis-1-bromo-2-fluoroethene
2004 Baldacci, Agostino; Stoppa, Paolo; PIETROPOLLI CHARMET, Andrea; Scaranto, Jessica; A., Gambi
A Fixed Point Theorem in a Category of Compact Metric Spaces
1995 F., Alessi; Baldan, Paolo; G., Belle
Contextual Petri nets, asymmetric event structures and processes
2001 Baldan, Paolo; A., Corradini; U., Montanari
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1998 F., Alessi; Baldan, Paolo
High resolution FTIR study of the v5 and v6 bands of CH2D35Cl: analysis of resonances and determination of ground and upper state constants
2005 Baldacci, Agostino; Stoppa, Paolo; PIETROPOLLI CHARMET, Andrea; Giorgianni, Santi; G., Nivellini
High resolution FTIR specytroscopy of CH2DF: analysis of the v3 and v4 interacting bands
2002 Baldacci, Agostino; Visinoni, Raffaella; G., Nivellini
Tunable diode laser spectra and analysis of the v3 fundamental of CH279BrF
2003 Baldacci, Agostino; Stoppa, Paolo; PIETROPOLLI CHARMET, Andrea; Giorgianni, Santi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 2 Contributo su rivista36310
- 3 Contributo in Volume2
Data di pubblicazione
- In corso di stampa155
- 2020 - 202611033
- 2010 - 201913342
- 2000 - 20096981
- 1990 - 19993176
- 1980 - 19891182
- 1970 - 1979400
- 1963 - 196943
Editore
- Supernova Edizioni, Venezia11
- Editoriale Programma:P Tta I Niev...8
- SPRINGER8
- Elsevier6
- ELSEVIER SCIENCE BV6
- Pordenone: Società Naturalisti "S...5
- Elsevier B.V.4
- Routledge4
- Venezia : s.n.4
- American Chemical Society3
Rivista
- ANNALI DI CA' FOSCARI223
- RASSEGNA IBERISTICA171
- SCIENCE OF THE TOTAL ENVIRONMENT151
- JOURNAL OF ORGANOMETALLIC CHEMISTRY136
- SCIENTIFIC REPORTS128
- PLOS ONE102
- JOURNAL OF MOLECULAR CATALYSIS. A...97
- INORGANICA CHIMICA ACTA96
- BIOLOGIA MARINA MEDITERRANEA94
- ART E DOSSIER93
Keyword
- Italy204
- Humans168
- Venezia125
- Venice110
- China98
- Climate change98
- Chemistry (all)81
- 278
- COVID-1978
- Ecology76
Lingua
- eng17289
- ita8628
- spa744
- fre581
- ger205
- por143
- rus74
- grc61
- jpn58
- cat57
Accesso al fulltext
- no fulltext12291
- open12097
- reserved11276
- partially open428
- embargoed220