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
2742007
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
1532014
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
812015
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
802014
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
692018
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
692012
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
652014
A Formal Account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 199-215, 2008
652008
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
622015
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
622014
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
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
612008
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
562017
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
552011
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
512013
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
492015
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
492015
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
492012
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
482013
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
472018
The system can't perform the operation now. Try again later.
Articles 1–20