| 2009 |
Trabalho em evento |
Designing ubiquitous applications
Isabel Leite CAFEZEIRO; Viterbo JOSÉ; Rademaker ALEXANDRE; Haeusler Edward HERMANN; Endler MARKUS
the 6th international workshop
DOI 10.1145/1555321.1555327
ISBN 9781605585796
|
PS
Computer Science Applications
|
| 2009 |
Artigo em periódico |
Estendendo extensões:a computação como agente integrador | Extending extensions: computing as an integrating agent
Isabel Leite CAFEZEIRO; Rosângela LIMA; Regina Célia De Leal TOLEDO
LIINC EM REVISTA
DOI 10.18225/liinc.v5i1.265
ISSN 1808-3536
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Capítulo de livro |
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Isabel Leite CAFEZEIRO; Viterbo JOS; Rademaker ALEXANDRE; Haeusler Edward HERMANN; Endler MARKUS
Communications in Computer and Information Science
DOI 10.1007/978-3-540-88479-8_37
ISBN 9783540884781
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
ONTOLOGIAS: Interoperabilidade; Contexto; Computação Ubíqua
Isabel Leite CAFEZEIRO; Viterbo JOSÉ; Alexandre RADEMAKER; Edward Hermann HAEUSLER; Markus ENDLER
Seminário de Pesquisa em Ontologia no Brasil
ISBN 9788561777074
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Extensão Universitária em áreas tecnológicas: entre propostas e práticas
Isabel Leite CAFEZEIRO; Regina Célia De Leal TOLEDO; Alcântara Maria Gabriela C N; Mariana De Souza MARINHO; Camargo PRISCILA et al
11o Seminário nacional de História da Ciência e da Tecnologia
ISBN 97885600690
|
SH
History and Philosophy of Science
|
| 2008 |
Trabalho em evento |
Extensão Universitária sob enfoque sociotécnico
Evangelista Lays FIGUEREDO; Alcântara Maria Gabriela C N; Mariana MARINHO; Priscila CAMARGO; Regina Célia De Leal TOLEDO et al
11o Seminário Nacional de História da Ciência e da Tecnologia
ISBN 9788560069170
|
SH
History and Philosophy of Science
|
| 2008 |
Trabalho em evento |
Ontology and Context
Isabel Leite CAFEZEIRO; Haeusler Edward HERMANN; Rademaker ALEXANDRE
2008 IEEE International Conference on Pervasive Computing and Communications (PerCom)
DOI 10.1109/percom.2008.21
ISBN 9780769531137
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
Semantics Interoperability via Category Theory
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER
ER 2007
ISBN 9781920682644
|
PS
Theoretical Computer Science
|
| 2007 |
Trabalho em evento |
Computabilidade: História e Matemática
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER
Escola Regional de Computação de Minas Gerais
|
PS
Mathematics (miscellaneous)
|
| 2006 |
Trabalho em evento |
Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social
Isabel Leite CAFEZEIRO; Plácido BARBOSA
3º Congresso Internacional de Gestão de Tecnologia e Sistemas de Informação
|
PS
Computer Science Applications
|
| 2006 |
Trabalho em evento |
Educação; Informática e Responsabilidade Social: A contribuição da Universidade Pública
Isabel Leite CAFEZEIRO
Simpósio Brasileiro de Informática na Educação
DOI 10.5753/cbie.sbie.2006.31-40
|
SH
Education
|
| 2006 |
Trabalho em evento |
Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social
Isabel Leite CAFEZEIRO; Plácido BARBOSA
Universidade; Sociedade e Produção de Conhecimento: Conexão de Saberes
|
SH
Education
|
| 2002 |
Capítulo de livro |
Categorical Limits and Reuse of Algebraic Specifications
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER
Advances in Logic; Artificial Intelligence and Robotics ISBN: 1586032925
ISBN 1586032925
|
PS
Theoretical Computer Science
|
| 2000 |
Trabalho em evento |
Sharing and Denotational Semantics
Isabel Leite CAFEZEIRO; Edward Hermann HEAUSLER
II Workshop in Formal Methods
|
PS
Theoretical Computer Science
|
| 1999 |
Artigo em periódico |
Programming language syntax: expressing sharing
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER
Monografias em Ciência da Computação
ISSN 0103-9741
|
PS
Software
|
| 1997 |
Trabalho em evento |
From Diagrams to Code Via Attribute Grammars
Isabel Leite CAFEZEIRO; Edward Hermann HEAUSLER; Armando HAEBERER
SBLP (II Simpósio Brasileiro de Linguagens de Programação)
|
PS
Computer Science (miscellaneous)
|
| 1997 |
Artigo em periódico |
From diagram to code via attribute grammar
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER; Armando HAEBERER
Monografias em Ciência da Computação
ISSN 0103-9741
|
PS
Computer Science (miscellaneous)
|
| 1996 |
Trabalho em evento |
Paradigmas de Linguagens de Programação: uma abordagem geométrica.
Isabel Leite CAFEZEIRO; Edward Hermann HEAUSLER; Carlos J P LUCENA
SBLP (I Simpósio Brasileiro de Linguagens de Programação)
|
PS
Computer Science (miscellaneous)
|
| 1996 |
Artigo em periódico |
Paradigmas de linguagens de programação: uma abordagem geométrica
Isabel Leite CAFEZEIRO; Edward Hermann HAEUSLER; Carlos J P LUCENA
Monografias em Ciência da Computação
ISSN 0103-9741
|
PS
Software
|
| 1994 |
Trabalho em evento |
Protótipo para especificação de Processos baseado em CSP
Isabel Leite CAFEZEIRO
XIV Congresso da SBC
|
PS
Computational Theory and Mathematics
|