Follow
Francesco Tiezzi
Title
Cited by
Cited by
Year
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi
European Symposium on Programming, 33-47, 2007
2822007
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
1742014
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), 110, 2020
1552020
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-15, 2018
1162018
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
1112015
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
952014
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
922017
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
812012
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
762015
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-13, 2015
742015
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
742014
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
702014
A Formal Account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 199-215, 2008
662008
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
Fundamental Approaches to Software Engineering: 11th International …, 2008
652008
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-11, 2015
642015
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
642013
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
622011
Association of candidate gene polymorphisms with milk technological traits, yield, composition, and somatic cell score in Italian Holstein-Friesian sires
E Viale, F Tiezzi, F Maretto, M De Marchi, M Penasa, M Cassandro
Journal of dairy science 100 (9), 7271-7281, 2017
612017
Genotype by environment (climate) interaction improves genomic prediction for production traits in US Holstein cattle
F Tiezzi, G de Los Campos, KLP Gaddis, C Maltecca
Journal of dairy science 100 (3), 2042-2056, 2017
602017
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
582018
The system can't perform the operation now. Try again later.
Articles 1–20