Juan Alcalde

According to our database1, Juan Alcalde authored at least 2 papers between 1997 and 2001.

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

2001
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybern. Syst., 2001

1997
Formal Specification of a Scanning Tunnelling Microscope.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997


  Loading...