Francesco Tiezzi
Francesco Tiezzi
Geverifieerd e-mailadres voor unicam.it - Homepage
Geciteerd door
Geciteerd door
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
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
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
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 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
A Formal Account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 199-215, 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
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
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
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
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
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
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
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
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
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
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20