Fabio Massacci 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 keys2010
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Dan S. Wallach, Nicola Zannone: Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings Springer 2010
2009
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Samuel T. Redwine Jr., Nicola Zannone: Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings Springer 2009
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Gene Tsudik, Artsiom Yautsiukhin: Logging key assurance indicators in business processes. ASIACCS 2009: 364-367
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlzbeta Krausová, Fabio Massacci, Ayda Saïdane: How to capture and use legal patterns in IT. ICAIL 2009: 228-229
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, Stephan Neuhaus: Satisfaction of Control Objectives by Control Processes. ICSOC/ServiceWave 2009: 531-545
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci, Andrea Micheletti: Towards Practical Enforcement Theories. NordSec 2009: 239-254
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone: How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. Artif. Intell. Law 17(1): 1-30 (2009)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci, Ayda Saïdane: A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems. Computer Networks 53(10): 1628-1648 (2009)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: The S3MS.NET Run Time Monitor: Tool Demonstration. Electr. Notes Theor. Comput. Sci. 253(5): 153-159 (2009)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Fabio Massacci, Nataliya Rassadko: Generalized XML security views. Int. J. Inf. Sec. 8(3): 173-203 (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan: Matching in security-by-contract for mobile code. J. Log. Algebr. Program. 78(5): 340-358 (2009)
2008
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAkshai Aggarwal, Mohamad Badra, Fabio Massacci: NTMS 2008, 2nd International Conference on New Technologies, Mobility and Security, November 5-7, 2008, Tangier, Marrocco IEEE 2008
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Katsiaryna Naliuka: Towards Practical Security Monitors of UML Policies for Mobile Applications. ARES 2008: 1112-1119
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens, Ida Siahaan: Security-By-Contract for the Future Internet. FIS 2008: 29-43
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Do You Really Mean What You Actually Enforced?. Formal Aspects in Security and Trust 2008: 287-301
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Nicola Zannone: A Model-Driven Approach for the Specification and Analysis of Access Control Policies. OTM Conferences (2) 2008: 1087-1103
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Ida Siahaan: Simulating midlet's security claims with automata modulo theory. PLAS 2008: 1-9
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzedine Benameur, Fabio Massacci, Nataliya Rassadko: Security views for outsourced business processes. SWS 2008: 45-52
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens: Preface. Electr. Notes Theor. Comput. Sci. 197(1): 1-2 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Volkmar Lotz, Fabio Massacci: Preface. Electr. Notes Theor. Comput. Sci. 197(2): 1-2 (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive access control for autonomic systems: From theory to implementation. TAAS 3(3): (2008)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinformatik 50(5): 383-391 (2008)
2007
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Paolo Giorgini, Fabio Massacci, Nicola Zannone: From Trust to Dependability through Risk Analysis. ARES 2007: 19-26
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: A flexible security architecture to support third-party applications on mobile devices. CSAW 2007: 19-28
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan: Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. EuroPKI 2007: 297-312
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Artsiom Yautsiukhin: Modelling Quality of Protection in Outsourced Business Processes. IAS 2007: 247-252
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone: How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. ICAIL 2007: 149-153
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo A. López, Fabio Massacci, Nicola Zannone: Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops 2007: 212-223
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Katsiaryna Naliuka: Towards Practical Security Monitors of UML Policies for Mobile Applications. POLICY 2007: 278
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Artsiom Yautsiukhin: An algorithm for the appraisal of assurance indicators for complex business processes. QoP 2007: 22-27
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci: Security-by-contract for web services. SWS 2007: 90-98
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Fabio Massacci, Artsiom Yautsiukhin: The Meaning of Logs. TrustBus 2007: 145-154
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Pretschner, Fabio Massacci, Manuel Hilty: Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Computer-aided Support for Secure Tropos. Autom. Softw. Eng. 14(3): 341-364 (2007)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYücel Karabulut, Florian Kerschbaum, Fabio Massacci, Philip Robinson, Artsiom Yautsiukhin: Security and Trust in IT Business Outsourcing: a Manifesto. Electr. Notes Theor. Comput. Sci. 179: 47-58 (2007)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach. International Journal of Software Engineering and Knowledge Engineering 17(2): 265-284 (2007)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: A Negotiation Scheme for Access Rights Establishment in Autonomic Communication. J. Network Syst. Manage. 15(1): 117-136 (2007)
2006
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Karjoth, Fabio Massacci: Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006 ACM 2006
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci: Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings Springer 2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone: Designing Security Requirements Models Through Planning. CAiSE 2006: 33-47
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Detecting Conflicts of Interest. RE 2006: 308-311
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Requirements engineering for trust management: model, methodology, and reasoning. Int. J. Inf. Sec. 5(4): 257-274 (2006)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying the SET Purchase Protocols. J. Autom. Reasoning 36(1-2): 5-37 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Dobson, Spyros G. Denazis, Antonio Fernández, Dominique Gaïti, Erol Gelenbe, Fabio Massacci, Paddy Nixon, Fabrice Saffre, Nikita Schmidt, Franco Zambonelli: A survey of autonomic communications. TAAS 1(2): 223-259 (2006)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Hierarchical hippocratic databases with minimal disclosure for virtual organizations. VLDB J. 15(4): 370-387 (2006)
2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. ESORICS 2005: 438-454
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, Nicola Zannone: Security and Trust Requirements Engineering. FOSAD 2005: 237-272
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Modeling Security Requirements Through Ownership, Permission and Delegation. RE 2005: 167-176
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: ST-Tool: A CASE Tool for Security Requirements Engineering. RE 2005: 451-452
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Fabio Massacci, Nataliya Rassadko: Generalized XML security views. SACMAT 2005: 77-84
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Zannone, Sushil Jajodia, Fabio Massacci, Duminda Wijesekera: Maintaining privacy on derived objects. WPES 2005: 10-19
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Modeling Social and Individual Trust in Requirements Engineering Methodologies. iTrust 2005: 161-176
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive Credential Negotiation for Stateful Business Processes. iTrust 2005: 256-272
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone: ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. iTrust 2005: 415-419
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Marco Prest, Nicola Zannone: Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation. Computer Standards & Interfaces 27(5): 445-455 (2005)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Gotsman, Fabio Massacci, Marco Pistore: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson: An overview of the verification of SET. Int. J. Inf. Sec. 4(1-2): 17-28 (2005)
2004
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI 2004: 98-111
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: An Interactive Trust Management and Negotiation Scheme. Formal Aspects in Security and Trust 2004: 115-128
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: A System for Interactive Authorization for Business Processes for Web Services. ICWE 2004: 521-525
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive Access Control for Web Services. SEC 2004: 151-166
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Nicola Zannone: Privacy Is Linking Permission to Purpose. Security Protocols Workshop 2004: 179-191
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Privacy is Linking Permission to Purpose (Transcript of Discussion). Security Protocols Workshop 2004: 192-198
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: E Pluribus Unum. WAC 2004: 179-190
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust 2004: 176-190
2003
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos: Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. ER 2003: 263-276
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Stefano Bistarelli, Fabio Massacci: A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: An access control framework for business processes for web services. XML Security 2003: 15-24
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Fiorini, Enrico Martinelli, Fabio Massacci: How to fake an RSA signature by encoding modular root finding as a SAT problem. Discrete Applied Mathematics 130(2): 101-127 (2003)
2002
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Lawrence C. Paulson, Fabio Massacci: The verification of an industrial payment protocol: the SET purchase phase. ACM Conference on Computer and Communications Security 2002: 12-20
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 533-560
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf: Solving QBF by SMV. KR 2002: 578-592
2001
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. IJCAI 2001: 193-198
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci: Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR 2001: 453-458
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2(4): 542-580 (2001)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000: 88-102
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Fabio Massacci: The Taming of the (X)OR. Computational Logic 2000: 508-522
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Formal Verification of Cardholder Registration in SET. ESORICS 2000: 159-174
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Reduction rules and universal variables for first order tableaux and DPLL. KR 2000: 186-197
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Making Sense of Specifications: The Formalization of SET. Security Protocols Workshop 2000: 74-81
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Francesco M. Donini: Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci: EXPTIME tableaux for ALC. Artif. Intell. 124(1): 87-138 (2000)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarit Hietalahti, Fabio Massacci, Ilkka Niemelä: DES: a Challenge Problem for Nonmonotonic Reasoning Systems CoRR cs.AI/0003039: (2000)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162(1-2): 117-137 (2000)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Laura Marraro: Logical Cryptanalysis as a SAT Problem. J. Autom. Reasoning 24(1/2): 165-203 (2000)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Single Step Tableaux for Modal Logics. J. Autom. Reasoning 24(3): 319-364 (2000)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: The proof complexity of analytic and clausal tableaux. Theor. Comput. Sci. 243(1-2): 477-487 (2000)
1999
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Using Walk-SAT and Rel-Sat for Cryptographic Key Search. IJCAI 1999: 290-295
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. TABLEAUX 1999: 14-18
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Automated Reasoning and the Verification of Security Protocols. TABLEAUX 1999: 32-33
1998
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Anytime Approximate Modal Reasoning. AAAI/IAAI 1998: 274-279
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae. ECAI 1998: 408-409
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. TABLEAUX 1998: 217-231
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. J. Log. Comput. 8(3): 373-400 (1998)
1997
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: A Proof Theory for Tractable Approximations of Propositional Reasoning. AI*IA 1997: 219-230
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Breaking Security Protocols as an AI Planning Problem. ECP 1997: 286-298
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. ECSQARU-FAPR 1997: 421-435
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Tableaux Methods for Access Control in Distributed Systems. TABLEAUX 1997: 246-260
1996
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Contextual Reasoning Is NP-Complete. AAAI/IAAI, Vol. 1 1996: 621-626
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Approximate Reasoning for Contextual Databases. ICTAI 1996: 308-315
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
1994
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Strongly Analytic Tableaux for Normal Modal Logics. CADE 1994: 723-737

Coauthor Index

1Akshai Aggarwal [95]
2Luigia Carlucci Aiello (Luigia Aiello) [29] [30] [31] [35]
3Yudistira Asnar [83]
4Mohamad Badra [95]
5Peter Baumgartner [28]
6Giampaolo Bella [25] [27] [36] [39] [49] [63]
7Azzedine Benameur [89]
8Nataliia Bielova [92] [96] [101]
9Stefano Bistarelli [39]
10Volha Bryl [66]
11Luis Fariñas del Cerro [32]
12Luca Compagna [79] [87] [100]
13Spyros G. Denazis [62]
14Lieven Desmet [82] [98]
15Simon A. Dobson (Simon Dobson) [62]
16Francesco M. Donini [2] [4] [23] [24] [34]
17Nicola Dragoni [75] [81] [96] [99]
18Sandro Etalle [74]
19David Fauthoux [32]
20Antonio Fernández (Antonio Fernández Anta) [62]
21Claudia Fiorini [37]
22Peter M. Fischer [84]
23Dominique Gaïti [62]
24Olivier Gasquet [32]
25Erol Gelenbe [62]
26Giuseppe De Giacomo [4] [5] [21]
27Paolo Giorgini [40] [41] [48] [52] [54] [57] [58] [59] [64] [65] [83]
28Alexey Gotsman [50]
29Andreas Herzig [32]
30Maarit Hietalahti [22]
31Manuel Hilty [73]
32Sushil Jajodia [55]
33Wouter Joosen [82] [98]
34Yücel Karabulut [71]
35Günter Karjoth [68]
36Florian Kerschbaum [71]
37Paul El Khoury [79] [100]
38Hristo Koshutanski [38] [42] [45] [46] [47] [53] [69] [85]
39Donald Kossmann [84]
40Alzbeta Krausová [100] [103]
41Gabriel M. Kuper [56] [97]
42Paolo Liberatore [34]
43Dominique Longin [32]
44Hugo A. López [78]
45Volkmar Lotz [84] [87]
46Daniela Marino [102]
47Laura Marraro [20]
48Enrico Martinelli [37]
49Fabio Martinelli [67]
50Sjouke Mauw [86]
51Andrea Micheletti [101] [102]
52John Mylopoulos [40] [41] [48] [52] [54] [57] [58] [60] [61] [64] [65] [66] [70] [72]
53Katsiaryna Naliuka [77] [81] [82] [94] [96] [98]
54Daniele Nardi [2]
55Stephan Neuhaus [102]
56Ilkka Niemelä [22]
57Paddy Nixon (Patrick Nixon) [62]
58Lawrence C. Paulson [25] [27] [36] [49] [63]
59Pieter Philippaerts [82] [98]
60Frank Piessens [82] [86] [88] [93] [98]
61Emmanuel Pigout [84]
62Marco Pistore [50]
63Marco Prest [51]
64Alexander Pretschner [73] [84]
65Nataliya Rassadko [56] [89] [97] [102]
66Samuel T. Redwine Jr. [105]
67Philip Robinson [71]
68Riccardo Rosati [2]
69Fabrice Saffre [62]
70Ayda Saïdane [99] [103]
71Marco Schaerf [34]
72Nikita Schmidt [62]
73Ida Siahaan [81] [90] [93] [96]
74Alberto Siena [52]
75Ketil Stølen [67]
76Reshma Thomas [79]
77Piero Tramontano [25] [27]
78Gene Tsudik [104]
79Dries Vanoverberghe [82] [98]
80Dan S. Wallach [106]
81Duminda Wijesekera [55]
82William H. Winsborough [67]
83Artsiom Yautsiukhin [71] [74] [76] [80] [104]
84Franco Zambonelli [62]
85Nicola Zannone [41] [44] [48] [51] [52] [54] [55] [57] [58] [59] [60] [61] [64] [65] [66] [70] [72] [78] [79] [83] [91] [100] [105] [106]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)