dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sandro Etalle Home Page Coauthor index pubzone.org

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

DBLP keys2012
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuele Zambon, Sandro Etalle, Roel Wieringa: A2thOS: availability analysis and optimisation in SLAs. Int. Journal of Network Management 22(2): 104-130 (2012)
2011
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Sandro Etalle, Joshua D. Guttman: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Springer 2011
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Trivellato, Nicola Zannone, Sandro Etalle: Poster: protecting information in systems of systems. ACM Conference on Computer and Communications Security 2011: 865-868
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Herrmann, Ayse Morali, Sandro Etalle, Roel Wieringa: Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. BIR Workshops 2011: 64-76
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Trivellato, Nicola Zannone, Sandro Etalle: A Security Framework for Systems of Systems. POLICY 2011: 182-183
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò: Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reasoning 46(3-4): 223-224 (2011)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel: Model-based qualitative risk assessment for availability of IT infrastructures. Software and System Modeling 10(4): 553-580 (2011)
2010
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAyse Morali, Emmanuele Zambon, Sandro Etalle, Roel Wieringa: CRAC: Confidentiality risk assessment and IT-infrastructure comparison. CNSM 2010: 322-325
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle: Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy 2010: 93-108
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Zannone, Milan Petkovic, Sandro Etalle: Towards Data Protection Compliance. SECRYPT 2010: 213-216
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone: A Flexible Architecture for Privacy-Aware Trust Management. JTAER 5(2): 77-96 (2010)
2009
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle: Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control. CSE (3) 2009: 252-258
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAyse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle: Extended eTVRA vs. security checklist: Experiences in a value-web. ICSE Companion 2009: 130-140
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Sandro Etalle: LP with Flexible Grouping and Aggregates Using Modes. LOPSTR 2009: 67-81
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle: POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy. POLICY 2009: 110-113
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle, Pieter H. Hartel: Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID 2009: 1-20
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, William H. Winsborough: Maintaining control while delegating trust: Integrity constraints in trust management. ACM Trans. Inf. Syst. Secur. 13(1): (2009)
2008
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAyse Morali, Emmanuele Zambon, Sandro Etalle, Paul L. O. Re: IT confidentiality risk assessment for an architecture-based approach. BDIM 2008: 31-40
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle: Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. OTM Conferences (2) 2008: 938-955
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. A. C. Dekker, Jason Crampton, Sandro Etalle: RBAC administration in distributed systems. SACMAT 2008: 93-102
2007
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle: Extended privilege inheritance in RBAC. ASIACCS 2007: 383-385
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Jerry den Hartog, Stephen Marsh: Trust and punishment. Autonomics 2007: 5
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuele Zambon, Damiano Bolzoni, Sandro Etalle, Marco Salvato: Model-Based Mitigation of Availability Risks. BDIM 2007: 75-83
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough: An Introduction to the Role Based Trust Management Framework RT. FOSAD 2007: 246-281
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Sandro Etalle: Core TuLiP Logic Programming for Trust Management. ICLP 2007: 380-394
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Bruno Crispo, Sandro Etalle: ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. LISA 2007: 141-152
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, William H. Winsborough: A posteriori compliance control. SACMAT 2007: 11-20
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. A. C. Dekker, Sandro Etalle: Refinement for Administrative Policies. Secure Data Management 2007: 33-46
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Fabio Massacci, Artsiom Yautsiukhin: The Meaning of Logs. TrustBus 2007: 145-154
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. A. C. Dekker, Sandro Etalle: Audit-Based Access Control for Electronic Health Records. Electr. Notes Theor. Comput. Sci. 168: 221-236 (2007)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Pierangela Samarati: Preface. Electr. Notes Theor. Comput. Sci. 179: 1-2 (2007)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini: Audit-based compliance control. Int. J. Inf. Sec. 6(2-3): 133-151 (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)
2006
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Miroslaw Truszczynski: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Ari Saptawijaya: A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy 2006: 155-168
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon: POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. IWIA 2006: 144-156
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff: LicenseScript: a logical language for digital rights management. Annales des Télécommunications 61(3-4): 284-331 (2006)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle: APHRODITE: an Anomaly-based Architecture for False Positive Reduction CoRR abs/cs/0604026: (2006)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications. Electr. Notes Theor. Comput. Sci. 157(3): 113-130 (2006)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli: Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. TPLP 6(3): 225-226 (2006)
2005
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers Springer 2005
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso: A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS 2005: 131-146
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis: Service Brokerage in Prolog. ICEIS (3) 2005: 409-412
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Ari Saptawijaya, Sandro Etalle: PS-LTL for Constraint-Based Security Protocol Analysis. ICLP 2005: 439-440
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. POLICY 2005: 34-43
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, William H. Winsborough: Integrity constraints in trust management. SACMAT 2005: 1-10
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus: StreamTo: Streaming Content using a Tamper-Resistant Token. SEC 2005: 601-612
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability CoRR abs/cs/0502091: (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, William H. Winsborough: Integrity Constraints in Trust Management CoRR abs/cs/0503061: (2005)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications CoRR abs/cs/0510061: (2005)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel: Poseidon: a 2-tier Anomaly-based Intrusion Detection System CoRR abs/cs/0511043: (2005)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Jeroen Doumen, Sandro Etalle: Analysing Password Protocol Security Against Off-line Dictionary Attacks. Electr. Notes Theor. Comput. Sci. 121: 47-63 (2005)
2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu: A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust 2004: 187-201
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic 2004: 90-114
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin: License Protection with a Tamper-Resistant Token. WISA 2004: 223-237
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. 5(3): 470-507 (2004)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties CoRR cs.CR/0411010: (2004)
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law: Approximating Fair Use in LicenseScript. ICADL 2003: 432-443
49Electronic 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-
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel: Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops 2003: 779-792
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul J. M. Havinga, Sandro Etalle, Holger Karl, Chiara Petrioli, Michele Zorzi, Harry Kip, Thomas Lentsch: EYES - Energy Efficient Sensor Networks. PWC 2003: 198-201
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel: A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC 2003: 27-39
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Sandro Etalle, Pieter H. Hartel: Assessing Security in Energy-Efficient Sensor Networks. SEC 2003: 459-463
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond 2002: 162-186
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle: An Improved Constraint-Based System for the Verification of Security Protocols. SAS 2002: 326-341
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of input-consuming derivations. TPLP 2(2): 125-154 (2002)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On modular termination proofs of general logic programs. TPLP 2(3): 263-291 (2002)
2001
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP 2001: 402-416
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Sandro Etalle: Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR cs.LO/0101022: (2001)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations CoRR cs.PL/0101023: (2001)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs CoRR cs.PL/0107014: (2001)
2000
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of Input-Consuming Logic Programs. Computational Logic 2000: 194-208
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Jon Mountjoy: The lazy functional side of logic programming. LOPSTR 2000
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On Modular Termination Proofs of General Logic Programs CoRR cs.LO/0005018: (2000)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Jon Mountjoy: The (Lazy) Functional Side of Logic Programming CoRR cs.PL/0003070: (2000)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of well-moded input-consuming logic programs. Comput. Lang. 26(1): 1-25 (2000)
1999
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bertolino, Sandro Etalle, Catuscia Palamidessi: The Replacement Operation for CCP Programs. APPIA-GULP-PRODE 1999: 441-454
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Femke van Raamsdonk: Logic Programming with Requests. ICLP 1999: 558-572
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs. LOPSTR 1999: 156-175
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bertolino, Sandro Etalle, Catuscia Palamidessi: The Replacement Operation for CCP Programs. LOPSTR 1999: 216-233
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. Electr. Notes Theor. Comput. Sci. 30(1): 102-124 (1999)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 125 (1999)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Annalisa Bossi, Nicoletta Cocco: Termination of Well-Moded Programs. J. Log. Program. 38(2): 243-257 (1999)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: Layered Modes. J. Log. Program. 39(1-3): 225-244 (1999)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Pieter H. Hartel, Willem G. Vree: Declarative solutions to partitioned-grid problems. Softw., Pract. Exper. 29(13): 1173-1200 (1999)
1998
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Femke van Raamsdonk: Beyond Success and Failure. IJCSLP 1998: 190-205
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. 30(3es): 11 (1998)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle: A Semantics for Modular General Logic Programs. Theor. Comput. Sci. 206(1-2): 51-80 (1998)
1997
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Elena Marchiori: A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997: 137-150
1996
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: Layered Modes. APPIA-GULP-PRODE 1996: 41-52
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Frank Teusink: A Compositional Semantics for Normal Open Programs. JICSLP 1996: 468-482
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: Simultaneous Replacement in Normal Programs. J. Log. Comput. 6(1): 79-120 (1996)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle: Unification-free Prolog programs revisited. J. Prog. Lang. 4(4): 187-210 (1996)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming 1996(1): (1996)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: Transformations of CLP Modules. Theor. Comput. Sci. 166(1&2): 101-146 (1996)
1995
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: A Transformation System for Modular CLP Programs. ICLP 1995: 681-695
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR 1995: 33-45
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: The Replacement Operation for CLP Modules. PEPM 1995: 168-177
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli: Modular Transformations of CLP Programs. GULP-PRODE (1) 1994: 218-233
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle: More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META 1994: 311-331
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Sandro Etalle: Transforming Acyclic Programs. ACM Trans. Program. Lang. Syst. 16(4): 1081-1096 (1994)
1993
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Sandro Etalle: On the Unification Free Prolog Programs. MFCS 1993: 1-19
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transforming Normal Programs by Replacement. META 1992: 265-279
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle: On Safe Folding. PLILP 1992: 172-186

Coauthor Index

1Krzysztof R. Apt [3]
2Sruthi Bandhakavi [105]
3Lujo Bauer [108]
4Marco Bertolino [26] [29]
5Klemens Böhm [103]
6Damiano Bolzoni [61] [75] [77] [87] [90] [94] [98]
7Annalisa Bossi [1] [2] [4] [5] [8] [13] [23] [25] [27] [30] [32] [34] [36] [37] [40] [41] [42] [44] [52] [54]
8Gaetano Di Caprio [71]
9J. G. Cederquist (Jan Cederquist) [65] [68] [81] [92]
10Jieyin Cheng [66]
11Cheun Ngen Chong [48] [50] [53] [66] [70] [76]
12Nicoletta Cocco [1] [2] [8] [13] [23] [27] [32] [41] [44] [54]
13Ricardo Corin [43] [46] [51] [53] [55] [56] [58] [59] [64] [65] [68] [69] [71] [76] [78] [80] [81]
14Jason Crampton [92] [93]
15Bruno Crispo [87]
16Marcin Czenko [62] [74] [88] [89] [100]
17Pierpaolo Degano [112]
18M. A. C. Dekker [65] [68] [81] [83] [85] [92] [93]
19Giorgio Delzanno [39] [73]
20Jeroen Doumen [53] [58] [62] [66] [74] [76]
21Antonio Durante [51] [59]
22Pascal van Eck [57]
23Maurizio Gabbrielli [6] [7] [9] [10] [11] [15] [16] [18] [20] [22] [35] [38] [73]
24Stefania Gnesi [71]
25Joshua D. Guttman [112]
26Pieter H. Hartel [21] [45] [46] [48] [50] [51] [53] [56] [57] [59] [61] [62] [64] [66] [70] [74] [76] [77] [80] [98] [107]
27Jerry den Hartog (J. I. den Hartog) [55] [62] [65] [68] [74] [81] [91] [95] [103] [105] [108]
28Paul J. M. Havinga [47] [49]
29Andrea Herrmann [110]
30Siv Hilde Houmb [101]
31Christian Hütter [103]
32Rieks Joosten [70]
33Holger Karl [47]
34Harry Kip [47]
35Geert Kleinhuis [70]
36Yee Wei Law [45] [46] [49] [50] [76]
37Thomas Lentsch [47]
38Gabriele Lenzini [55] [71] [81]
39Dongyi Li [89]
40Angelika Mader [56] [64] [80]
41Luigi V. Mancini (Luigi Vincenzo Mancini) [49]
42Elena Marchiori [16]
43Stephen Marsh [91]
44Fabio Massacci [84]
45Maria Chiara Meo [20] [35] [38]
46Corrado Moiso [71]
47Ayse Morali [96] [101] [106] [110]
48Jon Mountjoy [31] [33]
49Supratik Mukhopadhyay [60]
50Stefan Nikolaus [66]
51Catuscia Palamidessi [26] [29]
52Milan Petkovic [104]
53Chiara Petrioli [47]
54Roberto Di Pietro [49]
55Femke van Raamsdonk [19] [28]
56Paul L. O. Re [96]
57Bin Ren [53]
58Bruno P. S. Rocha [105]
59Sabina Rossi [25] [30] [32] [34] [36] [37] [40] [41] [42] [52] [54]
60Abhik Roychoudhury [60]
61Karin Sallhammar [101]
62Marco Salvato [90]
63Pierangela Samarati [82]
64Ari Saptawijaya [69] [78]
65Jan-Georg Smaus [24] [37] [40] [52]
66Fred Spiessens [95] [99] [102]
67I. Staicu [55]
68Frank Teusink [14]
69Andrew Tokmakoff [76]
70Slim Trabelsi [103]
71Ha Tran [62] [74]
72Daniel Trivellato [99] [102] [103] [109] [111]
73Miroslaw Truszczynski [79]
74Luca Viganò [108]
75Willem G. Vree [21]
76Roel Wieringa [57] [106] [107] [110] [113]
77William H. Winsborough [63] [67] [86] [89] [97] [105]
78Artsiom Yautsiukhin [84]
79Emmanuele Zambon [61] [77] [90] [96] [101] [106] [107] [113]
80Nicola Zannone [99] [102] [103] [104] [109] [111]
81Michele Zorzi [47]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page