Francesco Tiezzi
Cited by
Cited by
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi
European Symposium on Programming, 33-47, 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
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
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
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
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
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
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
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
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
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
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
A Formal Account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 199-215, 2008
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
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
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20