Partitioning of linear amphipatic molecules in phospholipid bilayers
1999 Stevanato, Roberto; Momo, F.
Polyamines complex phospholipidic liposomes modifying membrane physical properties
1998 Stevanato, Roberto; Momo, F.
Substrate structure and bovine serum amine oxidase activity
1996 Stevanato, Roberto; Gasparini, R; Vianello, F; Rigo, A.
Amines affect the aggregation state of negatively charged liposomes
1999 Stevanato, Roberto; Momo, F.
New Alkaline-Earth Precursors for the Growth of Magnesia and Calcia Stabilized Cubib Zirconia Via MOCVD
2005 N., EL HABRA; G., Carta; M., Casarin; L., Crociani; Paolucci, Gino; G., Rossetto; A., Zanella; P., Zanella
Graph Clustering with Tree-Unions
2003 Torsello, Andrea; E. R., Hancock
Curvature dependent skeletonization
2003 Torsello, Andrea; E. R., Hancock
Discovering shape categories by clustering shock trees
2001 Luo, B.; ROBLES KELLY, A.; Torsello, Andrea; Wilson, R. C.; Hancock, E. R.
A skeletal Measure for 2D shape similarity
2001 Torsello, Andrea; Hancock, E. R.
Efficiently computing weighted tree edit distance using relaxation Labeling
2001 Torsello, Andrea; Hancock, E. R.
Learning Structural Variations in Shock Trees
2002 Torsello, Andrea; Hancock, E. R.
Integrating performance modeling in the software development process
2004 Balsamo, Maria Simonetta; Simeoni, Marta
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
2003 Antoniotti, M; Mishra, B; Piazza, C; Policriti, A; Simeoni, Marta
Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions
2000 GROSSE RHODE, M; PARISI PRESICCE, F; Simeoni, Marta; Taentzer, G.
Interactive Rule-based Specification with an Application to Visual Language Definition
2002 GROSSE RHODE, M; Bardohl, R; Simeoni, Marta
On a Uniform Representation of Transformation Systems
2000 Bottoni, P; PARISI PRESICCE, F; Simeoni, Marta
Static Analysis of Prolog with Cut
1993 File', G; Rossi, Sabina
CoPS - Checker of Persistent Security
2004 Piazza, C; Pivato, E; Rossi, Sabina
Specialising Logic Programs with respect to Call/Post Specifications
1998 Bossi, Annalisa; Rossi, Sabina
A Theory of Noninterference for the pi-calculus
2005 Crafa, S; Rossi, Sabina
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
- 4 Contributo in Atti convegno9628
Data di pubblicazione
- In corso di stampa65
- 2020 - 20261580
- 2010 - 20193262
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE373
- Springer190
- IEEE Computer Society105
- Institute of Electrical and Elect...105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...63
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE10
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE244
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia55
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3867
- ita2175
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre25
- grc12
- pol11
Accesso al fulltext
- no fulltext5014
- reserved2474
- open2059
- embargoed42
- partially open39