Zum Inhalt springen Warboys, Jessica [Künstler:in] ; Matson, Sara [Verfasser:in von Zusatztexten]; Tassi, Enrico [Herausgeber:in] Casa Masaccio, Kunsthall Stavanger Stavanger, Tate St Ives Hill of dreams - Jessica Warboys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Tate Gallery Publishing Ltd, 2016 Tassi, Enrico [Verfasser:in] ; Enrico Tassi [Mitwirkende:r] Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Cohen, Cyril [Verfasser:in]; Sakaguchi, Kazuhiko [Verfasser:in]; Tassi, Enrico [Verfasser:in] ; Cyril Cohen and Kazuhiko Sakaguchi and Enrico Tassi [Mitwirkende:r] Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description) Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Tassi, Enrico Asynchronous processing of formal documents in Coq : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2014 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 167 (2014), Seite 2-3 Pimentel, Elaine; Tassi, Enrico Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2021 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 337 (2021) Mahboubi, Assia; Tassi, Enrico Interactive Theorem Proving: Canonical Structures for the Working Coq User Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Interactive Theorem Proving (2013), Seite 19-34 Gonthier, Georges; Tassi, Enrico Interactive Theorem Proving: A Language of Patterns for Subterm Selection Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Interactive Theorem Proving (2012), Seite 361-376 Asperti, Andrea; Tassi, Enrico Superposition as a logical glue Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 53 (2011), Seite 1-15 Asperti, Andrea; Tassi, Enrico Lecture Notes in Computer Science: Smart Matching Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science (2010), Seite 263-277 Asperti, Andrea; Tassi, Enrico An Interactive Driver for Goal-directed Proof Strategies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science, 226 (2009), Seite 89-105 SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Formalising Overlap Algebras in Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2011 Erschienen in: Mathematical Structures in Computer Science, 21 (2011) 4, Seite 763-793 Sacerdoti Coen, Claudio; Tassi, Enrico Nonuniform Coercions via Unification Hints Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 53 (2011), Seite 16-29 Sacerdoti Coen, Claudio; Tassi, Enrico Lecture Notes in Computer Science: Natural Deduction Environment for Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Lecture Notes in Computer Science (2009), Seite 486-491 Claudio Sacerdoti Coen; Enrico Tassi A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008 Erschienen in: Journal of Formalized Reasoning, 1 (2008) 1, Seite 51-89 GUIDI, FERRUCCIO; SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Implementing type theory in higher order constraint logic programming Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2019 Erschienen in: Mathematical Structures in Computer Science, 29 (2019) 8, Seite 1125-1150 Barras, Bruno; Tankink, Carst; Tassi, Enrico Interactive Theorem Proving: Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Interactive Theorem Proving (2015), Seite 51-66 Capodicasa, Enrico; Angelini, Antonio; Tassi, Carmelo Isoenzyme A and UrinaryN-Acetyl-β-D-Glucosaminidase Activity in Normal Pregnancy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Informa UK Limited, 2011 Erschienen in: Renal Failure, 33 (2011) 6, Seite 650-653 Coen, Claudio Sacerdoti; Tassi, Enrico; Zacchiroli, Stefano Tinycals: Step by Step Tacticals Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science, 174 (2007) 2, Seite 125-142 Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Georgiev, Georgi A checklist and areography of Buprestidae, Vesperidae and Cerambycidae (Coleoptera) in Abruzzo, Lazio and Molise National Park, Italy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Pensoft Publishers, 2021 Erschienen in: Travaux du Muséum National d’Histoire Naturelle “Grigore Antipa”, 64 (2021) 2, Seite 35-60 Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Doychev, Danail; Georgiev, Georgi New and interesting records of jewel and longhorn beetles from Abruzzo, Lazio and Molise National Park, Italy (Coleoptera: Buprestidae and Cerambycidae) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. PAGEPress Publications, 2020 Erschienen in: Fragmenta Entomologica, 52 (2020) 1, Seite 63-66
Warboys, Jessica [Künstler:in] ; Matson, Sara [Verfasser:in von Zusatztexten]; Tassi, Enrico [Herausgeber:in] Casa Masaccio, Kunsthall Stavanger Stavanger, Tate St Ives Hill of dreams - Jessica Warboys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Tate Gallery Publishing Ltd, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tassi, Enrico [Verfasser:in] ; Enrico Tassi [Mitwirkende:r] Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cohen, Cyril [Verfasser:in]; Sakaguchi, Kazuhiko [Verfasser:in]; Tassi, Enrico [Verfasser:in] ; Cyril Cohen and Kazuhiko Sakaguchi and Enrico Tassi [Mitwirkende:r] Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description) Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tassi, Enrico Asynchronous processing of formal documents in Coq : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2014 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 167 (2014), Seite 2-3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pimentel, Elaine; Tassi, Enrico Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2021 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 337 (2021)
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mahboubi, Assia; Tassi, Enrico Interactive Theorem Proving: Canonical Structures for the Working Coq User Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Interactive Theorem Proving (2013), Seite 19-34
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gonthier, Georges; Tassi, Enrico Interactive Theorem Proving: A Language of Patterns for Subterm Selection Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Interactive Theorem Proving (2012), Seite 361-376
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico Superposition as a logical glue Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 53 (2011), Seite 1-15
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico Lecture Notes in Computer Science: Smart Matching Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science (2010), Seite 263-277
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico An Interactive Driver for Goal-directed Proof Strategies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science, 226 (2009), Seite 89-105
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Formalising Overlap Algebras in Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2011 Erschienen in: Mathematical Structures in Computer Science, 21 (2011) 4, Seite 763-793
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sacerdoti Coen, Claudio; Tassi, Enrico Nonuniform Coercions via Unification Hints Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 53 (2011), Seite 16-29
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sacerdoti Coen, Claudio; Tassi, Enrico Lecture Notes in Computer Science: Natural Deduction Environment for Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Lecture Notes in Computer Science (2009), Seite 486-491
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Claudio Sacerdoti Coen; Enrico Tassi A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008 Erschienen in: Journal of Formalized Reasoning, 1 (2008) 1, Seite 51-89
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
GUIDI, FERRUCCIO; SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Implementing type theory in higher order constraint logic programming Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2019 Erschienen in: Mathematical Structures in Computer Science, 29 (2019) 8, Seite 1125-1150
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Barras, Bruno; Tankink, Carst; Tassi, Enrico Interactive Theorem Proving: Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Interactive Theorem Proving (2015), Seite 51-66
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Capodicasa, Enrico; Angelini, Antonio; Tassi, Carmelo Isoenzyme A and UrinaryN-Acetyl-β-D-Glucosaminidase Activity in Normal Pregnancy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Informa UK Limited, 2011 Erschienen in: Renal Failure, 33 (2011) 6, Seite 650-653
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Coen, Claudio Sacerdoti; Tassi, Enrico; Zacchiroli, Stefano Tinycals: Step by Step Tacticals Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science, 174 (2007) 2, Seite 125-142
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Georgiev, Georgi A checklist and areography of Buprestidae, Vesperidae and Cerambycidae (Coleoptera) in Abruzzo, Lazio and Molise National Park, Italy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Pensoft Publishers, 2021 Erschienen in: Travaux du Muséum National d’Histoire Naturelle “Grigore Antipa”, 64 (2021) 2, Seite 35-60
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Doychev, Danail; Georgiev, Georgi New and interesting records of jewel and longhorn beetles from Abruzzo, Lazio and Molise National Park, Italy (Coleoptera: Buprestidae and Cerambycidae) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. PAGEPress Publications, 2020 Erschienen in: Fragmenta Entomologica, 52 (2020) 1, Seite 63-66
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (113) Wert ausschließen Konferenzberichte (74) Wert ausschließen Bücher (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (63) Wert ausschließen Ohne Angabe (124) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (99) Wert ausschließen Englisch (89) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Medizin (12) Wert ausschließen Biologie (8) Wert ausschließen Informatik (7) Wert ausschließen Chemie und Pharmazie (5) Wert ausschließen Mathematik (4) Wert ausschließen Geographie (3) Wert ausschließen Technik (3) Wert ausschließen Physik (2) Wert ausschließen Allgemeines (1) Wert ausschließen Geologie und Paläontologie (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen Psychologie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Tassi, Enrico (103) Wert ausschließen Capua, Marcella (76) Wert ausschließen Fiore, Roberto (74) Wert ausschließen Papa, Alessandro (74) Wert ausschließen Ivanov, Igor (73) Wert ausschließen Soffer, Jacques (73) Wert ausschließen Tassi, Rossana (37) Wert ausschließen Cappellari, Manuel (34) Wert ausschließen Toni, Danilo (31) Wert ausschließen Marcheselli, Simona (28) Wert ausschließen Tassinari, Tiziana (26) Wert ausschließen Paciaroni, Maurizio (22) Wert ausschließen Pezzini, Alessandro (22) Wert ausschließen Scoditti, Umberto (22) Wert ausschließen Silvestrelli, Giorgio (22) Wert ausschließen Nencini, Patrizia (21) Wert ausschließen Orlandi, Giovanni (21) Wert ausschließen Sacco, Simona (21) Wert ausschließen Giorli, Elisa (20) Wert ausschließen Zini, Andrea (20) Wert ausschließen Caso, Valeria (19) Wert ausschließen Giannini, Nicola (19) Wert ausschließen Mancuso, Michelangelo (19) Wert ausschließen Saia, Valentina (19) Wert ausschließen Chiti, Alberto (18) Wert ausschließen Ciccone, Alfonso (18) Wert ausschließen Del Sette, Massimo (18) Wert ausschließen Mannino, Marina (18) Wert ausschließen Monaco, Serena (18) Wert ausschließen Acampa, Maurizio (17) Wert ausschließen Zedde, Marialuisa (17) Wert ausschließen Alberti, Andrea (16) Wert ausschließen Martini, Giuseppe (16) Wert ausschließen Tsivgoulis, Georgios (16) Wert ausschließen Venti, Michele (16) Wert ausschließen Acciarresi, Monica (15) Wert ausschließen Agnelli, Giancarlo (15) Wert ausschließen Baldi, Antonio (15) Wert ausschließen Bandini, Fabio (15) Wert ausschließen Corea, Francesco (15) Wert ausschließen Fainardi, Enrico (15) Wert ausschließen Flomin, Yuriy (15) Wert ausschließen Guideri, Francesca (15) Wert ausschließen Lotti, Enrico Maria (15) Wert ausschließen Magoni, Mauro (15) Wert ausschließen Ntaios, George (15) Wert ausschließen Ageno, Walter (14) Wert ausschließen Cerrato, Paolo (14) Wert ausschließen Karagkiozi, Efstathia (14) Wert ausschließen Kargiotis, Odysseas (14) Wert ausschließen Masotti, Luca (14) Wert ausschließen Mumoli, Nicola (14) Wert ausschließen Putaala, Jukka (14) Wert ausschließen Volodina, Vera (14) Wert ausschließen Yaghi, Shadi (14) Wert ausschließen Barlinn, Kristian (13) Wert ausschließen Casetta, Ilaria (13) Wert ausschließen Denti, Licia (13) Wert ausschließen Doronin, Boris (13) Wert ausschließen D’Amore, Cataldo (13) Wert ausschließen Galati, Franco (13) Wert ausschließen Karapanayiotides, Theodore (13) Wert ausschließen Naldi, Andrea (13) Wert ausschließen Pieroni, Alessio (13) Wert ausschließen Pracucci, Giovanni (13) Wert ausschließen Sallustio, Fabrizio (13) Wert ausschließen Tiseo, Cindy (13) Wert ausschließen Athanasakis, George (12) Wert ausschließen Becattini, Cecilia (12) Wert ausschließen Bellesini, Marta (12) Wert ausschließen Bignotti, Eliana (12) Wert ausschließen Cavallini, Anna (12) Wert ausschließen Deleu, Dirk (12) Wert ausschließen Diomedi, Marina (12) Wert ausschließen Furie, Karen L. (12) Wert ausschließen Giuntini, Martina (12) Wert ausschließen Gourbali, Vanessa (12) Wert ausschließen Lorenzini, Gianni (12) Wert ausschließen Mangiafico, Salvatore (12) Wert ausschließen Michel, Patrik (12) Wert ausschließen Ravaggi, Antonella (12) Wert ausschließen Romani, Chiara (12) Wert ausschließen Sartori, Enrico (12) Wert ausschließen Tatlisumak, Turgut (12) Wert ausschließen Tomppo, Liisa (12) Wert ausschließen Vanacker, Peter (12) Wert ausschließen Zanotti, Laura (12) Wert ausschließen Bandiera, Elisabetta (11) Wert ausschließen Baracchini, Claudio (11) Wert ausschließen Bergui, Mauro (11) Wert ausschließen Bigliardi, Guido (11) Wert ausschließen Boero, Giovanni (11) Wert ausschließen Bovi, Paolo (11) Wert ausschließen De Vito, Alessandro (11) Wert ausschließen Imberti, Davide (11) Wert ausschließen Letteri, Federica (11) Wert ausschließen Maccarrone, Miriam (11) Wert ausschließen Padovani, Alessandro (11) Wert ausschließen Padroni, Marina (11) Wert ausschließen Rigatelli, Alberto (11) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet AIP (CrossRef) (74) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (24) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (11) Wert ausschließen Elsevier BV (CrossRef) (9) Wert ausschließen SAGE Publications (CrossRef) (9) Wert ausschließen Open Publishing Association (CrossRef) (4) Wert ausschließen PAGEPress Publications (CrossRef) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (3) Wert ausschließen IOP Publishing (CrossRef) (3) Wert ausschließen American Society of Hematology (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen BMJ (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Impact Journals, LLC (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Pensoft Publishers (CrossRef) (1) Wert ausschließen Spandidos Publications (CrossRef) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen zeige weitere weniger zeigen