Travelled to:1 × Poland
1 × Spain
Collaborated with:C.Gregorio-Rodríguez R.Martínez-Torres A.M.H.Alawawdeh C.Andrés A.d.l.Encina F.Rubio M.Hidalgo-Herrero
Talks about:simul (2) intermedi (1) structur (1) parallel (1) function (1) collabor (1) languag (1) conform (1) output (1) observ (1)
Person: Luis Llana
DBLP: Llana:Luis
Contributed to:
2015
2012
2007Wrote 3 papers:
- SAC-2015-Gregorio-Rodriguez #consistency #simulation
- Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
- SEKE-2012-AlawawdehAL #adaptation #collaboration #learning #named
- CLAT: Collaborative Learning Adaptive Tutor (AMHA, CA, LL), pp. 747–752.
- PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel
- Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.