Sandro Etalle

From MaRDI portal
Person:671647

Available identifiers

zbMath Open etalle.sandroDBLPe/SandroEtalleWikidataQ102352617 ScholiaQ102352617MaRDI QIDQ671647

List of research outcomes





PublicationDate of PublicationType
Termination of simply moded logic programs with dynamic scheduling2017-07-12Paper
Nonmonotonic trust management for P2P applications2016-05-06Paper
Analysing password protocol security against off-line dictionary attacks2013-09-20Paper
A trace logic for local security properties2013-09-20Paper
Policy Administration in Tag-Based Authorization2013-08-07Paper
LP with Flexible Grouping and Aggregates Using Modes2010-05-04Paper
Core TuLiP Logic Programming for Trust Management2009-03-05Paper
Logic Programming2006-06-27Paper
Program Development in Computational Logic2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q48088092004-08-12Paper
On modular termination proofs of general logic programs2004-03-01Paper
Properties of Input-Consuming Derivations2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q44119692003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q47077382003-06-11Paper
Semantics of well-moded input consuming logic programs2002-03-19Paper
https://portal.mardi4nfdi.de/entity/Q27670542002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27636872002-01-21Paper
https://portal.mardi4nfdi.de/entity/Q27239232001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q27239282001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q44992392001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q49448752000-03-22Paper
Layered modes1999-12-06Paper
https://portal.mardi4nfdi.de/entity/Q42599531999-09-08Paper
Termination of well-moded programs1999-07-20Paper
https://portal.mardi4nfdi.de/entity/Q42213531999-02-11Paper
A semantics for modular general logic programs1999-01-12Paper
Transformations of CLP modules1997-02-27Paper
Simultaneous Replacement in Normal Programs1996-03-17Paper

Research outcomes over time

This page was built for person: Sandro Etalle