Search:

Start a new search
Add/Remove Filters (1 filters currently applied)

Results 1-4 of 4 (Search time: 0.028 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
127-Oct-2016Library Management for PVSRomero, Miguel; Rocha Niño, Hernán Camilo
22015Executable calculational expessionsCháves Alonso, Fransisco José; Rocha Niño, Hernán Camilo
32016Double-spend Attack Models with Time Advantange for BitcoinPinzón, Carlos; Rocha Niño, Hernán Camilo
42017Axiomatic Set Theory à la Dijkstra and ScholtenAcosta Gempeler, Ernesto; Aldana Gómez, Bernarda; Bohórquez Villamizar, Jaime Alejandro; Rocha Niño, Hernán Camilo