Andrea Masini

	2011
38		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements. Electr. Notes Theor. Comput. Sci. 270(2): 251-261 (2011)
37		Andrea Masini, Luca Viganò, Marco Volpe: Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21(6): 1093-1163 (2011)
36		Andrea Masini, Luca Viganò, Margherita Zorzi: Modal Deduction Systems for Quantum State Transformations. Multiple-Valued Logic and Soft Computing 17(5-6): 475-519 (2011)
	2010
35		Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Nadia Pinardi, Paolo Trivero, Chiara Castellani, Francesco Tataranni, Andrea Masini, M. Adamo, R. Archetti, Walter Biamino, F. Bignami, E. Bohm, M. Borasi, B. Buongiorno Nardelli, M. Cavagnero, F. Colao, S. Colella, G. Coppini, V. Debettio, G. De Carolis, M. De Dominicis, V. Forneris, F. Fontebasso, A. Griffa, R. Iacono, E. Lombardi, S. Marullo, G. Manzella, A. Mercatini, E. Napolitano, A. Pisano, F. Reseghetti, R. Sorgente, M. Sprovieri, G. Terranova, G. Volpe, E. Zambianchi: Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations. IGARSS 2010: 4799-4802
34		Andrea Masini, Luca Viganò, Marco Volpe: A History of Until. Electr. Notes Theor. Comput. Sci. 262: 189-204 (2010)
33		Andrea Masini, Luca Viganò, Marco Volpe: Back from the future. Journal of Applied Non-Classical Logics 20(3): 241-277 (2010)
32		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum implicit computational complexity. Theor. Comput. Sci. 411(2): 377-409 (2010)
	2009
31		Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Francesco Tataranni, Consorzio Innova, Paolo Trivero, Nadia Pinardi, Andrea Masini, Chiara Castellani: COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea. IGARSS (2) 2009: 781-784
30		Andrea Masini, Luca Viganò, Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353
29		Stefano Guerrini, Andrea Masini: Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10(2): (2009)
28		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements CoRR abs/0905.4567: (2009)
27		Andrea Masini, Luca Viganò, Marco Volpe: A History of Until CoRR abs/0910.4500: (2009)
26		Andrea Masini, Giovanni Corsini, Marco Diani, Marco Cavallini: Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System. IEEE Transactions on Intelligent Transportation Systems 10(4): 688-694 (2009)
25		Andrea Masini, Luk N. Van Wassenhove: ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors. Manufacturing & Service Operations Management 11(2): 274-298 (2009)
24		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: On a measurement-free quantum lambda calculus with classical control. Mathematical Structures in Computer Science 19(2): 297-335 (2009)
	2008
23		Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations. ISMVL 2008: 131-137
22		Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations CoRR abs/0802.4057: (2008)
	2007
21		Andrea Masini, Francesco Branchitta, Marco Diani, Giovanni Corsini: Sight enhancement through video fusion in a surveillance system. ICIAP 2007: 554-559
20		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power CoRR abs/cs/0703152: (2007)
	2006
19		Giovanni Corsini, Marco Diani, Andrea Masini: Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications. IGARSS 2006: 1816-1819
18		Giovanni Corsini, Marco Diani, Andrea Masini: Video Sequence Stabilization for Real-Time Remote Sensing Applications. IGARSS 2006: 988-991
17		Stefano Guerrini, Andrea Masini: Continuations, proofs and tests CoRR abs/cs/0605043: (2006)
16		Stefano Baratella, Andrea Masini: A note on unbounded metric temporal logic over dense time domains. Math. Log. Q. 52(5): 450-456 (2006)
	2004
15		Stefano Baratella, Andrea Masini: An approach to infinitary temporal proof theory. Arch. Math. Log. 43(8): 965-990 (2004)
14		Stefano Baratella, Andrea Masini: A Way of Making World Quantification Explicit. Logic Journal of the IGPL 12(3): 199-225 (2004)
13		Stefano Baratella, Andrea Masini: An infinitary variant of Metric Temporal Logic over dense time domains. Math. Log. Q. 50(3): 249-257 (2004)
	2003
