A calculus for orchestration of web services A Lapadula, R Pugliese, F Tiezzi European Symposium on Programming, 33-47, 2007 | 274 | 2007 |
A formal approach to autonomic systems programming: the SCEL language RD Nicola, M Loreti, R Pugliese, F Tiezzi ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014 | 153 | 2014 |
A genome-wide association study for clinical mastitis in first parity US Holstein cows using single-step approach and genomic matrix re-weighting procedure F Tiezzi, KL Parker-Gaddis, JB Cole, JS Clay, C Maltecca PLoS One 10 (2), e0114919, 2015 | 81 | 2015 |
Slac: A formal service-level-agreement language for cloud computing RB Uriarte, F Tiezzi, R De Nicola 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014 | 80 | 2014 |
Host contributes to longitudinal diversity of fecal microbiota in swine selected for lean growth D Lu, F Tiezzi, C Schillebeeckx, NP McNulty, C Schwab, C Shull, ... Microbiome 6 (1), 1-15, 2018 | 69 | 2018 |
Genetic parameters for fertility of dairy heifers and cows at different parities and relationships with production traits in first lactation F Tiezzi, C Maltecca, A Cecchinato, M Penasa, G Bittante Journal of dairy science 95 (12), 7355-7362, 2012 | 69 | 2012 |
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014 | 65 | 2014 |
A Formal Account of WS-BPEL A Lapadula, R Pugliese, F Tiezzi International Conference on Coordination Languages and Models, 199-215, 2008 | 65 | 2008 |
The SCEL language: design, implementation, verification RD Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems, 3-71, 2015 | 62 | 2015 |
A comparison of the predicted coagulation characteristics and composition of milk from multi-breed herds of Holstein-Friesian, Brown Swiss and Simmental cows M Penasa, F Tiezzi, A Sturaro, M Cassandro, M De Marchi International Dairy Journal 35 (1), 6-10, 2014 | 62 | 2014 |
Factors affecting the incidence of first-quality wheels of Trentingrana cheese G Bittante, A Cecchinato, N Cologna, M Penasa, F Tiezzi, M De Marchi Journal of dairy science 94 (7), 3700-3707, 2011 | 62 | 2011 |
A model checking approach for verifying COWS specifications A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi International Conference on Fundamental Approaches to Software Engineering …, 2008 | 61 | 2008 |
Laboratory silo type and inoculation effects on nutritional composition, fermentation, and bacterial and fungal communities of oat silage JJ Romero, Y Zhao, MA Balseca-Paredes, F Tiezzi, ... Journal of Dairy Science 100 (3), 1812-1828, 2017 | 56 | 2017 |
Monitoring of sensory attributes used in the quality payment system of Trentingrana cheese G Bittante, N Cologna, A Cecchinato, M De Marchi, M Penasa, F Tiezzi, ... Journal of Dairy Science 94 (11), 5699-5709, 2011 | 55 | 2011 |
Heritability and repeatability of milk coagulation properties predicted by mid-infrared spectroscopy during routine data recording, and their relationships with milk yield and … F Tiezzi, D Pretto, M De Marchi, M Penasa, M Cassandro Animal 7 (10), 1592-1599, 2013 | 51 | 2013 |
Accounting for trait architecture in genomic predictions of US Holstein cattle using a weighted realized relationship matrix F Tiezzi, C Maltecca Genetics Selection Evolution 47 (1), 1-13, 2015 | 49 | 2015 |
Genome-wide association study on legendre random regression coefficients for the growth and feed intake trajectory on Duroc Boars JT Howard, S Jiao, F Tiezzi, Y Huang, KA Gray, C Maltecca Bmc Genetics 16 (1), 1-11, 2015 | 49 | 2015 |
A logical verification methodology for service-oriented computing A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 1-46, 2012 | 49 | 2012 |
The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing P Mayer, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, J Keznikl, ... 2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013 | 48 | 2013 |
A formal approach to modeling and verification of business process collaborations F Corradini, F Fornari, A Polini, B Re, F Tiezzi Science of Computer Programming 166, 35-70, 2018 | 47 | 2018 |