Sortiert nach
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Link zum Volltext
Journal of the ACM, 2018-03, Vol.65 (2), p.1-41
2018
Link zum Volltext
Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.31-45
2010
Link zum Volltext
Trustworthy Global Computing, 2015, Vol.8902, p.67-81
2015
Link zum Volltext
Automata, Languages, and Programming, p.98-109
Link zum Volltext
Distributed Computing, 2015, Vol.9363, p.388-404
2015
Link zum Volltext
Formal Techniques for Distributed Systems, p.135-151
Link zum Volltext
Coordination Models and Languages, p.16-30
Link zum Volltext
PloS one, 2022-03, Vol.17 (3), p.e0265575-e0265575
2022
Link zum Volltext
Scandinavian journal of medicine & science in sports, 2023-07, Vol.33 (7), p.1104-1115
2023
Link zum Volltext
Soft computing (Berlin, Germany), 2023-09, Vol.27 (18), p.12943-12957
2023
Link zum Volltext
IEEE transactions on neural systems and rehabilitation engineering, 2021, Vol.29, p.1661-1668
2021
Link zum Volltext
Running speed changes the distribution of excitation within the biceps femoris muscle in 80m sprints
2023
Link zum Volltext
Software Engineering and Formal Methods, p.219-229
Link zum Volltext
Lecture notes in computer science, 2006, p.93-107
2006
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2022, p.204-220
2022
Link zum Volltext
Lo scalpello, 2021-12, Vol.35 (3), p.139-145
2021
Link zum Volltext
Software Engineering and Formal Methods, p.300-314
Link zum Volltext
Digestive and liver disease, 2021-09, Vol.53 (9), p.1105-1111
- Casini, Beatrice
- Pan, Angelo
- Guarini, Alessandra
- Rivara, Cinzia
- Zullo, Angelo
- Monica, Fabio
- Cimbro, Monica
- Casarano, Salvatore
- Inglese, Agostino
- Vaghi, Adriano
- Schiffino, Luigi
- Capezzuto, Erminio
- Da Massa Carrara, Paola
- Pasquale, Luigi
- Bertoni, Costanza
- Curti, Cesarina
- Giacomini, Maurizio
- Meledandri, Marcello
- Palmieri, Dalia
- Privitera, Gaetano
- Raglio, Annibale
- Tuvo, Benedetta
- Colombo, Benedetta
- Iannone, Teresa
- Iori, Giorgio
- Giaquinto, Antonella
- Minenna, Angela
- Petrocelli, Giulio
- Valdinoci, Monia
- Bortoluzzi, Francesco
- Galeazzi, Francesca
- Manta, Raffaele
- Montalto, Paolo
- Segato, Sergio
- Soncini, Marco
- Usai-Satta, Paolo
- Vassallo, Roberto
- Ferraiolo, Fabio
- Roseto, Fabio
- Bezziccheri, Milena
- Fighera, Michele
- Giampà, Ada
- Mancini, Antonio
- Marino, Caterina
- Cerone, Marina Pisegna
- Risitano, Tommaso
- Sergio, Emmanuele
- Sinopoli, Raffaele
- De Caprio, Maria Teresa
- Failla, Giuseppe
- Agli, Luigi Lazzari
- Majori, Maria
- Toccaceli, Andrea
- Marciano, Emanuele
- Maurano, Attilio
- Rodella, Luca
- Cengia, Gianpaolo
- Ciliberto, Enrico
- Conigliaro, Rita
- Germanà, Bastianello
- Lamazza, Antonietta
- Pisani, Antonio
- Zagari, Rocco Maurizio
- Spinzi, Giancarlo
2021
Link zum Volltext
PloS one, 2022-01, Vol.17 (3), p.e0265575
2022
Link zum Volltext
Genetics in medicine, 2010-07, Vol.12 (7), p.431-439
- Marini, Monica
- Bocciardi, Renata
- Gimelli, Stefania
- Di Duca, Marco
- Divizia, Maria T.
- Baban, Anwar
- Gaspar, Harald
- Mammi, Isabella
- Garavelli, Livia
- Cerone, Roberto
- Emma, Francesco
- Bedeschi, Maria F.
- Tenconi, Romano
- Sensi, Alberto
- Salmaggi, Andrea
- Bengala, Mario
- Mari, Francesca
- Colussi, Gianluca
- Szczaluba, Krzysztof
- Antonarakis, Stylianos E.
- Seri, Marco
- Lerone, Margherita
- Ravazzolo, Roberto
2010
Link zum Volltext
Neurological sciences, 2015-06, Vol.36 (6), p.985-993
- Mangiafico, Salvatore
- Pracucci, Giovanni
- Saia, Valentina
- Nencini, Patrizia
- Inzitari, Domenico
- Nappini, Sergio
- Vallone, Stefano
- Zini, Andrea
- Fuschi, Maurizio
- Cerone, Davide
- Bergui, Mauro
- Cerrato, Paolo
- Gandini, Roberto
- Sallustio, Fabrizio
- Saletti, Andrea
- De Vito, Alessandro
- Romano, Daniele G.
- Tassi, Rossana
- Causin, Francesco
- Baracchini, Claudio
- Piano, Mariangela
- Motto, Cristina
- Ciccone, Alfonso
- Gasparotti, Roberto
- Magoni, Mauro
- Giorgianni, Andrea
- DeLodovici, Marialuisa
- Cavasin, Nicola
- Critelli, Adriana
- Gallucci, Massimo
- Carolei, Antonio
- Meloni, Teodoro
- Corso, Giovanni
- Vaudano, Giacomo
- Duc, Enrica
- Zappoli, Federico
- Cavallini, Anna
- Padolecchia, Riccardo
- Tassinari, Tiziana
- Longoni, Marco
- Salmaggi, Andrea
- Zampieri, PierGiuseppe
- Bovi, Paolo
- Puglioli, Michele
- Chiti, Alberto
- Guidetti, Giulio
- Simonetti, Luigi
- Procaccianti, Gaetano
- Menozzi, Roberto
- Scoditti, Umberto
- Ricciardi, Fabrizio
- Pezzella, Francesca R.
- Guarnieri, Gianluigi
- Andreone, Vincenzo
- Toni, Danilo
2015
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.277-286
Link zum Volltext
Journal of neuroscience research, 2007-01, Vol.85 (1), p.83-89
2007
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Humans
- Computer Science, Software Engineering
- Female
- Male
- Neurosciences & Neurology
- Physical Sciences
- Clinical Neurology
- Electrodes
- Electromyography
- Engineering
- Muscles
- Neurology
- Science & Technology - Other Topics
- Applied Sciences
- Biological And Medical Sciences
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- MEDLINE
- Journals@Ovid Complete
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EBSCOhost Psychology and Behavioral Sciences Collection
- IngentaConnect Journals
- IEEE Electronic Library Online
- Springer Books
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Taylor & Francis Online
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Logical Methods In Computer Science
- Neurological Sciences
- Plos One
- Scandinavian Journal Of Medicine & Science In Sports
- American Journal Of Neuroradiology
- American Journal Of Neuroradiology : Ajnr
- Archives Of Physiotherapy
- Arxiv
- Digestive And Liver Disease