12		Stefano Baratella, Andrea Masini: A proof-theoretic investigation of a logic of positions. Ann. Pure Appl. Logic 123(1-3): 135-162 (2003)
11		Stefano Guerrini, Simone Martini, Andrea Masini: Coherence for sharing proof-nets. Theor. Comput. Sci. 294(3): 379-409 (2003)
	2001
10		Stefano Guerrini, Simone Martini, Andrea Masini: Proof nets, garbage, and computations. Theor. Comput. Sci. 253(2): 185-237 (2001)
9		Stefano Guerrini, Andrea Masini: Parsing MELL proof nets. Theor. Comput. Sci. 254(1-2): 317-335 (2001)
	1998
8		Stefano Guerrini, Simone Martini, Andrea Masini: An Analysis of (Linear) Exponentials Based on Extended Sequents. Logic Journal of the IGPL 6(5): 735-753 (1998)
	1997
7		Stefano Guerrini, Simone Martini, Andrea Masini: Proof Nets, Garbage, and Computations. TLCA 1997: 181-195
6		Simone Martini, Andrea Masini: Experiments in Linear Natural Deduction. Theor. Comput. Sci. 176(1-2): 159-173 (1997)
	1996
5		Stefano Guerrini, Simone Martini, Andrea Masini: Coherence for Sharing Proof Nets. RTA 1996: 215-229
	1994
4		Simone Martini, Andrea Masini: A Modal View of Linear Logic. J. Symb. Log. 59(3): 888-899 (1994)
	1993
3		Andrea Masini: 2-Sequent Calculus: Intuitionism and Natural Deduction. J. Log. Comput. 3(5): 533-562 (1993)
	1992
2		Andrea Masini: 2-Sequent Calculus: A Proof Theory of Modalities. Ann. Pure Appl. Logic 58(3): 229-246 (1992)
1		Andrea Masini, Andrea Maggiolo-Schettini: TTL: A formalism to describe local and global properties of distributed systems. ITA 26: 115-162 (1992)

Coauthor Index

1	M. Adamo	[35]
2	R. Archetti	[35]
3	Stefano Baratella	[12] [13] [14] [15] [16]
4	Walter Biamino	[35]
5	F. Bignami	[35]
6	E. Bohm	[35]
7	M. Borasi	[35]
8	Francesco Branchitta	[21]
9	G. De Carolis	[35]
10	Chiara Castellani	[31] [35]
11	M. Cavagnero	[35]
12	Marco Cavallini	[26]
13	F. Colao	[35]
14	S. Colella	[35]
15	G. Coppini	[35]
16	Giovanni Corsini	[18] [19] [21] [26]
17	V. Debettio	[35]
18	Marco Diani	[18] [19] [21] [26]
19	M. De Dominicis	[35]
20	F. Fontebasso	[35]
21	V. Forneris	[35]
22	A. Griffa	[35]
23	Stefano Guerrini	[5] [7] [8] [9] [10] [11] [17] [29]
24	R. Iacono	[35]
25	Consorzio Innova	[31]
26	Ugo Dal Lago	[20] [24] [28] [32] [38]
27	E. Lombardi	[35]
28	Andrea Maggiolo-Schettini	[1]
29	G. Manzella	[35]
30	Simone Martini	[4] [5] [6] [7] [8] [10] [11]
31	S. Marullo	[35]
32	A. Mercatini	[35]
33	E. Napolitano	[35]
34	B. Buongiorno Nardelli	[35]
35	Francesco Nirchio	[31] [35]
36	Gianfranco Pandiscia	[31] [35]
37	Nadia Pinardi	[31] [35]
38	A. Pisano	[35]
39	F. Reseghetti	[35]
40	Giovanni Ruggieri	[31] [35]
41	Rosalia Santoleri	[31] [35]
42	R. Sorgente	[35]
43	M. Sprovieri	[35]
44	Francesco Tataranni	[31] [35]
45	G. Terranova	[35]
46	Paolo Trivero	[31] [35]
47	Luca Viganò	[22] [23] [27] [30] [33] [34] [36] [37]
48	G. Volpe	[35]
49	Marco Volpe	[27] [30] [33] [34] [37]
50	Luk N. Van Wassenhove	[25]
51	E. Zambianchi	[35]
52	Margherita Zorzi	[20] [22] [23] [24] [28] [32] [36] [38]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page