Folgen
Francesco Tiezzi
Francesco Tiezzi
Bestätigte E-Mail-Adresse bei unicam.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1582014
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
822015
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
812014
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
782018
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
682014
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
672012
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
642015
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
602017
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
602014
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
532013
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
532011
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
512015
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
512015
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
502020
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
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
492011
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
482015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20