---

Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 30/09/2023

Nome em citações bibliográficas: CARVALHO, O. S. F.;CARVALHO, O. S.F.;Carvalho, Osvaldo

---

Projetos de pesquisa em andamento

Projetos de desenvolvimento em andamento

Veja todos os projetos no Currículo Lattes

---

Últimas publicações

Artigos em periódicos

Têmis - Um Núcleo para Desenvolvimento de Programas Paralelos
1990. Revista Brasileira de Computação.
On Mutual Exclusion In Computer Networks.
1982. COMUNICATIONS OF THE ACM..

Trabalhos completos em congressos

Provider-Consumer Anomaly Detection for Healthcare Systems
2017. 2017 IEEE International Conference on Healthcare Informatics (ICHI). 0
Reflecting on X.509 and LDAP, or How Separating Identity and Attributes Could Simplify a PKI
2004. Workshop em Segurança de Sistemas Computacionais. 1
A Receita do Grude
2003. Workshop da RNP. 2
Anagel: A Distributed System for Storage and Analysis of Electrophoretical Recors
2002. Workshop Brasileiro de Bioinformática. 3
A Communication Lower Bound for Invariance Preserving on Partitioned Distributed Systems
1998. International Conference on Principles of Distributed Systems.
A Communication Lower Bound for Invariance Preserving on Distributed Systems
1997. 2nd Workshop On Distributed Systems. 4
Distributed Allocation of Identical Resources
1986. IV Simpósio Brasileiro de Redes de Computadores.
On the distribution of an assertion
1982. the first ACM SIGACTSIGOPS symposium.

Resumos expandidos em congressos

Resumos em congressos

Implementing an IT infrastructure using Lotus Technologies
2003. Educause.

Veja todas as publicações no Currículo Lattes

---

Orientações em andamento

Mestrado

Doutorado

Veja todas as orientações no Currículo Lattes

---