Daniel Diaz
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 36 | Florina Almenárez Mendoza, Patricia Arias, Andrés Marín, Daniel Díaz Sánchez: Towards dynamic trust establishment for identity federation. EATIS 2009: 25 | |
| 35 | Salvador Abreu, Daniel Diaz, Philippe Codognet: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) CoRR abs/0910.1264: (2009) | |
| 2008 | ||
| 34 | 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 | 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 | 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 | Olfa Djebbi, Camille Salinesi, Daniel Diaz: Deriving Product Line Requirements: the RED-PL Guidance Approach. APSEC 2007: 494-501 | |
| 30 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Florina Almenárez Mendoza, Daniel Diaz, Andrés Marín López: Secure Ad-Hoc mBusiness: EnhancingWindowsCE Security. TrustBus 2004: 90-99 | |
| 2003 | ||
| 18 | Salvador Abreu, Daniel Diaz: Objective: In Minimum Context. ICLP 2003: 128-147 | |
| 17 | Carlos Calderon, Marc Cavazza, Daniel Diaz: Interactive problem solving in an intelligent virtual environment. IUI 2003: 319 | |
| 16 | Carlos Calderon, Marc Cavazza, Daniel Diaz: A new approach to virtual design for spatial configuration problems. IV 2003: 518-523 | |
| 15 | 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 | Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel: Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584 | |
| 2001 | ||
| 13 | 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 | 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 | |
| 1 | Salvador Abreu | [18] [20] [35] |
| 2 | Patricia Arias | [36] |
| 3 | Fabrice Baray | [14] |
| 4 | Carlos Calderon | [15] [16] [17] |
| 5 | Celeste Campo | [21] [23] [26] [27] [32] [33] [34] |
| 6 | Björn Carlson | [4] |
| 7 | Mats Carlsson | [4] |
| 8 | Marc Cavazza | [15] [16] [17] |
| 9 | Philippe Codognet | [1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [35] |
| 10 | Alberto Cortes | [32] [33] [34] |
| 11 | Olfa Djebbi | [31] |
| 12 | Carlos García-Rubio | [21] [23] [26] [27] [32] [33] [34] |
| 13 | Andrés Marín López | [19] [21] [22] [23] [25] [26] [27] [28] [29] [30] [32] [33] [34] |
| 14 | Natividad Martínez Madrid | [24] |
| 15 | Andrés Marín | [36] |
| 16 | Florina Almenárez Mendoza | [19] [21] [22] [23] [25] [26] [27] [28] [29] [32] [33] [34] [36] |
| 17 | Henri Michel | [14] |
| 18 | Wolfgang Mueller | [28] [30] |
| 19 | Francesca Rossi | [9] |
| 20 | Camille Salinesi | [31] |
| 21 | Juan Sanchez | [22] |
| 22 | Juan Jesús Sánchez Sánchez | [24] |
| 23 | Robbie Schaefer | [28] [30] |
| 24 | Ralf Seepold | [24] |
| 25 | José Alberto Vigo Segura | [24] |
| 26 | Max Ziegler | [28] |