We stand with Ukraine  

Leticia Lavado

Orcid: 0000-0002-3471-1877

According to our database1, Leticia Lavado authored at least 4 papers in 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A characterisation of verification tools for software defined networks.
[BibTeX]
[DOI]
Leticia Lavado
,
Laura Panizo
,
María-del-Mar Gallardo
,
Pedro Merino
J. Reliab. Intell. Environ., 2017

A constraint-based language for modelling intelligent environments.
[BibTeX]
[DOI]
María-del-Mar Gallardo
,
Leticia Lavado
,
Laura Panizo
,
Laura Titolo
J. Reliab. Intell. Environ., 2017

A Simulation Tool for tccp Programs.
[BibTeX]
[DOI]
María-del-Mar Gallardo
,
Leticia Lavado
,
Laura Panizo
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Adding Correctness Checking to Test Automation Platform.
[BibTeX]
[DOI]
Alberto Salmerón
,
Leticia Lavado
,
María-del-Mar Gallardo
,
Pedro Merino Gómez
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017


  Loading...