Travelled to:1 × Australia
1 × Canada
1 × Hungary
1 × India
1 × Japan
1 × Poland
1 × Portugal
1 × South Korea
1 × Spain
1 × Taiwan
2 × Italy
4 × USA
Collaborated with:P.Codognet S.Abreu C.Salinesi R.Mazo Y.Caniou O.Djebbi C.Rolland R.Machado B.Carlson M.Carlsson D.Munera P.D.Salgueiro I.Brito F.Baray H.Michel F.Richoux
Talks about:constraint (8) parallel (4) prolog (4) base (4) use (4) system (3) search (3) model (3) local (3) solv (3)
Person: Daniel Diaz
DBLP: Diaz:Daniel
Contributed to:
2014
2013
201220112011
20102009
2004
2003
20032000200019951994
199419931993Wrote 18 papers:
- SAC-2014-MuneraDAC #flexibility #parallel
- Flexible cooperation in parallel local search (DM, DD, SA, PC), pp. 1360–1361.
- PADL-2013-MachadoAD #declarative #parallel #performance #programming #using
- Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.
- PPoPP-2012-CaniouDRCA #analysis #constraints #parallel #performance
- Performance analysis of parallel constraint-based local search (YC, DD, FR, PC, SA), pp. 337–338.
- PADL-2011-SalgueiroDBA #constraints #detection #using
- Using Constraints for Intrusion Detection: The NeMODe System (PDS, DD, IB, SA), pp. 115–129.
- SAC-2011-CaniouCDA #constraints #parallel
- Parallel constraint-based local search on the HA8000 supercomputer (YC, PC, DD, SA), pp. 920–921.
- RE-2010-SalinesiMDD #constraints #integer #requirements #reuse #theorem proving #using
- Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
- RE-2009-SalinesiDDMR #constraints #finite #modelling #product line #programming
- Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models (CS, DD, OD, RM, CR), pp. 375–376.
- RE-2009-SalinesiRDM #classification #fault #feature model #modelling #product line #towards #verification
- Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria (CS, CR, DD, RM), pp. 385–386.
- ICEIS-v1-2004-AbreuD #design #implementation #information management
- Contexts for Organizational Information System Design and Implementation (SA, DD), pp. 227–232.
- ICLP-2003-AbreuD #named
- Objective: In Minimum Context (SA, DD), pp. 128–147.
- TACAS-2003-BarayCDM #functional #generative #testing #validation
- Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
- PADL-2000-DiazC #c #compilation #prolog
- GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
- SAC-2000-DiazC #implementation #prolog
- The GNU Prolog System and its Implementation (DD, PC), pp. 728–732.
- ICLP-1995-CodognetD #c #compilation #named #prolog
- WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
- ICLP-1994-CarlsonCD #constraints #finite
- Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
- PLILP-1994-CodognetD #constraints #performance #theorem proving
- clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving (PC, DD), pp. 244–260.
- ICLP-1993-DiazC
- A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.
- ILPS-1993-CodognetD #constraints #theorem proving #using
- Boolean Constraint Solving Using clp(FD) (PC, DD), pp. 525–539.