S. Morzenti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 7th International Software Process Workshop, Communication and Coordination in the Software Process' - Yountville, CA (October 15-18, 1991)] Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process' - A Multi-paradigm Petri Net Based Approach To Process Description

Bandinelli, S., Fuggetta, A., Ghezzi, C., Morzenti, A.

Year:

1991

Language:

english

File:

PDF, 208 KB

english, 1991

52

Constraint LTL satisfiability checking without automata

Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 886 KB

english, 2014

53

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - A Metric Temporal Logic for Dealing with Zero-Time Transitions

Ferrucci, Luca, Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

54

[IEEE Comput. Soc. Press EUROMICRO `91 Workshop on Real-Time Systems - Paris-Orsay, France (12-14 June 1991)] Proceedings. EUROMICRO `91 Workshop on Real-Time Systems - Real-time system validation by model checking in TRIO

Felder, M., Morzenti, A.C.

Year:

1991

Language:

english

File:

PDF, 734 KB

english, 1991

55

[IEEE 11th Annual Conference on Computer Assurance. COMPASS '96 - Gaithersburg, MD, USA (17-21 June 1996)] Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96 - Specifying, validating, and testing a traffic management system in the TRIO environment

Gargantini, A., Liberati, L., Morzenti, A., Zacchetti, C.

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

56

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Bounded Reachability for Temporal Logic over Constraint Systems

Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Year:

2010

Language:

english

File:

PDF, 414 KB

english, 2010

57

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - Trio2Promela: A Model Checker for Temporal Metric Specifications

Bianculli, Domenico, Morzenti, Angelo, Pradella, Matteo, Pietro, Pierluigi San, Spoletini, Paola

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

58

[IEEE Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems - Los Angeles, CA, USA (1999.05.18-1999.05.18)] Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99 - A case study in object-oriented modeling and design of distributed multimedia applications

Morzenti,, Pradella,, Rossi,, Russo,, Sergio,

Year:

1999

Language:

english

File:

PDF, 88 KB

english, 1999

59

[IEEE Comput. Soc. Press Sixth International Workshop on Software Specification and Design - Como, Italy (25-26 Oct. 1991)] Proceedings of the Sixth International Workshop on Software Specification and Design - Dealing with different time scales in formal specifications

Corsetti, E., Crivelli, E., Mandrioli, D., Montanari, A., Morzenti, A.C., San Pietro, P., Ratto, E.

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

60

[IEEE Comput. Soc. Press [1989] Proceedings. EUROMICRO Workshop on Real Time - Como, Italy (14-16 June 1989)] [1989] Proceedings. EUROMICRO Workshop on Real Time - TRIO, a logic formalism for the specification of real-time systems

Morzenti, A., Ratto, E., Roncato, M., Zoccolante, L.

Year:

1989

Language:

english

File:

PDF, 484 KB

english, 1989

61

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - A tool for automated system analysis based on modular specifications

Morzenti, A., Pietro, P.S., Morasca, S.

Year:

1998

Language:

english

File:

PDF, 98 KB

english, 1998

62

Effect of Turning and Age of Egg on Hatchability in the Pheasant, Chukar, and Japanese Quail

Woodard, A. E., Morzenti, A.

Journal:

Poultry Science

Year:

1975

Language:

english

File:

PDF, 232 KB

english, 1975

63

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing

Bianchessi, Andrea G., Cugola, Gianpaolo, Formentin, Simone, Morzenti, Angelo C., Ongini, Carlo, Panigati, Emanuele, Rossi, Matteo, Savaresi, Sergio M., Schreiber, Fabio A., Tanca, Letizia, Vannutelli

Journal:

IEEE Intelligent Transportation Systems Magazine

Year:

2014

Language:

english

File:

PDF, 2.94 MB

english, 2014

64

Bounded satisfiability checking of metric temporal logic specifications

Pradella, Matteo, Morzenti, Angelo, Pietro, Pierluigi San

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 850 KB

english, 2013

65

Automated deductive requirements analysis of critical systems

Gargantini, Angelo, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

66

Analysis of techniques in the assessment of ultra-reliable computerized systems

Morzenti, Angelo, Schreiber, Fabio A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 544 KB

english, 1997

67

Validating real-time systems by history-checking TRIO specifications

Felder, Miguel, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1994

Language:

english

File:

PDF, 2.25 MB

english, 1994

68

Generating test cases for real-time systems from logic specifications

Mandrioli, Dino, Morasca, Sandro, Morzenti, Angelo

Journal:

ACM Transactions on Computer Systems

Year:

1995

Language:

english

File:

PDF, 2.20 MB

english, 1995

69

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Generating functional test cases in-the-large for time-critical systems from logic-based specifications

Morasca, Sandro, Morzenti, Angelo, SanPietro, Pieluigi

Year:

1996

Language:

english

File:

PDF, 1.06 MB

english, 1996

70

From formal models to formally based methods: an industrial experience

Ciapessoni, Emanuele, Mirandola, Piergiorgio, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1999

Language:

english

File:

PDF, 234 KB

english, 1999

71

[ACM Press the 14th international conference - Melbourne, Australia (1992.05.11-1992.05.15)] Proceedings of the 14th international conference on Software engineering - ICSE '92 - Validating real-time systems by history-checking TRIO specifications

Felder, Miguel, Morzenti, Angelo

Year:

1992

Language:

english

File:

PDF, 1.12 MB

english, 1992

72

Fahr's Disease Linked to a Novel SLC20A2 Gene Mutation Manifesting with Dynamic Aphasia

Brighina, Laura, Saracchi, Enrico, Ferri, Francesca, Gagliardi, Monica, Tarantino, Patrizia, Morzenti, Sabrina, Musarra, Monica, Patassini, Mirko, Annesi, Grazia, Ferrarese, Carlo

Journal:

Neurodegenerative Diseases

Year:

2014

Language:

english

File:

PDF, 405 KB

english, 2014

73

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - The symmetry of the past and of the future

Pradella, Matteo, Morzenti, Angelo, San Pietro, Pierluigi

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

74

A framework architecture for supervision and control systems

Capobianchi, Riccardo, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Computing Surveys

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

75

Object-oriented logical specification of time-critical systems

Morzenti, Angelo, San Pietro, Pierluigi

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1994

Language:

english

File:

PDF, 2.91 MB

english, 1994

76

[IEEE Comput. Soc 21st International Conference on Distributed Computing Systems - Mesa, AZ, USA (16-19 April 2001)] Proceedings 21st International Conference on Distributed Computing Systems - Modeling and analyzing real-time CORBA and supervision and control framework and applications

Marotta, F., Morzenti, A., Mandrioli, D.

Year:

2001

Language:

english

File:

PDF, 735 KB

english, 2001

77

A First Report on Pseudomeiotic Sporogenesis, a Type of Spore Reproduction by Which "Sterile" Ferns Produce Gametophytes

Virginia M. Morzenti

Journal:

American Fern Journal

Year:

1962

Language:

english

File:

PDF, 1.35 MB

english, 1962

78

[IEEE Comput. Soc. Press Sixth Euromicro Workshop on Real-Time Systems - Vaesteraas, Sweden (15-17 June 1994)] Proceedings Sixth Euromicro Workshop on Real-Time Systems - Relating specified time tolerances to implementation performances

Mezzalira, L., Morzenti, A.

Year:

1994

Language:

english

File:

PDF, 805 KB

english, 1994

79

[IEEE Comput. Soc. Press [Proceedings] 1988 IEEE Workshop on Languages for Automation@m_Symbiotic and Intelligent Robotics - College Park, MD, USA (29-31 Aug. 1988)] [Proceedings] 1988 IEEE Workshop on Languages for Automation@m_Symbiotic and Intelligent Robotics - VLP: a visual language for prototyping

Fuggetta, A., Ghezzi, C., Mandrioli, D., Morzenti, A.

Year:

1988

Language:

english

File:

PDF, 1.10 MB

english, 1988

80

[IEEE SMC2002: IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia (6-9 Oct. 2002)] IEEE International Conference on Systems, Man and Cybernetics - Software procurement and methods for specification and validation in the railway transportation industry

Foschi, U., Giuliani, M., Morzenti, A., Pradella, M., San Pietro, P.

Year:

2002

Language:

english

File:

PDF, 328 KB

english, 2002

81

Physical performance of ClearPEM, a dedicated scanner for positron emission mammography

Zorz, A., Morzenti, S., Pizzichemi, M., De Ponti, E., Guerra, L., Landoni, C., De Bernardi, E., Auffray, E., Bugalho, R., Da Silva, J.C.R., Tavernier, S., Varela, J., Lecoq, P., Paganoni, M., Crespi,

Journal:

Year:

2016

Language:

english

File:

PDF, 76 KB

english, 2016

82

A new regularized reconstruction algorithm in the evaluation of contrast detectability and background variability: Comparison with standard OSEM algorithm

Morzenti, S., Zorz, A., De Ponti, E., Crespi, A.

Journal:

Year:

2016

Language:

english

File:

PDF, 71 KB

english, 2016

83

Automated Formal Verification for Flexible Manufacturing Systems

Carpanzano, Emanuele, Ferrucci, Luca, Mandrioli, Dino, Mazzolini, Mauro, Morzenti, Angelo, Rossi, Matteo

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 438 KB

english, 2012

84

Generating functional test cases in-the-large for time-critical systems from logic-based specifications

Morasca, Sandro, Morzenti, Angelo, SanPietro, Pieluigi

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 1.06 MB

english, 1996

85

Asplenium plenum: A Fern which Suggests an Unusual Method of Species Formation

Virginia M. Morzenti

Journal:

American Journal of Botany

Year:

1967

Language:

english

File:

PDF, 1.47 MB

english, 1967

86

A SURVEY AND ASSESSMENT OF SOFTWARE PROCESS REPRESENTATION FORMALISMS

ARMENISE, PASQUALE, BANDINELLI, SERGIO, GHEZZI, CARLO, MORZENTI, ANGELO

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1993

Language:

english

File:

PDF, 1.19 MB

english, 1993

87

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications

Rossi, Matteo, Mandrioli, Dino, Morzenti, Angelo, Ferrucci, Luca

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.17 MB

english, 2016

88

18F-FDG-PET/CT guiding to diagnosis of neurosarcoidosis

Guglielmo, P., Crivellaro, C., Marzorati, L., Patassini, M., Morzenti, S., Landoni, C.

Journal:

Revista Española de Medicina Nuclear e Imagen Molecular

Year:

2017

Language:

english

File:

PDF, 417 KB

english, 2017

89

18 F-FDG-PET/CT guiding to diagnosis of neurosarcoidosis

Guglielmo, P., Crivellaro, C., Marzorati, L., Patassini, M., Morzenti, S., Landoni, C.

Journal:

Revista Española de Medicina Nuclear e Imagen Molecular (English Edition)

Year:

2017

Language:

english

File:

PDF, 443 KB

english, 2017

90

Temporal Logic for Validation and Verifying Enel Control Systems

Crivelli, Ernani, Morzenti, Angelo, Ratto, Elena

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 1.74 MB

english, 1998

91

Erratum to ‘delivering prostate cancer prevention messages to the public: How the national cancer institute (NCI) effectively spread the word about the prostate cancer prevention trial (PCPT) results’[Uro Oncol 22 (2004) 369–376]☆☆

SMIGELCROKER, K, RYAN, A, MORZENTI, T, CAVE, L, MAZEGALLMAN, T, FORD, L

Journal:

Urologic Oncology: Seminars and Original Investigations

Year:

2004

Language:

english

File:

PDF, 26 KB

english, 2004

92

Association of postoperative delirium with markers of neurodegeneration and brain amyloidosis. A pilot study

Rolandi, Elena, Cavedo, Enrica, Pievani, Michela, Galluzzi, Samantha, Ribaldi, Federica, Buckley, Christopher, Cunningham, Colm, Guerra, Ugo Paolo, Musarra, Monica, Morzenti, Sabrina, Magnaldi, Silvia

Journal:

Neurobiology of Aging

Year:

2017

Language:

english

File:

PDF, 874 KB

english, 2017

93

A Logic-Based Approach for the Verification of UML Timed Models

Baresi, Luciano, Morzenti, Angelo, Motta, Alfredo, K., Mohammad Mehdi Pourhashem, Rossi, Matteo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2017

Language:

english

File:

PDF, 2.73 MB

english, 2017

94

Fast deterministic parsers for transition networks

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

95

POSTOPERATIVE DELIRIUM IS ASSOCIATED WITH MARKERS OF NEURODEGENERATION BUT NO BRAIN AMYLOIDOSIS

Rolandi, Elena, Cavedo, Enrica, Pievani, Michela, Galluzzi, Samantha, Ribaldi, Federica, Buckley, Chris J., Cunningham, Colm, Guerra, Ugo Paolo, Musarra, Monica, Morzenti, Sabrina, Magnaldi, Silvia, P

Journal:

Alzheimer's & Dementia

Year:

2017

Language:

english

File:

PDF, 160 KB

english, 2017

96

Cognitive reserve maps the core loci of neurodegeneration in Corticobasal Degeneration

Isella, Valeria, Grisanti, Stefano Giuseppe, Ferri, Francesca, Morzenti, Sabrina, Crivellaro, Cinzia, Musarra, Monica, Ferrarese, Carlo

Journal:

European Journal of Neurology

Year:

2018

Language:

english

File:

PDF, 596 KB

english, 2018

97

An Adaptive Thresholding Method for BTV Estimation Incorporating PET Reconstruction Parameters: A Multicenter Study of the Robustness and the Reliability

Brambilla, M., Matheoud, R., Basile, C., Bracco, C., Castiglioni, I., Cavedon, C., Cremonesi, M., Morzenti, S., Fioroni, F., Giri, M., Botta, F., Gallivanone, F., Grassi, E., Pacilio, M., De Ponti, E.

Journal:

Computational and Mathematical Methods in Medicine

Year:

2015

Language:

english

File:

PDF, 2.16 MB

english, 2015

98

MRI characteristics of adductor longus lesions in professional football players and prognostic factors for return to play

Pezzotta, G., Pecorelli, A., Querques, G., Biancardi, S., Morzenti, C., Sironi, S.

Journal:

European Journal of Radiology

Year:

2018

Language:

english

File:

PDF, 940 KB

english, 2018

99

Global and regional brain volumes normalization in weight-recovered adolescents with anorexia nervosa: preliminary findings of a longitudinal voxel-based morphometry study

Bomba, Monica, Riva, Anna, Morzenti, Sabrina, Grimaldi, Marco, Neri, Francesca, Nacinovich, Renata

Journal:

Neuropsychiatric Disease and Treatment

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

100

83. Performance optimization using new PET/CT technology with respect to count statistic variation

Morzenti, S., Spadavecchia, C., Dolci, C., De Ponti, E., Guerra, L., Landoni, C., Crespi, A.

Journal:

Year:

2018

Language:

english

File:

PDF, 48 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски