Sandro Etalle

Available identifiers

zbMath Open etalle.sandroDBLPe/SandroEtalleWikidataQ102352617 ScholiaQ102352617MaRDI QIDQ671647

List of research outcomes

Publication	Date of Publication	Type
Termination of simply moded logic programs with dynamic scheduling	2017-07-12	Paper
Nonmonotonic trust management for P2P applications	2016-05-06	Paper
Analysing password protocol security against off-line dictionary attacks	2013-09-20	Paper
A trace logic for local security properties	2013-09-20	Paper
Policy Administration in Tag-Based Authorization	2013-08-07	Paper
LP with Flexible Grouping and Aggregates Using Modes	2010-05-04	Paper
Core TuLiP Logic Programming for Trust Management	2009-03-05	Paper
Logic Programming	2006-06-27	Paper
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4808809	2004-08-12	Paper
On modular termination proofs of general logic programs	2004-03-01	Paper
Properties of Input-Consuming Derivations	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411969	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4707738	2003-06-11	Paper
Semantics of well-moded input consuming logic programs	2002-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767054	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2763687	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723923	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2723928	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4499239	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4944875	2000-03-22	Paper
Layered modes	1999-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4259953	1999-09-08	Paper
Termination of well-moded programs	1999-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4221353	1999-02-11	Paper
A semantics for modular general logic programs	1999-01-12	Paper
Transformations of CLP modules	1997-02-27	Paper
Simultaneous Replacement in Normal Programs	1996-03-17	Paper

Research outcomes over time

This page was built for person: Sandro Etalle