Aloysio Pedroza
Affiliations:- Federal University of Rio de Janeiro, Brazil
According to our database1,
Aloysio Pedroza
authored at least 20 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on gta.ufrj.br
On csauthors.net:
Bibliography
2019
2016
Proposing, specifying, and validating a controller-based routing protocol for a clean-slate Named-Data Networking.
Proceedings of the 7th International Conference on the Network of the Future, 2016
2015
Telecommun. Syst., 2015
2009
Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009
2008
Proceedings of the Simpósio Brasileiro de Sistemas Colaborativos, 2008
RECOLLVE - REpresenting COLLaboration in Virtual Environments.
Proceedings of the 2008 International Conference on Computer Graphics & Virtual Reality, 2008
2004
Telecommun. Syst., 2004
Proceedings of the Computational Science, 2004
Proceedings of the Applications of Evolutionary Computing, 2004
2003
Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June, 2003
Proceedings of the Evolvable Systems: From Biology to Hardware, 2003
2001
Proceedings of the 2nd Latin American Network Operations and Management Symposium, 2001
Proceedings of the Global Telecommunications Conference, 2001
1999
Proceedings of the 1st Latin American Network Operations and Management Symposium, 1999
1996
Proceedings of the conference on European design automation, 1996
1995
A methodology for the implementation of protocols in hardware from a formal description.
Proceedings of the Protocol Specification, 1995
1987
Sistema de Auxílio ao Projeto de Protocolos de Comunicação para Redes de Computadores.
Proceedings of the 1st Brazilian Symposium on Software Engineering, 1987
1986
Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986
1985
A simulation environment for protocol specifications described in ESTELLE.
Proceedings of the Protocol Specification, 1985