Francisco J. Cantu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–2013
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CIKM | Recommending intra-institutional scientific collaboration through coauthorship network visualization. | Gustavo A. Parada, Hector G. Ceballos, Francisco J. Cantu, Luca A. Rodrguez-Aceves |
| 1996 | FMCAD | Experiments in Automating Hardware Verification Using Inductive Proof Planning. | Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |