1
By:
Rocha, Camilo, Rocha, Camilo, Informática
Published in: Logic, Rewriting, and Concurrency. (2015)
Published in: Logic, Rewriting, and Concurrency. (2015)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
2
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
3
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
4
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Specification, Algebra, and Software (2014)
Published in: Specification, Algebra, and Software (2014)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
5
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2010)
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2010)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
6
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
7
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)
Published in: Algebra and Coalgebra in Computer Science (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
8
By:
Dowek, Gilles, Muñoz, César, Rocha, Camilo, Dowek, Gilles, Muñoz, César, Rocha, Camilo, Informática
Published: 2010
Published: 2010
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
9
By:
Rocha, Camilo, Meseguer, José, Muñoz, César, Rocha, Camilo, Meseguer, José, Muñoz, César, Informática
Published: 2016
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
10
By:
Rocha, Camilo, Muñoz, César, Dowek, Gilles, Rocha, Camilo, Muñoz, César, Dowek, Gilles, Informática
Published: 2011
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
11
By:
Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
12
By:
Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Informática
Published in: Rewriting Logic and Its Applications (2012)
Published in: Rewriting Logic and Its Applications (2012)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
13
By:
Pérez, Alexander, Cadavid, Héctor, Rocha, Camilo, Pérez, Alexander, Cadavid, Héctor, Rocha, Camilo, Ecitrónica
Published in: Communications in Computer and Information Science (2017)
Published in: Communications in Computer and Information Science (2017)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
14
By:
Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)
Published in: Integrated Formal Methods (2012)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
15
By:
Cadavid, Héctor, Pérez, Alexander, Rocha, Camilo, Cadavid, Héctor, Pérez, Alexander, Rocha, Camilo, CTG-Informática, Ecitrónica
Published in: Advances in Computing (2017)
Published in: Advances in Computing (2017)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
16
By:
Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, Informática
Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
17
By:
Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)
Published in: Algebra and Coalgebra in Computer Science (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
18
By:
Acosta, Ernesto, Aldana, Bernarda, Bohórquez, Jaime, Rocha, Camilo, Acosta, Ernesto, Aldana, Bernarda, Bohórquez, Jaime, Rocha, Camilo, Informática
Published in: Advances in Computing (2017)
Published in: Advances in Computing (2017)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
19
By:
Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Informática
Published in: Lecture Notes in Computer Science (2012)
Published in: Lecture Notes in Computer Science (2012)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
20
By:
Acosta, Ernesto, Aldana, Bernarda, Bohórquez, Jaime, Rocha, Camilo, Acosta, Ernesto, Aldana, Bernarda, Bohórquez, Jaime, Rocha, Camilo, CTG-Informática
Published in: Advances in Computing (2017)
Published in: Advances in Computing (2017)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
