| 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 | 158 | 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 | 82 | 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 | 81 | 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 | 78 | 2018 |
| Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014 | 68 | 2014 |
| 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 | 67 | 2012 |
| 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 | 64 | 2015 |
| 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 | 60 | 2017 |
| 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 | 60 | 2014 |
| 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 | 53 | 2013 |
| 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 | 53 | 2011 |
| 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 | 51 | 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 | 51 | 2015 |
| Gut microbiome composition differences among breeds impact feed efficiency in swine M Bergamaschi, F Tiezzi, J Howard, YJ Huang, KA Gray, C Schillebeeckx, ... Microbiome 8 (1), 1-15, 2020 | 50 | 2020 |
| 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 |
| 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 | 49 | 2011 |
| A calculus for attribute-based communication YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015 | 48 | 2015 |
