Secretaria dos Departamentos

Trabalhos completos publicados em anais de congressos internacionais

1.

M.C.C.Baranauskas e M.A.F.Borges, ``Jonas: Um Sistema para Formação na Empresa'', VII Congresso Internacional de Informática e Aprendizagem, Brasil , 1, 1-12, (1996).

2.

E.R.M.Madeira e C.M.Garcia, ``An Implementation Model for the Management Functions of the RM-ODP'', IEEE Third Int.Workshop on Services in Dist.and Networked Environments, Macau , 1, 92-98, (1996).

3.

H.V.da Rocha e D.Rodrigues, ``Computer as an Auxiliary Tool in the Process of Cognitive Assessment of Physically Challenged Subject'', CiP'96 Computers in Psychology Conference, Reino Unido , (1996).

4.

M.C.C.Baranauskas, L.D.Fernandes e A.A.Furquim, ``Jogos no Computador e a Formação de Recursos Humanos na Indústria'', III Congresso Iberoamericano de Informática Educativa, Colombia , 1, 513-526, (1996).

5.

J.Wainer, M.Weske, G.Vossen e C.M.B.Medeiros, ``Scientific Workflow Systems'', NSF Workshop on Workflow and Process Automation, Estados Unidos , (1996).

6.

E.R.M.Madeira e F.M.Costa, ``An Object Group Model and its Implementation to Support Cooperative Applications on CORBA'', IFIP/IEEE Int.Conference on Distributed Platforms, Alemanha , (1996).

7.

H.K.E.Liesenberg, A.F.Camargo e M.H.P.Dias, ``Distant Expert Support for an Aids Prevention Programme Aimed at Secondary School Students'', Second International Conference Education in Russia, Russia , (1996).

8.

C.M.B.Medeiros, G.Vossen e M.Weske, ``GEO-WASA-Combining GIS Technology with Workflow Management'', 7th Israeli Conf.on Computer-based Systems and Software Engineering, Israel , 38-49, (1996).

9.

J.Wainer, ``Special Issue on Artificial Intelligence of the Journal of the Brazilian Computer Society'', X , Brasil , 1-3, (1996).

10.

H.V.da Rocha, D.Rodrigues e , ``Um Ambiente Computacional para Avaliação Cognitiva em Portadores de Deficiência Física'', III Congreso Iberoamericano de Informatica Educativa, Colombia , 27-35, (1996).

11.

H.Saggion e A.M.B.R.Carvalho, ``Definite Anaphora in Portuguese Abstracts'', Discourse Anaphora and Anaphor Resolution Colloquium, Reino Unido , I, 245-252, (1996).

12.

A.M.B.R.Carvalho, ``Logic Grammars and Pronominal Anaphora'', Discourse Anaphora and Anaphor Resolution Colloquium, Reino Unido , 1, 106-122, (1996).

13.

J.Meidanis e E.G.Munuera, ``A Theory for the Consecutive Ones Property'', III South American Workshop on String Processing, Brasil , 194-202, (1996).

14.

I.C.Garcia e P.J.de Rezende, ``Ensino de Estruturas de Dados e seus Algoritmos através de Implementação com Animações'', V Congresso Iberoamericano de Educacion Superior en Computacion, Mexico , I, 10-19, (1996).

15.

C.M.B.Medeiros, M.J.Bellosta e G.Jomier, ``Managing Multiple Representations of Georeferenced Elements'', DEXA 96 Conference, Irlanda (Eire) , 364-371, (1996).

16.

J.Wainer e A.de M.Rezende, ``A Temporal Extension to the Parsimonious Covering Theory'', XII Simpósio Brasileiro de Inteligência Artificial, Brasil , 201-210, (1996).

17.

J.A.Silvester, N.L.S.da Fonseca, G.S.Mayor e S.P.S.Sobral, ``The Effectiveness of Multi-level Policing Mechanisms in ATM Traffic Control'', IEEE International Telecommunications Symposium 96, Mexico , 98-102, (1996).

18.

A.M.Monteiro e J.Wainer, ``Epistemic Conditional Logics Editor: Springer'', II Simpósio Brasileiro de Inteligência Artificial, Brasil , 21-30, (1996).

19.

A.M.Monteiro e J.Wainer, ``Preferential Multi-agent Nonmonotonic Logics: Preliminary Report Editor: Morgan Kaufmann Publishers'', Fifth Int.Conf.on Principles of Knowledge Representation and Reasoning, Estados Unidos , 1, 446-452, (1996).

20.

H.V.da Rocha, M.F.M.Brenner e A.M.B.R.Carvalho, ``The Design of an Intelligent Agent Architeture based on Minsky's Society of Mind'', First Iberoamerican Workshop on Distrib.Art.Intel.and Multiagent Syst, Mexico , 1, 8-15, (1996).

21.

R.de O.Anido, A.Cavalli, T.Macavei, L.Lima, M.Clatin e M.Phalippou, ``Engendrer des tests pour un vrai protocole grace a des techniques eprouvees de verification'', Colloque Francophone sur L'ingenierie des Protocoles, Marrocos , 1-14, (1996).

22.

R.M.Rosi, C.F.X.Mendonça Neto, L.A.P.Lozada e J.Stolfi, ``Automatic Visualization of Two-dimensional Cellular Complexes'', Graph Drawing'96, Estados Unidos , (1996).

23.

N.J.Leite, ``An SIMD Parallel Algorithm for Classifyng Binary Image'', IEEE Int.Conf.on Image Processing, Suica , 1, 25-29, (1996).

24.

C.R.C.Fernandes e N.J.Leite, ``Segmentation of Nautical Chart Components Using Mathematical Morphology'', IEEE International Conference on Image Processing, Suica , 1, 53-57, (1996).

25.

H.V.da Rocha e S.Chan, ``A Comparative Study of Human-Computer Interface Evaluation Methods'', XVI International Conference of the Chilean Computer Science Society, Chile , 101-111, (1996).

26.

E.R.M.Madeira e F.H.Sousa Lima, ``ODP-Based QoS Specification for the Multiware Platform'', IFIP 4th Int. Workshop on Quality of Service, Franca , 1, 45-55, (1996).

27.

F.P.Araújo Junior e N.J.Leite, ``A Morphological Algorithm for Photomosaicking'', 8th European Signal Processing Conference, Italia , 1, 181-186, (1996).

28.

C.Nalon e J.Wainer, ``Constructing Conditional Models with Good Properties: Preliminary Results'', XVI Conferência Internacional da Sociedade Chilena de Computação, Chile , 1, 341-350, (1996).

29.

H.V.da Rocha, M.F.M.Brenner e A.M.B.R.Carvalho, ``A Story-Telling Intelligent Agent based on Minsky's Society of Mind'', Second International Conference on Multiagent Systems, Japao , 10-13, (1996).

30.

E.Martins, M.R.R.Araújo e A.M.Ambrósio, ``A Framework for Developing a Software-based Fault Injection Tool for the Test of Communication Systems'', 4th Intern.Symposium on Applied Corporate Computing, Mexico , 1, 51-61, (1996).