Luigi V. Mancini Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei: The Quest for Mobility Models to Analyse Security in Mobile Ad Hoc Networks. WWIC 2009: 85-96
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik: Playing hide-and-seek with a focused mobile adversary in unattended wireless sensor networks. Ad Hoc Networks 7(8): 1463-1475 (2009)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei: The Smallville Effect: Social Ties Make Mobile Networks More Secure Against the Node Capture Attack CoRR abs/0912.2199: (2009)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik: Data Security in Unattended Wireless Sensor Networks. IEEE Trans. Computers 58(11): 1500-1511 (2009)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Distributed data source verification in wireless sensor networks. Information Fusion 10(4): 342-353 (2009)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Lei Zhang, Sankardas Roy, Roberto Di Pietro, Sushil Jajodia, Luigi V. Mancini: Privacy-preserving robust data aggregation in wireless sensor networks. Security and Communication Networks 2(2): 195-213 (2009)
2008
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik: Catch Me (If You Can): Data Survival in Unattended Sensor Networks. PerCom 2008: 185-194
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Battistoni, Alessandro Di Biagio, Roberto Di Pietro, Matteo Formica, Luigi V. Mancini: A Live Digital Forensic system for Windows networks. SEC 2008: 653-667
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Emergent properties: detection of the node-capture attack in mobile wireless sensor networks. WISEC 2008: 214-219
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan: Redoubtable Sensor Networks. ACM Trans. Inf. Syst. Secur. 11(3): (2008)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Special Issue: Hot Topics in Peer-to-Peer Systems. Concurrency and Computation: Practice and Experience 20(6): 599 (2008)
2007
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVishwas Patil, Alessandro Mei, Luigi V. Mancini: Addressing interoperability issues in access control models. ASIACCS 2007: 389-391
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Gabrielli, Luigi V. Mancini: Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks. BIOWIRE 2007: 399-410
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Towards threat-adaptive dynamic fragment replication in large scale distributed systems. IPDPS 2007: 1
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei: A randomized, efficient, and distributed protocol for the detection of node replication attacks in wireless sensor networks. MobiHoc 2007: 80-89
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi: RIPP-FS: An RFID Identification, Privacy Preserving Protocol with Forward Secrecy. PerCom Workshops 2007: 229-234
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini: ECCE: Enhanced cooperative channel establishment for secure pair-wise communication in wireless sensor networks. Ad Hoc Networks 5(1): 49-62 (2007)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Di Crescenzo, Luigi V. Mancini: Preface. Electr. Notes Theor. Comput. Sci. 171(1): 1-2 (2007)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Giorgio Zanin: Efficient and Adaptive Threshold Signatures for Ad hoc networks. Electr. Notes Theor. Comput. Sci. 171(1): 93-105 (2007)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Roberto Di Pietro, Luigi V. Mancini: Robust RSA distributed signatures for large-scale long-lived ad hoc networks. Journal of Computer Security 15(1): 171-196 (2007)
2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil: Addressing the shortcomings of one-way chains. ASIACCS 2006: 289-296
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini, Alessandra Menapace: Scheduling Hard-Real-Time Tasks with Backup Phasing Delay. DS-RT 2006: 107-118
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Alessandro Mei, Luigi V. Mancini: A Secure and Efficient Large Scale Distributed System for Data Sharing. ICDCS 2006: 27
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini: Secure Cooperative Channel Establishment inWireless Sensor Networks. PerCom Workshops 2006: 327-331
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia: A robust watermarking system based on SVD compression. SAC 2006: 1341-1347
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Energy efficient node-to-node authentication and communication confidentiality in wireless sensor networks. Wireless Networks 12(6): 709-721 (2006)
2005
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Calagna, Luigi V. Mancini: A Blind Method for Digital Watermarking Attacks. EuroIMSA 2005: 265-270
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
2004
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce: Information Flow Analysis for File Systems and Databases Using Labels. DBSec 2004: 125-141
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Battistoni, Emanuele Gabrielli, Luigi V. Mancini: A Host Intrusion Prevention System for Windows Operating Systems. ESORICS 2004: 352-368
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Efficient and Resilient Key Discovery Based on Pseudo-Random Key Pre-Deployment. IPDPS 2004
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Luigi V. Mancini: Towards a formal model for security policies specification and validation in the selinux system. SACMAT 2004: 136-145
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan: Connectivity properties of secure wireless sensor networks. SASN 2004: 53-58
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Key management for high bandwidth secure multicast. Journal of Computer Security 12(5): 693-709 (2004)
2003
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga: LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. ICPP Workshops 2003: 397-
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Random key-assignment for secure Wireless Sensor Networks. SASN 2003: 62-71
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: A Time Driven Methodology for Key Dimensioning in Multicast Communications. SEC 2003: 121-132
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Antonio Durante, Luigi V. Mancini: A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS 2003: 231-240
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Providing secrecy in key management protocols for large wireless sensors networks. Ad Hoc Networks 1(4): 455-468 (2003)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini: Security and privacy issues of handheld and wearable wireless devices. Commun. ACM 46(9): 74-79 (2003)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Mei, Luigi V. Mancini, Sushil Jajodia: Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems. IEEE Trans. Parallel Distrib. Syst. 14(9): 885-896 (2003)
2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Durante, Roberto Di Pietro, Luigi V. Mancini: Formal Specification for Fast Automatic IDS Training. FASec 2002: 191-204
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Efficient and secure keys management for wireless mobile communications. POMC 2002: 66-73
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Secure Selective Exclusion in Ad Hoc Wireless Network. SEC 2002: 423-434
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini: Remus: a security-enhanced operating system. ACM Trans. Inf. Syst. Secur. 5(1): 36-61 (2002)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
2001
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: (2001)
2000
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini: Operating system enhancements to prevent the misuse of system calls. ACM Conference on Computer and Communications Security 2000: 174-183
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Gianni Conte, Luigi V. Mancini: Workshop on Personal Computer Based Networks of Workstation. IPDPS Workshops 2000: 1-3
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino: Flexible Transaction Dependencies in Database Systems. Distributed and Parallel Databases 8(4): 399-446 (2000)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIndrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino: ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. IEEE Trans. Knowl. Data Eng. 12(6): 880-899 (2000)
1999
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings Springer 1999
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Giuseppe Ciaccio, Luigi V. Mancini, Pierluigi Rotondo: GAMMA on DEC 2114x with Efficient Flow Control. PDPTA 1999: 2337-2343
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini, Federico Rossini: Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems. IEEE Trans. Parallel Distrib. Syst. 10(9): 934-945 (1999)
1998
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSushil Jajodia, Luigi V. Mancini, Sanjeev Setia: A Fair Locking Protocol for Multilevel Secure Databases. CSFW 1998: 168-178
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Giovanni Chiola, Luigi V. Mancini: Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. ICATPN 1998: 266-285
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Sushil Jajodia, Luigi V. Mancini, Indrajit Ray: Advanced Transaction Processing in Multilevel Secure File Stores. IEEE Trans. Knowl. Data Eng. 10(1): 120-135 (1998)
1997
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Andrea Fusiello, Luigi V. Mancini: Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks. IPPS 1997: 133-138
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino: Flexible Commit Protocols for Advanced Transaction Processing. Advanced Transaction Models and Architectures 1997: 0-
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Asp. Comput. 9(2): 119-148 (1997)
1996
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIndrajit Ray, Elisa Bertino, Sushil Jajodia, Luigi V. Mancini: An Advanced Commit Protocol for MLS Distributed Database Systems. ACM Conference on Computer and Communications Security 1996: 119-128
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSushil Jajodia, Luigi V. Mancini, Indrajit Ray: Secure Locking Protocols for Multilevel Database Management Systems. DBSec 1996: 177-194
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray: Secure Concurrency Control in MLS Databases with Two Versions of Data. ESORICS 1996: 304-323
1995
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Massimo Bonometto, Luigi V. Mancini: Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. Real-Time Systems 9(1): 5-29 (1995)
1994
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Ciampichetti, Elisa Bertino, Luigi V. Mancini: Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems. ESORICS 1994: 359-373
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini: Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. Real-Time Systems 7(3): 229-245 (1994)
1993
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Modelling Replicated Processing. PARLE 1993: 672-675
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantosh K. Shrivastava, Luigi V. Mancini, Brian Randell: The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23(7): 773-798 (1993)
1992
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Garbage Collection and Reachability POS 1992: 394-395
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. SRDS 1991: 108-117
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Vittoria Rotella, Simonetta Venosa: Copying Garbage Collection for Distributed Object Stores. SRDS 1991: 218-227
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Santosh K. Shrivastava: Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. 34(6): 503-513 (1991)
1989
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Proving Correctness Properties of a Replicated Synchronous Program. Comput. J. 32(5): 437-444 (1989)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini: Synchronizing events in replicated systems. Journal of Systems and Software 9(3): 183-190 (1989)
1988
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Towards a Theory of Replicated Processing. FTRTFT 1988: 175-192
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Hoare logic of distributed redundant systems. Comput. Syst. Sci. Eng. 3(4): 171-180 (1988)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. Softw., Pract. Exper. 18(4): 287-300 (1988)
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantosh K. Shrivastava, Luigi V. Mancini, Brian Randell: On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37
1986
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Maciej Koutny: Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Modular Redundancy in a Message Passing System. IEEE Trans. Software Eng. 12(1): 79-86 (1986)

Coauthor Index

1Roberto Battistoni [58] [80]
2Peter H. Beckman [30]
3Massimo Bernaschi [35] [40]
4Elisa Bertino [17] [21] [23] [25] [26] [31] [32]
5Alan A. Bertossi [16] [18] [24] [28] [66]
6Devesh Bhatt [30]
7Alessandro Di Biagio [80]
8Massimo Bonometto [18]
9Maria Calagna [61] [63]
10Denis Caromel [30]
11Serge Chaumette [30]
12Giovanni Chiola [26] [29] [33]
13Giuseppe Ciaccio [29]
14Alessandro Ciampichetti [17]
15Gianni Conte [30] [33]
16Mauro Conti [64] [71] [72] [73] [79] [82] [83] [85] [87]
17Giovanni Di Crescenzo [70]
18Antonio Durante [44] [49] [67]
19Hossam A. ElGindy [30]
20Fikret Erçal [30]