| 2008 |
|---|
| 34 | EE | Daniel Díaz Sánchez,
Andrés Marín López,
Florina Almenárez Mendoza,
Celeste Campo,
Alberto Cortes,
Carlos García-Rubio:
Trust Negotiation Protocol Support for Secure Mobile Network Service Deployment.
MWCN/PWC 2008: 271-282 |
| 33 | EE | Florina Almenárez Mendoza,
Andrés Marín López,
Daniel Diaz,
Alberto Cortes,
Celeste Campo,
Carlos García-Rubio:
A Trust-based Middleware for Providing Security to Ad-Hoc Peer-to-Peer Applications.
PerCom 2008: 531-536 |
| 32 | EE | Florina Almenárez Mendoza,
Andrés Marín López,
Daniel Diaz,
Alberto Cortes,
Celeste Campo,
Carlos García-Rubio:
Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services.
PerCom 2008: 560-565 |
| 2007 |
|---|
| 31 | EE | Olfa Djebbi,
Camille Salinesi,
Daniel Diaz:
Deriving Product Line Requirements: the RED-PL Guidance Approach.
APSEC 2007: 494-501 |
| 30 | EE | Robbie Schaefer,
Wolfgang Mueller,
Andrés Marín López,
Daniel Díaz Sánchez:
Using smart cards for secure and device independent user interfaces.
Mobility Conference 2007: 743-750 |
| 29 | EE | Daniel Díaz Sánchez,
Andrés Marín López,
Florina Almenárez Mendoza:
Enhancing access control for mobile devices with an agnostic trust negotiation decision engine.
PWC 2007: 304-315 |
| 28 | EE | Andrés Marín López,
Wolfgang Mueller,
Robbie Schaefer,
Florina Almenárez Mendoza,
Daniel Diaz,
Max Ziegler:
Middleware for Secure Home Access and Control.
PerCom Workshops 2007: 489-494 |
| 27 | EE | Andrés Marín López,
Daniel Díaz Sánchez,
Florina Almenárez Mendoza,
Carlos García-Rubio,
Celeste Campo:
Smart card-based agents for fair non-repudiation.
Computer Networks 51(9): 2288-2298 (2007) |
| 26 | EE | Daniel Díaz Sánchez,
Andrés Marín López,
Florina Almenárez Mendoza,
Celeste Campo,
Carlos García-Rubio:
Context awareness in network selection for dynamic environments.
Telecommunication Systems 36(1-3): 49-60 (2007) |
| 2006 |
|---|
| 25 | EE | Daniel Díaz Sánchez,
Andrés Marín López,
Florina Almenárez Mendoza:
A Smart Card Solution for Access Control and Trust Management for Nomadic Users.
CARDIS 2006: 62-77 |
| 24 | EE | Juan Jesús Sánchez Sánchez,
Daniel Díaz Sánchez,
José Alberto Vigo Segura,
Natividad Martínez Madrid,
Ralf Seepold:
Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.
CARDIS 2006: 78-90 |
| 23 | EE | Daniel Díaz Sánchez,
Andrés Marín López,
Florina Almenárez Mendoza,
Carlos García-Rubio,
Celeste Campo:
Context Awareness in Network Selection for Dynamic Environments.
PWC 2006: 216-227 |
| 22 | EE | Florina Almenárez Mendoza,
Andrés Marín López,
Daniel Diaz,
Juan Sanchez:
Developing a Model for Trust Management in Pervasive Devices.
PerCom Workshops 2006: 267-271 |
| 21 | EE | Celeste Campo,
Florina Almenárez Mendoza,
Daniel Díaz Sánchez,
Carlos García-Rubio,
Andrés Marín López:
Secure Service Discovery based on Trust Management for ad-hoc Networks.
J. UCS 12(3): 340 (2006) |
| 2004 |
|---|
| 20 | | Salvador Abreu,
Daniel Diaz:
Contexts for Organizational Information System Design and Implementation.
ICEIS (1) 2004: 227-232 |
| 19 | EE | Florina Almenárez Mendoza,
Daniel Diaz,
Andrés Marín López:
Secure Ad-Hoc mBusiness: EnhancingWindowsCE Security.
TrustBus 2004: 90-99 |
| 2003 |
|---|
| 18 | EE | Salvador Abreu,
Daniel Diaz:
Objective: In Minimum Context.
ICLP 2003: 128-147 |
| 17 | EE | Carlos Calderon,
Marc Cavazza,
Daniel Diaz:
Interactive problem solving in an intelligent virtual environment.
IUI 2003: 319 |
| 16 | EE | Carlos Calderon,
Marc Cavazza,
Daniel Diaz:
A new approach to virtual design for spatial configuration problems.
IV 2003: 518-523 |
| 15 | EE | Carlos Calderon,
Marc Cavazza,
Daniel Diaz:
A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments.
Smart Graphics 2003: 112-122 |
| 14 | EE | Fabrice Baray,
Philippe Codognet,
Daniel Diaz,
Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions.
TACAS 2003: 569-584 |
| 2001 |
|---|
| 13 | EE | Philippe Codognet,
Daniel Diaz:
Yet Another Local Search Method for Constraint Solving.
SAGA 2001: 73-90 |
| 12 | | Daniel Diaz,
Philippe Codognet:
Design and Implementation of the GNU Prolog System.
Journal of Functional and Logic Programming 2001(6): (2001) |
| 2000 |
|---|
| 11 | EE | Daniel Diaz,
Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C.
PADL 2000: 81-92 |
| 10 | | Daniel Diaz,
Philippe Codognet:
The GNU Prolog System and its Implementation.
SAC (2) 2000: 728-732 |
| 1996 |
|---|
| 9 | | Philippe Codognet,
Daniel Diaz,
Francesca Rossi:
Constraint Reaction in FD.
FSTTCS 1996: 168-179 |
| 8 | | Philippe Codognet,
Daniel Diaz:
A Simple and Efficient Boolean Solver for Constraint Logic Programming.
J. Autom. Reasoning 17(1): 97-129 (1996) |
| 7 | | Philippe Codognet,
Daniel Diaz:
Compiling Constraints in clp(FD).
J. Log. Program. 27(3): 185-226 (1996) |
| 1995 |
|---|
| 6 | | Philippe Codognet,
Daniel Diaz:
WAMCC: Compiling Prolog to C.
ICLP 1995: 317-331 |
| 5 | | Philippe Codognet,
Daniel Diaz:
The clp(FD) system.
JFPLC 1995: 357-360 |
| 1994 |
|---|
| 4 | | Björn Carlson,
Mats Carlsson,
Daniel Diaz:
Entailment of Finite Domain Constraints.
ICLP 1994: 339-353 |
| 3 | | Philippe Codognet,
Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.
PLILP 1994: 244-260 |
| 1993 |
|---|
| 2 | | Daniel Diaz,
Philippe Codognet:
A Minimal Extension of the WAM for clp(FD).
ICLP 1993: 774-790 |
| 1 | | Philippe Codognet,
Daniel Diaz:
Boolean Constraint Solving Using clp(FD).
ILPS 1993: 525-539 |
