Pierfrancesco Bellini

	2009
30		Pierfrancesco Bellini, Ivan Bruno, Daniele Cenni, Paolo Nesi, Michela Paolucci: Personal Content Management on PDA for Health Care Applications. ICSC 2009: 601-605
29		Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Expressing and organizing real-time specification patterns via temporal logics. Journal of Systems and Software 82(2): 183-196 (2009)
	2008
28		Bee Ong, Kia Ng, Pierfrancesco Bellini: Distributed Interactive Multimedia for Technology-enhanced Learning and Automated Content Production and Distribution. DMS 2008: 51-54
27		Pierfrancesco Bellini, Ivan Bruno, Daniele Cenni, Paolo Nesi: Performance Evaluation and Statistical Analysis of a BitTorrent Tracker. DMS 2008: 55-58
26		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Michele Spighi: Tassonomy and Review of Complex Content Models. DMS 2008: 71-76
	2007
25		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai, Paolo Vaccari: Interoperable cross media content and DRM for multichannel distribution. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 330-340
	2006
24		Pierfrancesco Bellini, Sauro Chellini, Tommaso Martini, Paolo Nesi, Davide Rogai, Andrea Vallotti: AXMEDIS architectural solution for interoperable content and DRM on multichannel distribution. AIAI 2006: 697-704
23		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A GRID based Framework and tools for automating production of cross media content. ICECCS 2006: 236-248
22		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A Language and Architecture for Automating Multimedia Content Production on Grid. ICME 2006: 441-444
21		Pierfrancesco Bellini, Paolo Nesi, L. Ortimini, Davide Rogai, Andrea Vallotti: Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation Tools. ICME 2006: 577-580
20		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai: An Integrated Framework for Automating Content Enrich Packaging and Distribution with DRM support. SWAP 2006
19		Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Reply to Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 428-431 (2006)
	2005
18		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai: Comparing Fault-Proneness Estimation Models. ICECCS 2005: 205-214
17		Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Validating Component Integration with C-TILCO: A Case Study. Electr. Notes Theor. Comput. Sci. 116: 241-252 (2005)
16		Pierfrancesco Bellini, Paolo Nesi, Giorgio Zoia: Symbolic Music Representation in MPEG. IEEE MultiMedia 12(4): 42-49 (2005)
	2004
15		Pierfrancesco Bellini, Jean-Pierre Barthélemy, Paolo Nesi, Giorgio Zoia: A Proposal for the Integration of Symbolic Music Notation into Multimedia Frameworks. WEDELMUSIC 2004: 36-43
14		Pierfrancesco Bellini, Paolo Nesi: Automatic justification and line-breaking of music sheets. Int. J. Hum.-Comput. Stud. 61(1): 104-137 (2004)
13		Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A distributed system for computer vision quality control of clinched boards. Real-Time Imaging 10(3): 161-176 (2004)
	2003
12		Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai: TILCO Temporal Logic for Real-Time Systems Implementation in C++. SEKE 2003: 166-173
11		Pierfrancesco Bellini, Jean-Pierre Barthélemy, Ivan Bruno, Paolo Nesi, Marius B. Spinu: Multimedia Music Sharing among Mediateques: Archives and Distribution to Their Attendees. Applied Artificial Intelligence 17(8-9): 773-795 (2003)
10		Pierfrancesco Bellini, M. Buonopane, Paolo Nesi: Assessment of a Flexible Architecture for Distributed Control*. Programming and Computer Software 29(3): 147-160 (2003)
	2002
9		Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi: Execution of TILCO Temporal Logic Specifications. ICECCS 2002: 78-
8		Pierfrancesco Bellini, Paolo Nesi, Marius B. Spinu: Cooperative visual manipulation of music notation. ACM Trans. Comput.-Hum. Interact. 9(3): 194-237 (2002)
	2001
7		Pierfrancesco Bellini, Paolo Nesi: TILCO-X, an Extension of TILCO Temporal Logic. ICECCS 2001: 15-25
6		Pierfrancesco Bellini, Paolo Nesi: Communicating TILCO: A Model for Real-Time System Specification. ICECCS 2001: 4-14
	2000
5		Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification Criteria for a Compositional Model for Reactive Systems. ICECCS 2000: 25-35
4		Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi: Temporal logics for real-time system specification. ACM Comput. Surv. 32(1): 12-42 (2000)
3		Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification of external specifications of reactive systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 692-709 (2000)
	1999
2		Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi: Evaluating a Flexible Architecture for Distributed Control. ICECCS 1999: 66-76
1		Pierfrancesco Bellini, Fabrizio Fioravanti, Paolo Nesi: Managing Music in Orchestras. IEEE Computer 32(9): 26-34 (1999)

Coauthor Index

1	Jean-Pierre Barthélemy	[11] [15]
2	Ivan Bruno	[11] [13] [18] [20] [22] [23] [25] [26] [27] [30]
3	Mario Andres Bruno	[3] [5]
4	M. Buonopane	[2] [10]
5	Daniele Cenni	[27] [30]
6	Sauro Chellini	[24]
7	Fabrizio Fioravanti	[1]
8	Andrea Giotti	[9] [12]
9	Tommaso Martini	[24]
10	R. Mattonlini	[4]
11	M. Montanelli	[2]
12	Paolo Nesi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29] [30]
13	Kia Ng	[28]
14	Bee Ong	[28]
15	L. Ortimini	[21]
16	Michela Paolucci	[30]
17	Davide Rogai	[12] [17] [18] [19] [20] [21] [24] [25] [29]
18	Michele Spighi	[26]
19	Marius B. Spinu	[8] [11]
20	Paolo Vaccari	[25]
21	Andrea Vallotti	[21] [24]
22	Giorgio Zoia	[15] [16]