Departamento de Ciência da Computação - IME

Departamento de Ciência da Computação - IME - USP

Total de produção bibliográfica

Número total de itens: 3392
Página: 1 2 3 4

1994

12.	FERREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Broadcasting In Bus Interconnection Networks. Em: INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - CONPAR 94, v. 854, p. 797-807, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	FERREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Bus Based Parallel Computers: A Viable Way For Massive Parallelism. Em: PARLE'94 PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, v. 817, p. 553-564, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	FERREIRA, C. E.; GROETSCHEL, M. ; MARTIN, A. ; WEISMANTEL, R.. Polyhedral Studies for the Multicut Problem in Hypergraphs. Em: XV International Symposium on Mathematical Programming, 1994, Ann Arbor. Proceedings of the XV ISMP, p. 76-76, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	FERREIRA, C. E.; MARTIN, A. ; WEISMANTEL, R.. Facets for the multiple knapsack problem. Em: Encontro da Academia Brasileira de Ciências, 1994, São Paulo. Anais da Academia Brasileira de Ciências, v. 66, p. 503-503, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	FERREIRA, C. E.; NUNES, A. L. S.. Uma implementação de simulated annealing iterado aplicada a problemas de partição de grafos. Em: XXVI Simpósio Brasileiro de Pesquisa Operacional, 1994, Florianópolis. Anais do XXVI SBPO, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	FERREIRA, J. E. Adding conceptual constructs to support distribution in an object oriented model. 1994. Apresentação de Trabalho/Conferência ou palestra
18.	FERREIRA, J. E.; TRAINA JUNIOR, C.. Multimédia: mythus - CD e som estéreo. Folha de São Paulo - Caderno de Informática. Folha de São Paulo, São Paulo, p. 6-8, 20 jul. 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	FERREIRA, J. E.; TRAINA JUNIOR, C.. Adding conceptual constructs to support distribution in an object oriented model. Em: Simpósio Brasileiro de Banco de Dados, v. 1, p. 216-229, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
20.	FINGER, M. Notes On Several Methods For Combining Temporal Logics. Em: Workshop on Combining Structures, p. 1-10, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
21.	FINGER, M.; FISHER, M. ; OWENS, R.. Metatem At Work: Modelling Reactive Systems Using Temporal Logics. Em: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, p. 1-6, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
22.	GURGEL, M. A. M. C. ; Y. WAKABAYASHI. The Complete Pre-Order Polytope. Em: ISMP'94, 1994. Proceedings of the XV International Symposium on Mathematical Programmin. Ann Arbor, p. 95-95, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
23.	HUMES C. A regulator stabilization technique: Kumar-Seidman revisited.. IEEE Transactions on Automatic Control. p. 191-196, issn: 00189286, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
24.	HUMES C. Non-WiP approaches to stability studies. Em: 37th National Joint Meeting / TIMS-ORSA,, 1994, Boston,MA. 37th National Joint Meeting / TIMS-ORSA, p. 57, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
25.	HUMES C.; HUMES, A. F. P. C.. A clearing round-robin-based stabilization mechanism. Em: Proceedings 32nd Allerton, p. 414-423, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
26.	HUMES C.; KUMAR, P. R. ; PERKINS, J.. Distributed scheduling of flexible manufacturing systems: stability and performance. IEEE Transactions On Robotics And Automation. p. 133-141, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
27.	HUMES C.; ZANJACOMO, P. R.. Complexity based implementation guidelines for dynamic programming: The bicriteria case. Investigación Operativa. p. 1-19, issn: 10148264, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
28.	JACKOWSKI, M.; ZANELLA, M. C.. Pegar ônibus é com o computador. Superinteressante, São Paulo, , v. 8, n.2, p. 7-7, 01 fev. 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
29.	KOBAYASHI, N. The closure under division and a characterization of recognizable Z-subsets. São Paulo: Departamento de Ciência da Computação - IME - USP. 1994. relatório técnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
30.	MANDEL, A.; GIAMBRUNO, A. ; Gonçalves, J. Z.. Rings With Algebraic N-Engel Elements. Communications in Algebra. v. 22, p. 1685-1703, issn: 00927872, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
31.	MASCARENHAS, W. F. The structure of the eigenvectors of sparse matrices. Linear Algebra and its Applications. v. 207, p. 1-20, issn: 00243795, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
32.	MASCARENHAS, W. F. A note on Jacobi being more accurate than QR,. SIAM Journal on Matrix Analysis and Applications. v. 1, p. 15-28, issn: 08954798, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
33.	MASCARENHAS, W. F. A desigualdade de Bernouilli do ponto de vista do cálculo. Matemática Universitária, 17 dez. 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
34.	MIYAZAWA, F. K. ; Y. WAKABAYASHI. Three-Dimensional Packing Algorithms with Asymptotic Performance Analysis. Em: ISMP'94, 1994. Proceedings of the XV International Symposium on Mathematical Programming. Ann Arbor, p. 213-213, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
35.	PINTO, C. C. D. A. ; RBILOTTA, C. C. ; BARRERA, Junior. Implementation of a morphological machine for classificatiion of human cromossomes. Em: World Congress on Medical Physics and Biomedical Engineering, 1994, Rio de Janeiro. Word Congress on Medical Physics and Biomedical Engineering, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
36.	SANCHES, C. A. A. ; SONG, S. W.. SIMD Algorithms For Matrix Multiplication On The Hypercube. Em: IEEE 8TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, p. 492-496, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
37.	SETZER, V.W.; Zisman, A.. New concurrency control algorithms for accessing and compacting B-Trees. Em: 20th International Conference on Very Large Data Bases (VLDB), p. 238-248, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
38.	SIMON, I. On semigroups of matrices over the tropical semiring. TSI. Technique et Science Informatiques. p. 277-294, issn: 07524072, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
39.	SIMON, I. String matching algorithms and automata. Em: Hermann Maurer; Juhani Karhumaki; G. Rozenberg. (Org.). Results and Trends in Theoretical Computer Science. Berlin. : Springer-Verlag. 1994.p. 386-395. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
40.	SIMON, I.; PEHRSON, B. (Org.). IFIP'94 - 13th World Computer Congress . Amsterdam: Northe-Holland. IFIP'94 - 13th World Computer Congress . Amsterdam: Northe-Holland, 1994. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
41.	SONG, S. W. Systolic Algorithms: Concepts, Synthesis And Evolution. TEMUCO, CHILE: CIMPA SCHOOL OF COMPUTING - UNESCO. Systolic Algorithms: Concepts, Synthesis And Evolution. TEMUCO, CHILE: CIMPA SCHOOL OF COMPUTING - UNESCO, 1994. p. 41. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
42.	SONG, S. W. Embedding Of Meshes On The Hypercube By Recursive Folding. Em: IEEE/USP INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTING, p. 83-95, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
43.	SONG, S. W. Towards The Construction Of Cycles On The Hypercube. Em: DIMACS WORKSHOP ON INTERCONNECTION NETWORKS AND MAPPING AND SCHEDULING PARALLEL COMPUTATION, 1994, Piscataway. PROCEEDINGS DIMACS WORKSHOP ON INTERCONNECTION NETWORKS AND MAPPING AND SCHEDULING PARALLEL COMPUTATION, p. 46-47, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
44.	SONG, S. W. Construção de Ciclos Hamiltonianos No N-Cubo Binário. Em: ACADEMIA BRASILEIRA DE CIÊNCIAS, 1994, Sao Paulo. ANAIS DA ACADEMIA BRASILEIRA DE CIÊNCIA. SAO PAULO, SP, p. 505-505, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
45.	SONG, S. W. Computação Maciçamente Paralela: Potencial e Limitações. Em: COLÓQUIO QUESTÕES METODOLÓGICAS EM CIÊNCIAS COGNITIVAS, 1994, Sao Paulo. ANAIS DO COLÓQUIO QUESTÕES METODOLÓGICAS EM CIÊNCIAS COGNITIVAS. SAO PAULO, SP, p. 106-108, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
46.	STERN, J. M. Esparsidade, Estrutura, Estabilidade e Escalonamento em Álgebra Linear Computacional. Recife: IX Escola de Computação. Esparsidade, Estrutura, Estabilidade e Escalonamento em Álgebra Linear Computacional. Recife: IX Escola de Computação, 1994. p. 123. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
47.	STERN, J. M. A Ciência no Benchmarking. Revista da Logística, São Paulo, , v. 23, p. 3, 02 jan. 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
48.	STERN, J. M.; VAVASIS, S. A.. Active Set Algorithms for Problems in Block Angular Form.. Comp Appl Math. v. 12, n. 3, p. 199-226, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
49.	TERADA, Routo; KOYAMA, K.. Dynamic swapping schemes and differential cryptanalysis. Transactions of the Institute of Electronics, Information and Communication Engineers. p. 1328-1336, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
50.	WASSERMAN, Renata ; CORREA DA SILVA, F. S.. Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic. Em: Simposio Brasileiro de Inteligencia Artificial, 1994. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1993

1.	Althöfer, Ingo ; Das, Gautam ; Dobkin, David ; Joseph, Deborah ; Soares, José. On sparse spanners of weighted graphs. Discrete & Computational Geometry. v. 9, p. 81-100, issn: 01795376, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	BANON, G. J. F. ; BARRERA, Junior. Decomposition of mappings between complete lattices by Mathematical Morphology. Signal Processing. v. 30, p. 299-327, issn: 01651684, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	BRANDÃO, L. ; GARCIA, M. P. ; HUMES C.. Teoremas de alternativa em estabilidade de sistemas. Em: XXV Simpósio Brasileiro de Pesquisa Operacional, 1993, Salvador. Anais do XXV SBPO, p. 43-43, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	BRANDÃO, L. ; GARCIA, M. P. ; HUMES C.. Teoremas de alternativa em estabilidade de sistemas. Em: XXV Simpósio Brasileiro de Pesquisa Operacional, 1993, Salvador. Anais do XXV SBPO, p. 43-43, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	BRIGHTWELL, G. R. ; KOHAYAKAWA, Y.. Ramsey Properties Of Orientations Of Graphs. Random Structures & Algorithms. v. 4, n. 4, p. 413-428, issn: 10429832, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	CESAR JUNIOR, R. M.; LOTUFO, R A. Segmentação e descrição de contornos por B-Splines e sua aplicação no casamento de contornos. Em: VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - VI SIBGRAPI, p. 55-64, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	CESAR JUNIOR, R. M.; LOTUFO, R A. Segmentação e representação de contornos por B-Splines para aplicações em Visão Computacional. Em: I Simpósio Brasileiro de Automação Inteligente - I SBAI, p. 223-232, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	CORREA DA SILVA, F. S.; PIETRANTONIO, H.. Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. Em: ANPET, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J.. Automated Reasoning With Uncertainties. Em: M Masuch; L Pawlos. (Org.). Knowledge Representation and Uncertainty. : Springer-Verlag. 1993.v. 808, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	FEEREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Comunicação Em Hipergrades e Hipertoros Usando Barramentos. Em: V SIMPÓSIO BRASILEIRO DE ARQUITETURAS DE COMPUTADORES E PROCESSAMENTO DE ALTO DESEMPENHO, p. 17-32, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	FERREIRA, C. E.; GROETSCHEL, M. ; KIEFL, S. ; KRISPENZ, L. ; MARTIN, A. ; WEISMANTEL, R.. Some Integer Programs Arising in the Design of Main Frame Computers. Zeitschrift für Operations Research. v. 38, p. 77-100, issn: 03409422, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	HUMES C. Estórias dos anos 70. Em: SOBRAPO-Sociedade Brasileira de Pesquisa Operacional. (Org.). Vinte e Cinco Anos de Pesquisa Operacional no Brasil. Rio de Janeiro. : SOBRAPO. 1993.v. 1, p. 9-12. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	HUMES C. VÁRIOS TRABALHOS ANTES1994, (maior parte completos)entre os quais os abaixo citados. Em: Vários internacionais e nacionais, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	HUMES C. Vinte e Cinco anos de Pesquisa Operacional no Brasil. Rio de Janeiro: SOBRAPO-Sociedade Brasileira de Pesquisa Operacional. 1993. Depoimento em livro [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	MASCARENHAS, W. F. On the convergence of the Affine Scaling algorithm. Em: 25 Encontro da Sociedade Brasileira de Pesquisa Operacional, 1993, Campinas. Anais do 25 Simpósio Brasileiro de Pesquisa Operacional, p. 662, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	RISSET, T. ; SONG, S. W.. A Real-Time Systolic Algorithm For On-The-Fly Hidden Surface Removal. Em: ASAP'93 INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC ARRAY PROCESSORS, p. 238-249, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	SETZER, V.W. Tietokoneet ja Kouluikäiset? Väitteitä ja Perusteluja. Tampere: Heikki Harjunen. Tietokoneet ja Kouluikäiset? Väitteitä ja Perusteluja. Tampere: Heikki Harjunen, 1993. p. 105. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
18.	SETZER, V.W.; Carvalheiro, F.H.. Algoritmos e sua análise. Em: Sociedade Brasileira de Matemática. (Org.). Caderno da RPM, Vol. 4, N. 1. São Paulo. : Sociedade Brasileira de Matemática. 1993.p. 1-26. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	SETZER, V.W.; Hirata Jr., R.. O Dia da Computação. Em: Sociedade Brasileira de Matemática. (Org.). Caderno da RPM, Vol. 4, N. 1. São Paulo. : Sociedade Brasileira de Matemática. 1993.p. 27-38. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
20.	SIMON, I. The product of rational languages. Em: ICALP - International Conference on Automata, p. 430-444, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
21.	SIMON, I. String matching algorithms and automata: extended abstract. Em: First South American Workshop on String Processing, 1993, Belo Horizonte. First South American Workshop on String Processing. Belo Horizonte: UFMG, p. 151-157, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
22.	STERN, J. M.; VAVASIS, S. A.. Nested Dissection for Sparse Nullspace Bases.. SIAM Journal on Matrix Analysis and Applications. v. 14, n. 3, p. 766-775, issn: 08954798, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
23.	TERADA, Routo; KOYAMA, K.. How to strengthen DES like cryptosystems against Differential Cryptanalysis. Transactions of the Institute of Electronics, Information and Communication Engineers. p. 63-69, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
24.	TERADA, Routo; KOYAMA, K.. Probabilistic swapping schemes to strengthen DES against Differential Cryptanalysis. Em: Symp. of Cryptography and Information Security, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
25.	TERADA, Routo; KOYAMA, K. ; KANEKO, T.. Dynamic swapping schemes and Differential Cryptanalysis. Em: Korea-Japan Joint Workshop on Information Security and Cryptology, p. 292-301, 1993. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1992

1.	BARRERA, Junior; BANON, G. J. F.. Expressiveness of the morphological language. Em: Conference of the International Society for Optical Engineering, v. 1769, p. 264-275, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	BOLLOBAS, B. ; KOHAYAKAWA, Y. ; LUCZAK, T.. The Evolution Of Random Subgraphs Of The Cube. Random Structures & Algorithms. v. 3, n. 1, p. 55-90, issn: 10429832, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J.. Automated Reasoning with Uncertainties. Em: Applied Logic Conference, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	FEEREIRA, A. G. ; SONG, S. W.. Achieving Optimality For Gate Matrix Layout And Pla Folding: A Graph Theoretic Approach. Integration (Amsterdam). v. 14, n. 2, p. 173-195, issn: 01679260, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	FERREIRA, A. G. ; SONG, S. W.. Achieving Optimality For Gate Matrix Layout And Pla Folding: A Graph Theoretic Approach. Em: LATIN'92 - LATIN AMERICAN THEORETICAL INFORMATICS, v. 384, p. 139-153, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	FERREIRA, C. E.; MARTIN, A. ; WEISMANTEL, R.. A Branch and Cut Algorithm for the Multiple Knapsack Problem. Em: Deutsche Mathematiker Vereinigung Jahrestagung, 1992, Berlin. Anais do DMV Jahrestagung, p. 73-73, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	FERREIRA, J. E.; TRAINA JUNIOR, C.. Distribution Aspects In Databases for Project Suppot Environmrnts. Em: XII International Conference of the Chilean Computer Science Society, v. 1, p. 345-360, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	FINGER, M. Handling Database Updates In Two-Dimensional Temporal Logic. JOURNAL OF APPLIED NON-CLASSICAL LOGIC. v. 2, n. 2, p. 201-224, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	FINGER, M.; GABBAY, D.. Updating Atomic Information In Labelled Database Systems. Em: 4th International Conference on Database Theory, p. 188-200, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	FINGER, M.; Gabbay, Dov M.. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information. v. 1, p. 203-233, issn: 09258531, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	GOMES, J. ; JACKOWSKI, M.. ALNUMER: Programa Didático para a disciplina de Análise Numérica. Revista Acadêmica da PUC-PR, Curitiba, PR, , v. 5, p. 9-14, 01 jan. 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	GUBITOSO, M. D. Autocad : referência rapida (cobre versões 10 e 11). São Paulo: Pioneira. 1992. cobre versões 10 e 11). São Paulo: Pioneira, 1992. (Tradução/Livro [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	HANSEL, G. ; PERRIN, D. ; SIMON, I.. Compression and entropy. Em: STACS - Symposium on Theretical Aspects of Computer Science, p. 515-528, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	HUMES C. A projection-feasible direction method for continuous capacity and flow assignement. Computational and Applied Mathematics. v. 11, n. 3, p. 243-254, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	HUMES C. Some results in the Perkins-Kumar framework for distributed activity scheduling. Em: NSF Workshop on Hierarchical Control for real-time scheduling of manufacturing systems, 1992, Lincoln,New Hampshire. NSF Workshop on Hierarchical Control, p. 11-18, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	HUMES C. Decentralized scheduling in manufacturing systems. Em: V Reunião ABE-SBMAC, 1992, Brasília. Anais da V Reunião ABE-SBMAC, p. 45-46, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	HUMES C.; Cabral. A contribution to the slow-server problem. Em: XV Congresso Nacional de Matemática Aplicada e Computacional, 1992, São Carlos. XV CNMAC, p. 38-38, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
18.	HUMES C.; Homem de Mello. Instabilidade em Sistemas de Manufatura com tempos decrescentes. Em: XV Congresso Nacional de Matemática Aplicada e Computacional, 1992, São Carlos. XV CNMAC, p. 45-45, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	HUMES C.; ZANJACOMO, P. R.. Dynamic Programming implementation using D.P. complexity studies. Em: XXIV Simpósio Brasileiro de Pesquisa Operacional, p. 231-237, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
20.	KOBAYASHI, N. Properties of recognizable M-subsets of a free monoid. Em: LATIN '92 - 1st Latin American Symposium on Theoretical INformatics, v. 583, p. 314-328, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
21.	KOHAYAKAWA, Y.; WOJCIECHOWSKI, J.. On Small Graphs With Highly Imperfect Powers. Discrete Mathematics. v. 104, n. 3, p. 245-261, issn: 0012365X, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
22.	KON, F. O Som do Futuro - Música, Computadores e Fractais. Jornal da Tarde, São Paulo - SP, p. 3-3, 26 set. 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
23.	KON, F.; BOUDLER, J.. Música, Computadores e Fractais. Em: IV Congresso de Iniciação Científica da UNESP, 1992, Botucatu. Anais do IV Congresso de Iniciação Científica da UNESP, p. 247-247, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
24.	LAGO, A. P. On the Free Burnside Semigroups X N = X N+M. Em: LATIN 92, 1992, Sao Paulo. LATIN 92. Berlin: Springer-Verlag, v. 583, p. 329-343, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
25.	OKUDA, K. Um Algoritmo para Decomposicao LU. Em: IV Simposio Brasileiro de Arquitetura de Computadores-Processamento de Alto Desempenho, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
26.	ROBERT, Y. ; SONG, S. W.. Revisiting Cycle Shrinking. Parallel Computing. v. 18, n. 5, p. 481-496, issn: 01678191, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
27.	ROBERT, Y. ; SONG, S. W.. New Techniques For Cycle Shrinking. Em: PARLE'92 PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, v. 605, p. 449-464, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
28.	SETZER, V.W. Computer in der Schule? Thesen und Argumente. Stuttgart: Verlag Freies Geistesleben. Computer in der Schule? Thesen und Argumente. Stuttgart: Verlag Freies Geistesleben, 1992. p. 137. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
29.	SETZER, V.W.; Terada, R.. Introdução à Computação e à Construção de Algoritmos. São Paulo: Makron Books. Introdução à Computação e à Construção de Algoritmos. São Paulo: Makron Books, 1992. p. 141. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
30.	SIMON, I. LATIN'92 - 1st. Latin American Symposium on Theoretical Informatics. Berlin: Springer-Verlag. LATIN'92 - 1st. Latin American Symposium on Theoretical Informatics. Berlin: Springer-Verlag, 1992. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
31.	SIMON, I. A short proof of the factorization forest theorem. Em: Maurice Nivat; Andreas Podelski. (Org.). Tree Automata and Languages. Amsterdam. : Elsevier Science Publishers. 1992.p. 433-438. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
32.	SOARES, J. Graph Spanners: A Survey. Congressus Numerantium. v. 89, p. 225-238, issn: 03849864, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
33.	SOARES, J. Graph Spanners. Em: SEMANA DE COMBINATORIA, p. 0-0, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
34.	SOARES, J. New Sparseness Results On Graph Spanners. Em: EIGHTH ANNUAL SYMPOSIUM ON COMPUTATIONAL GEOMETRY, p. 0-0, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
35.	SOARES, J. Approximating Euclidean Distances By Small Degree Graphs. Em: 23RD SOUTHEASTERN INTERNATIONAL CONFERENCE ON COMBINATORICS, GRAPH THEORY AND COMPUTING, 1992. BOCA RATON, FLORIDA, p. 0-0, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
36.	Soares, JosÃ. Maximum diameter of regular digraphs. Journal of Graph Theory (Print). v. 16, p. 437-450, issn: 03649024, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
37.	SONG, S. W. Paralelização de Laços Encaixados Pela Técnica de Encolhimento de Ciclos. Em: II JORNADA IEEE/EPUSP EM SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 1-11, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
38.	STERN, J. M. Simulated Annealing with a Temperature Dependent Penalty Function. Orsa Journal On Computing. v. 4, n. 3, p. 311-319, 1992. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
39.	STERN, J. M. Regionalização da Matriz de Insumo-Produto para o Estado de São Paulo. São Paulo: IME-USP. 1992. Relatório Técnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1991

1.	BANON, G. J. F. ; BARRERA, Junior. Minimal representation for translation invariant set mappings by Mathematical Morphology. SIAM Journal on Applied Mathematics. v. 51, n. 6, p. 1782-1798, issn: 00361399, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	CESAR JUNIOR, R. M.; LINHARES, O L. Linguagens formais estocásticas: teoria das probabilidades e gramáticas formais em uma só teoria. Em: XIV Reunião da Sociedade Brasileira de Matemática Aplicada e Computacional, p. 75-77, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	CESAR JUNIOR, R. M.; LINHARES, O L. Métodos Numéricos de Aproximação poligonal: Uma Análise Comparativa de 3 Métodos. Em: Jornada EPUSP/IEEE em Computação Visual, p. 189-199, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; CHUNG, P.. Automated Reasoning About an Uncertain Domain. Em: ECSQARU, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	FERREIRA, A. G. ; SONG, S. W.. A Graph Theoretic Approach For Pla Area Optimization. Em: WORKSHOP ON APPLICATIONS OF COMBINATORIAL OPTIMIZATION IN SCIENCE AND TECHNOLOGY - C O S T, p. 117-122, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	FINGER, M.; MCBRIEN, P. ; OWENS, R.. Databases And Executable Temporal Logic. Em: Annual Esprit Conference, p. 288-302, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	GUBITOSO, M. D. Parallelizing a new class of large applications over high speed net works. (Rt-Mac ; 9108). São Paulo: USP-IME. 1991. Rt-Mac ; 9108). São Paulo: USP-IME, 1991 (Publicação Seriada [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	HUMES C. Some comments on optimality, lagrangian duality and convexity. Pesquisa Operacional. v. 2, n. 2, p. 159-169, issn: 01017438, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	HUMES C. Some results on outer linearization in the presence of concavity. Pesquisa Operacional. v. 11, n. 1, p. 1-9, issn: 01017438, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	HUMES C. A projection feasible directions method for the CFA. Em: 14th International Symposium in Mathematical Programming, 1991, Amsterdan. Abstracts of the 14th MPS, p. 488-48, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	HUMES C.; Homem de Mello. Instability in manufacturing systems with decreasing service times. Pesquisa Operacional. v. 11, n. 2, p. 17-27, issn: 01017438, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	HUMES C.; HUMES, A. F. P. C.. A note on. Pesquisa Operacional, Rio de Janeiro. v. 11, n. 2, p. 75-78, issn: 01017438, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	HUMES C.; ZANJACOMO, P. R. ; Wasserstein. On the complexity of discrete bicriterion optimization using dynamic programmig. Em: Workshop on Large Scale Optimization, 1991, Coimbra. Proceedings of the Workshop on Large Scale Optimization, p. 85-86, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	KOHAYAKAWA, Y. A Note On Induced Subgraphs Of Kneser Graphs. Combinatorica. v. 11, n. 3, p. 245-251, issn: 02099683, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	KUNG, H. T. ; STEENKISTE, P. ; GUBITOSO, M. D. ; KHAIRA, M.. Parallelizing a new class of large applications over high-speed networks.. ACM/SIGPLAN Notices. v. 26, n. 7, p. 167-177, issn: 03621340, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	KUNG, H. T. ; STEENKISTE, P. ; GUBITOSO, M. D. ; KHAIRA, M.. Parallelizing A New Class Of Large Applications Over High Speed Networks. Em: THIRD ACM SIG PLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, p. 0-0, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	MANDEL, A.; Gonçalves, J. Z.. Semigroup Identities On Units Of Group Algebras. Archiv der Mathematik. v. 57, p. 539-545, issn: 0003889X, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
18.	MASCARENHAS, N. D. ; BARRERA, Junior. Experiência do INPE em Processamento de Imagens Médicas. Em: Simpósio Brasileiro de Processamento de Imagens em Medicina, 1991, São Paulo. Simpósio Brasileiro de Processamento de Imagens em Medicina, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	MASCARENHAS, W. F.; EDELMAN, A.. On the complete pivoting conjecture for a Hadamard matrix of order 12. Linear & Multilinear Algebra. v. 1, p. 1-7, issn: 03081087, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
20.	OKUDA, K. ; SONG, S. W.. Um Algoritmo Sistólico Iterativo Para Resolução de Sistemas Lineares. Em: JORNADA EPUSP/IEEE SOBRE SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 37-45, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
21.	OKUDA, K.; S.W.SONG,. Um Algoritmo Sistolico Iterativo para Resolucao de Sistema Linear. Em: Jornada EPUSP/IEEE em Sistema de Computacao de Alto Desempenho, p. 37-45, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
22.	SIMON, I. News from Latin America. Leiden: Bulletin of the European Association for Theoretical Computer Science. 1991. Coluna em revista científica [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
23.	SOARES, J. Maximum Diameter Of Regular Digraphs. Em: 22ND SOUTHEASTERN INTERNATIONAL CONFERENCE ON COMBINATORICS, GRAPH THEORY AND COMPUTING, 1991. BATON ROUGE, LOUSIANA, p. 0-0, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
24.	SONG, S. W. Método de Síntese de Algoritmos Sistólicos: Uma Interpretação Geométrica. Em: JORNADA EPUSP/IEEE SOBRE SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 165-176, 1991. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
25.	STERN, J. M. Simulated Annealing with a Dependent Temperature Penalty Function. 1991. Technical Report [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
26.	TERADA, Routo; SETZER, V.. Introdução à Computação e à construção de algoritmos. São Paulo: McGraw Hill. Introdução à Computação e à construção de algoritmos. São Paulo: McGraw Hill, 1991. v. 1, p. 135. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1990

1.	BANON, G. J. F. ; BARRERA, Junior. Study of a pair of dual minimal representations for translation invariant set mappings by mathematical morphology. Sao Jose dos Campos: INPE. 1990. Relatorio tecnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	CESAR JUNIOR, R. M. Um algoritmo para simulação de um fenômeno de agregação que gera figuras com estruturas fractais. Revista de Matemática e Estatística. v. 8, p. 149-153, issn: 01020811, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	CORREA DA SILVA, F. S.; BUNDY, A.. On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. Em: Uncertainty in Artificial Intelligence, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	COSTA, A. S. ; MANDEL, A. ; PIAZZA, T. S.. Qualitative Methods To Solve Qualitative Problems In Power System State Estimation. IEEE Transactions on Power Systems. v. 5, p. 941-949, issn: 08858950, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	Grötschel, M. ; WAKABAYASHI, Y.. Facets of the clique partitioning polytope. Mathematical Programming. v. 47, p. 367-387, issn: 00255610, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	Grötschel, M. ; WAKABAYASHI, Y.. Composition of Facets of the Clique Partitioning Polytope. Topics in Combinatorics and Graph Theory. 1ed.Heilderberg. Em: . : Physica-Verlag HD. 1990.p. 271-284. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	KOHAYAKAWA, Y. A Note On Kernels Of Intersecting Families. European Journal of Combinatorics. v. 11, n. 2, p. 155-164, issn: 01956698, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	MENZILCIOGLU, O. ; KUNG, H. T. ; SONG, S. W.. A Highly Configurable Architecture for Systolic Arrays of Powerful Processors. Em: J. McCanny, J. McWhirter, E. Swartzlander Jr. (Org.). Systolic Array Processors. : Prentice-Hall Inc.. 1990.p. 156-165. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	SETZER, V. W. ; HIRATA JR., R.. O Dia da Computação: uma Introdução Rápida ao Computador e à Computação. Ciência e Cultura (SBPC). v. 42, n. 5/6, p. 333-340, issn: 00096725, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	SETZER, V.W.; Hirata Jr., R.. Dia da Computação: um sistema educacional para uma introdução rápida ao computador e à computação. Ciência e Cultura (SBPC). v. 42, p. 333-340, issn: 00096725, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	SIMON, I. Factorization forests of finite height. Theoretical Computer Science. v. 72, p. 65-94, issn: 03043975, 1990. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	SIMON, I. The nondeterministic complexity of a finite automaton. Em: M. Lothaire. (Org.). Mots - mélanges offerts à M. P. Schützenberger. Paris. : Hermes. 1990.p. 384-400. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	SIMON, I. Palavras, autômatos e algoritmos, uma bibliografia. São Paulo: IME-USP. 1990. Bibliografia [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	STERN, J. M. Simulated Annealing with a Temperature Dependent Cost Function. Ithaca: Cornell Computational Optimization Project, Cornell University. 1990. Technical Report [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	STERN, J. M.; VAVASIS, S. A.. Nested Dissection for Sparse Nullspace Bases. Ithaca: Department of Computer Science, Cornell University. 1990. Technical Report [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	TERADA, Routo; KOYAMA, K.. Nonlinear parity circuits and their cryptographic applications. Em: IACR - International Assoc. of Cryptologic Research. (Org.). Lec. Notes in Computer Science. Berlin. : Springer Verlag. 1990.v. 537, p. 582-599. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1989

1.	BANON, G. J. F. ; BARRERA, Junior. Morphological filtering for stripping correction of SPOT images. Photogrametria. v. 43, p. 195-205, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	BARRERA, Junior; VINCENT, L. ; MEYER, F. ; RAPHAELA, M.. Etude de la proliferation cellulaire par analyse morphologique d images. Fontainebleau: CMM-ENSMP. 1989. Relatorio tecnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	BARRERA, Junior; VINCENT, L. ; RAPHAELA, M. ; MEYER, F.. Étude de la proliferation cellulaire par analise morphologique dímage. Em: Cercle Français de Miscroscopie Quantitative, 1989, Paris. Cercle Français de Microscopie Quantitative, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	BOLLOBAS, B. ; KOHAYAKAWA, Y.. The hitting time of Hamilton cycles in random bipartite graphs. Em: Graph theory, p. 26-41, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	Grötschel, M. ; WAKABAYASHI, Y.. A cutting plane algorithm for a clustering problem. Mathematical Programming. v. 45, p. 59-96, issn: 00255610, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	GUBITOSO, M. D.; PINHANEZ, C. S.. Maquina worm : simulador de máquinas paralelas (Rt-Mac ; 8908 ). São Paulo: USP-IME. 1989. Rt-Mac ; 8908 ). São Paulo: USP-IME, 1989 (Publicação Seriada [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	HUMES C. UMA versão finita do método CFA. Em: 7 Simpósio Brasileiro de Redes de Computadores, p. 605-648, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	HUMES C. Um método de designação de fluxos e capacidades. Em: Escola Brasileira de Otimização, p. 142-158, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	HUMES C.; FABBRI, R. C.. Análise de partição de servidores: o mito do balanceamento de carga. Em: XII Simpósio Brasileiro de Pesquisa Operacional, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	MELO, Ana C. V. de; VASCONCELOS, A M L ; ALBUQUERQUE, e S ; MARTINS, J F ; KELNER, J ; MEIRA, Silvio. Hipertexto: O projeto do sistema H. Em: III Simpósio Brasileiro de Engenharia de Software, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	MENZILCIOGLU, O. ; KUNG, H. T. ; SONG, S. W.. Comprehensive Evaluation Of A Two-Dimensional Configurable Array. Em: XIX INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, p. 93-101, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	MENZILCIOGLU, O. ; KUNG, H. T. ; SONG, S. W.. A Highly Configurable Architecture For Systolic Arrays Of Powerful Processors. Em: INTERNATIONAL CONFERENCE ON SYSTOLIC ARRAYS, p. 0-0, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	SERRA, J. ; BARRERA, Junior. Elements of functional analysis in mathematical morphology. Fontainebleau: CMM-ENSMP. 1989. Relatorio tecnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	SETZER, V.W. Computers in Education. Edinburgh: Floris Books. Computers in Education. Edinburgh: Floris Books, 1989. p. 78. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	SETZER, V.W. Auto-relacionamentos de grau variável. Em: 4o. Simpósio Brasileiro de Bancos de Dados, p. 110-118, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	SETZER, V.W. The Computerized Society: new Life or Destruction?. Em: Information Technology and Society: Theory - Uses - Impacts, p. 531-541, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	SIMON, I. Properties of Factorization Forests. Em: Formal Properties of Finite Automata and Applications, p. 65-72, 1989. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
18.	SONG, S. W. A Highly Concurrent Tree Machine For Database Applications. Em: A.R. Hurson; L.L. Miller; S.H. Pakzad. (Org.). PARALLEL ARCHITECTURES FOR DATABASE SYSTEMS. WASHINGTON D.C. : IEEE COMPUTER SOCIETY PRESS. 1989.p. 0175-0184. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	SONG, S. W. A Survey And Taxonomy Of Database Machines. Em: A.R. Hurson; L.L. Miller; S.H. Pakzad. (Org.). PARALLEL ARCHITECTURES FOR DATABASE SYSTEMS. WASHINGTON D.C. : IEEE COMPUTER SOCIETY PRESS. 1989.p. 0094-0103. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1988

1.	BANON, G. J. F. ; BARRERA, Junior. Morphological filtering for stripping correction of SPOT images. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, p. 132-143, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	COHN, R. ; KUNG, H. T. ; MENZILCIOGLU, O. ; SONG, S. W.. A Highly Reconfigurable Array Of Powerful Processors. Em: 32ND SPIE ADVANCED ALGORITHMS AND ARCHITECTURES FOR SIGNAL PROCESSING, p. 336-343, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	FEOFILOFF, P.; LUCCHESI, C. L.. Algoritmos para Igualdades Minimax em Grafos. Campinas: Escola de Computacao. Algoritmos para Igualdades Minimax em Grafos. Campinas: Escola de Computacao, 1988. v. 1, p. 156. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	HUMES C. A política de reserva de mercado e o fortalecimento do poder nacional. Rio de Janeiro: Escola Superior de Guerra. A política de reserva de mercado e o fortalecimento do poder nacional. Rio de Janeiro: Escola Superior de Guerra, 1988. v. 1, p. 120. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	HUMES C.; QUEIRÓZ, M. G.. Global optimization and the continuous capacity and flow assignement in computer networks. Em: Optimization 98, 1998, Coimbra. Optimization 98, p. 43-43, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	II, F. A. M. ; DIAS, L. A. V. ; DÁLGE, J. C. ; BARRERA, Junior. Mudança automática no traçado de contornos por ocasião de redução de escala utilizando a Morfologia matemática. Em: Simpósio Brasileiro de Sensoriamento Remto, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	LUCCHESI, C. L. ; FEOFILOFF, P.. Determinacao de um corte impar minimo. Em: VIII Congresso da Soc Bras de Comput, p. 158-163, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	MELO, Ana C. V. de; VASCONCELOS, A M L ; MEIRA, Silvio. Links em um sistema de Hipertexto. Em: II Simpósio Brasileiro de Engenharia de Software, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	ROSIM, S. ; MARCONDES, S. P. ; MONTEIRO, A. M. ; DUTRA, L. V. ; BARRERA, Junior. ANIMA: analisador de imagens aplicado a sensoriamento remoto. Em: Simpósio Brasileiro de Sensoriamento Remoto, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	SETZER, V.W. Um sistema simples para documentação semi-automática de programas. Em: II Simpósio Brasileiro de Engenharia de Software, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	SIMON, I. Infinite words and a theorem of Hindman. Revista de Matemáticas Aplicadas. v. 9, p. 97-104, issn: 07165803, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	SIMON, I. Recognizable sets with multiplicity in the tropical semiring. Em: Mathematical Foundations of Computer Science, p. 107-120, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	SIMON, I. Sequence comparison: some theory and some practice. Em: Electronic Dictionaries and Automata in Computational Linguistics, p. 79-92, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	SONG, S. W. Um Esquema de Reconfiguracao Heuristico Para Um Computador Paralelo Tolerante A Falhas. Em: II SIMPOSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES, p. 801-810, 1988. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1987

1.	BARRERA, Junior; MASCARENHAS, N. D. ; BANON, G. J. F.. Aplicações da Morfologia Matemática. Em: SEMISH, p. 72-87, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	BARROS, L. N.; Julia, R. M. S. ; Lopes, C. R.. A Compilação como uma Ferramenta para Geração de Esquemas de Representação. Em: 4o. Simpósio Brasileiro de Inteligência Artificial, v. 1, p. 12-107, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	Chaves, E. ; SETZER, V.W.. O Uso de Computadores em Escolas: Fundamentos e Críticas. São Paulo: Scipione. O Uso de Computadores em Escolas: Fundamentos e Críticas. São Paulo: Scipione, 1987. p. 127. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	DUTRA, L. V. ; ROSIM, S. ; MONTEIRO, A. M. ; BARRERA, Junior ; MASCARENHAS, N. D.. An image analysis system: ANIMA. Em: International Electronic Imagery Cnference, 1987, USA. International Electronic Imagery Conference, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	FEOFILOFF, P.; YOUNGER, D. H.. Directed cut transversal packing for source-sink connected graphs. Combinatorica (Budapest. Print). v. 7, n. 3, p. 255-263, issn: 02099683, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	Gonçalves, J. Z. ; MANDEL, A.. Construction Of Open Sets Of Free K-Tuples Of Matrices.. PROCEEDINGS OF THE EDINHBURGH MATHEMATICAL SOCIETY.. v. 30, n. 1, p. 121-131, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	HUMES C. O problema de designação em redes de computadores. Em: III ERMAC, 1987, p. 6-7, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	HUMES C.; RIBEIRO, C. O.. *O algoritmo A e sua relação com dualidade**. Em: X Congresso Nacional de Matemática Aplicada e Computacional, 1987, Gramado. Anais do X CNMAC, p. 12-12, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	STERN, J. M. Algoritmos Eficientes de Programação Linear. São Paulo: IME-USP. 1987. Relatório Técnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	TERADA, Routo. Aplicacoes de Assinatura Digital Em Integridade de Documentos Eletronicos. In: XX CONGRESSO NACIONAL DE INFORMATICA. p. 0-0, 1987. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1986

1.	BARRERA, Junior; DUTRA, L V ; MASCARENHAS, N D A ; MONTEIRA, A M V ; ROSIM, S. Anima: sistema de análise morfológica de imagens microscópicas. Em: I Congresso Brasileiro de Informática em Saúde, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	FEOFILOFF, P. Interconexoes minimas e interconexoes mutuamente disjuntas em grafos: uma resenha. Boletim SBMAC (Rio de Janeiro). v. 5, p. 32-48, issn: 14148374, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	Gonçalves, J. Z. ; MANDEL, A.. Are There Free Groups In Division Rings?. Israel Journal of Mathematics. v. 53, n. 1, p. 69-80, issn: 00212172, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	GURGEL, M ; WAKABAYASHI, Y. On -leaf-connected graphs. Journal of Combinatorial Theory. Series B (Print). v. 41, n. 1, p. 1-16, issn: 00958956, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	HUMES C.; HUMES, A. F. P. C.. Programação Linear: um primeiro curso. Rio de Janeiro: SBMAC-Sociedade Brasileira de Matemática Aplicada e Computacional. Programação Linear: um primeiro curso. Rio de Janeiro: SBMAC-Sociedade Brasileira de Matemática Aplicada e Computacional, 1986. v. 1, p. 146. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	MANDEL, A.; COSTA, A. S.. A Abordagem Topologica Para Observabilidade de Sistemas de Potencia: Teoria e Um Algoritmo.. REV. SBA: CONTROLE E AUTOMACAO. v. 1, p. 59-71, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	MASCARENHAS, N. D. ; BARRERA, Junior ; DUTRA, L. V. ; MONTEIRO, A. M. ; ROSIM, S.. Microscopia Computadorizada. Em: SEMISH, 1986, Recife. SEMISH, p. 613-615, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	MASCARENHAS, W. F.; TEIXEIRA, M. A.. A note on unimodal maps with infinitely many attractors. Portugaliae Mathematica. v. 43, n. 4, issn: 00325155, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	OKUDA, K. ; SONG, S. W.. Um Algoritmo de Multiplicacao de Matrizes Para Implementacao Em Vlsi. Em: I CONGRESSO DA SOCIEDADE BRASILEIRA DE MICROELETRONICA, p. 383-393, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	SANTELLANO, J. ; BARRERA, Junior. Sistemas de Processamento de Imagens. Em: Simpósio Brasileiro do Microfilme, 1986. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	SETZER, V.W. Bancos de Dados: Conceitos, Modelos, Gerenciadores, Projeto Lógico e Projeto Físico. 3 ed. São Paulo: Edgard Blücher, 1986. p. 289. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	SETZER, V.W. Projeto Lógico e Projeto Físico de Bancos de Dados. Belo Horizonte: V Escola de Computação. Projeto Lógico e Projeto Físico de Bancos de Dados. Belo Horizonte: V Escola de Computação, 1986. p. 287. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
13.	SONG, S. W. Algoritmos VLSI. Em: SBC. (Org.). Jornada de Atualizacao em Informatica. : SBC. 1986.p. 1-80. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	STERN, J. M. Fatoração LU e Aplicações. São Paulo-SP: IME-USP. 1986. Relatório Técnico [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1985

1.	BARROS, L. N.; Pereira, A. E. C.. Anatomia de um Sistema Perito. Em: 2o Simpósio Brasileiro de Inteligência Artificial, v. 1, p. 81-84, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	FEOFILOFF, P. Transversais de cortes orientados em grafos bipartidos. Em: XV Coloquio Brasileiro de Matematica, p. 127-137, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	GUICHOU, C. ; BARRERA, Junior. Um instrumento de análise de imagens: por computadora morfologia matemática. Em: SEMISH, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	GUICHOU, C. ; BARRERA, Junior. Morfologia em tom de cinza. Em: Simpósio Brasileiro de Inteligência Artificial, 1985, São José dos Campos. Simpósio Brasileiro de Inteligência Artificial, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	LINS, S. L. S. ; MANDEL, A.. Graph-Encoded 3-Manifolds.. Discrete Mathematics. v. 57, p. 261-284, issn: 0012365X, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	MANDEL, A. Desigualdades Lineares: Uma Visao Combinatoria.. IMPA. Desigualdades Lineares: Uma Visao Combinatoria.. IMPA, 1985. p. 00095. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	MASCARENHAS, W. F. Sobre as aplicações de Lorenz. Em: XIV Colóquio Brasileiro de Matemática, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	MELO, I. S. H. ; SONG, S. W.. Reconhecimento de Linguagens Regulares Por Standard Cells. Em: V SIMPOSIO BRASILEIRO DE MICROELETRONICA, p. 373-382, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	SONG, S. W. Disposicoes Compactas de Arvores No Plano. Em: II SIMPOSIO BRASILEIRO DE CONCEPCAO DE CIRCUITOS INTEGRADOS, p. 16-26, 1985. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1984

1.	DURHAM, A. M.; SETZER, V. W.. Um Sistema Gráfico Para Micros com Particionamento em Janelas Virtuais. Em: IV Simpósio Brasileiro de Software, 1984. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	HUMES C. Uma conversa sôbre computação. Revista do Professor de Matemática, São Paulo, p. 17-22, 10 ago. 1984. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	HUMES C.; Ruggiero. A recursive design method for centralized computer networks. Mathematical Programming Studies. p. 185-194, 1984. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	KOBAYASHI, N. Properties of equality sets of codes. Em: Sessão regular da Academia Brasileira de Ciências, 1984, São Paulo. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 56, p. 352-353, 1984. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	SETZER, V.W. Manifesto contra o Uso de Computadores no Ensino de 1o. Grau. São Paulo: Editora Antroposófica. Manifesto contra o Uso de Computadores no Ensino de 1o. Grau. São Paulo: Editora Antroposófica, 1984. p. 28. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SIMON, I. Word Ramsey theorems. Em: Bela Bollobás. (Org.). Graph Theory and Combinatorics: a volume in honor of Paul Erdös. London. : Academic Press. 1984.p. 283-291. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	SONG, S. W. Algoritmos Paralelos e Arquitetura VLSI. SAO PAULO: IV ESCOLA DE COMPUTACAO. Algoritmos Paralelos e Arquitetura VLSI. SAO PAULO: IV ESCOLA DE COMPUTACAO, 1984. p. 00106. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1983

1.	BARRERA, Junior; KOHN, A. F.. Simulação de redes neurais usando computador digital. Em: Reunião Anual da SBPC, 1983, Campinas. Reunião Anual da SBPC, 1983. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	Gonçalves, J. Z. ; MANDEL, A.. Free K-Tuples In Linear Groups.. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY.. v. 28, n. 2, p. 152-157, 1983. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	MANDEL, A. Alguns Problemas de Enumeracao Em Geometria. Em: ATAS DO XIV COLOQUIO BRASILEIRO DE MATEMATICA, p. 0-0, 1983. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	SETZER, V.W.; Lapyda, R.. Design of data models for the ADABAS system using the E-R approach. Em: Entity-Relationship Approach to Information Modeling and Analysis., p. 321-338, 1983. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	SIMON, I.; SAKAROVITCH, J.. Subwords. Em: M. Lothaire. (Org.). Combinatorics on Words. Reading. : Addison-Wesley. 1983.p. 105-144. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SONG, S. W. A Survey And Taxonomy Of Database Machines. Em: W. Kim; D. Batory; A. Hevner; R. Katz; D. Reiner. (Org.). DATABASE ENGINEERING VOL. I. WASHINGTON D.C. : IEEE COMPUTER SOCIETY PRESS. 1983.p. 0005-0015. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	SONG, S. W. Complexidade de E/S e Projetos Optimais de Dispositivos Para Ordenacao. Em: XIV COLOQUIO BRASILEIRO DE MATEMATICA, p. 0-0, 1983. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1982

1.	CORDOVIL, R. ; MANDEL, A. ; VERGNAS, M. L.. Euler's Relation, Mobius Functions And Matroid Identities.. Geometriae Dedicata. v. 12, p. 147-162, issn: 00465755, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	HUMES C. The monotonic Knapsack problem and capacity assignement in computer networks. Em: 11th International Symposium on Mathematical Programming, 1982, Bonn. Abstracts of the 11th ISMP, p. 44-44, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	KUNG, H. T. ; SONG, S. W.. A Systolic 2-D Convolution Chip. Em: K. Preston; L. Uhr. (Org.). MULTI-COMPUTERS AND IMAGE PROCESSING: ALGORITHMS AND PROGRAMS. NEW YORK. : ACADEMIC PRESS. 1982.p. 0373-0384. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	PIN, J. ; SIMON, I.. A note on the triangle conjecture. Journal of Combinatorial Theory. Series A. v. 32, p. 106-109, issn: 00973165, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	SETZER, V.W.; Homem de Melo, I.S.. A Construção de um Compilador. Rio de Janeiro: Campus. A Construção de um Compilador. Rio de Janeiro: Campus, 1982. p. 175. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SONG, S. W. Um Dispositivo Em Forma de Arvore Para Banco de Dados. Em: II SIMPOSIO SOBRE BANCO DE DADOS, p. 401-412, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	TERADA, Routo. A Fast Algorithm For The Euclidean Traveling Salesman Problem. A Fast Algorithm For The Euclidean Traveling Salesman Problem.. SIAM JOURNAL ON COMPUTING. v. 11, n. 1, p. 0-0, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	TERADA, Routo. Complexidade de Detecção de Procedimentos Recursivos. In: XIV COLOQUIO BRASILEIRO DE MATEMATICA, 1982. p. 0-0, 1982. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1981

1.	d'Azevedo Neto ; HUMES C.. A methodology for the definition of data base schema. Em: CORS-TIMS-ORSA Meeting, 1981, Toronto. CORS-TIMS-ORSA Meeting, p. 118-121, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	GROESTCHEL, M. ; Y. WAKABAYASHI. On the structure of the monotone asymmetric travelling salesman polytope II: hypotraceable facets. Mathematical Programming Study. v. 14, p. 77-97, issn: 03033929, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	GROETSCHEL, M. ; Y. WAKABAYASHI. Constructions of Hypotraceable Digraphs. Em: International Congress on Mathematical Programming, p. 147-175, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	GROTSCHEL, M ; WAKABAYASHI, Y.. *On the structure of the monotone asymmetric travelling salesman polytope I: hypohamiltonian facets1**. Discrete Mathematics. v. 34, p. 43-59, issn: 0012365X, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	GURGEL, M. A. M. C. ; Y. WAKABAYASHI. Embedding of Trees. Em: International Congress on Mathematical Programming, p. 177-184, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	HUMES C.; Ruggiero. Optimization tools applied to computer network design: a case study. Em: CORS-TIMS-ORSA Meeting, 1981, Toronto. CORS-TIMS-ORSA Meeting, p. 47-47, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	KUNG, H. T. ; SONG, S. W.. A Systolic 2-D Convolution Chip. Em: WORKSHOP ON COMPUTER ARCHITECTURE FOR PATTERN ANALYSIS AND IMAGE DATABASE MANAGEMENT, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	QUINTANA, V. H. ; COSTA, A. S. ; MANDEL, A.. Power Systems Topological Observability Using A Graph Theoretic Approach.. IEEE PES SUMMER MEETING - PAPER 81 SM 452-2. v. JULY, p. 617-626, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
9.	SETZER, V.W.; Homem de Melo, I.S.. A Construção de um Compilador. Campinas: II Escola de Computação. A Construção de um Compilador. Campinas: II Escola de Computação, 1981. v. 2, p. 280. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
10.	SIMON, I. Linguagens Formais e Autômatos. Campinas: IMECC-UNICAMP. Linguagens Formais e Autômatos. Campinas: IMECC-UNICAMP, 1981. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
11.	SIMON, I. Configurações Combinatórias. Rio de Janeiro: IMPA. Configurações Combinatórias. Rio de Janeiro: IMPA, 1981. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	SONG, S. W. A Survey and Taxonomy of Database Machines. IEEE Database Engineering. v. 4, n. 2, p. 3-13, 1981. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1980

1.	EDMONDS, J. ; LOVASZ, L. ; MANDEL, A.. Solution To Problem In Number 4, Page 250.. MATHEMATICAL INTELLIGENCER.. v. 2, n. 2, p. 106-107, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	GROETSCHEL, M. ; WAKABAYASHI, Y.. Hypohamiltonian digraphs. Mathematical Methods of Operations Research (Heidelberg). v. 36, p. 99-119, issn: 14322994, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	Grötschel, Martin ; Thomassen, Carsten ; WAKABAYASHI, YOSHIKO. Hypotraceable digraphs. Journal of Graph Theory (Print). v. 4, p. 377-381, issn: 03649024, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	HUMES C. A finite version of Kornai-Liptak´s method. Em: V Symposium uber Operations Resarch, 1980, Koln. V Symposium uber Operations Research, p. 32-32, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	HUMES C.; ALII, E.. Uma experiência de ensino auxiliado por computador. Em: XII Simpósio Nacional de Processamento de dados, p. 218-226, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SIMON, I. Conditions de finitude pour des semigroups. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique. v. 290, p. 1081-1082, issn: 07644442, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
7.	SONG, S. W. A Highly Concurrent Tree Machine For Database Applications. Em: 1980 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, p. 259-268, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
8.	SONG, S. W. A Database Machine With Novel Space Allocation Algorithms. Em: MPC79 - MULTI PROJECT CHIP 1979, p. 0-0, 1980. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1979

1.	HUMES C. Uma introdução a Problemas de Grande Porte em Programação Matemática. Em: 12 Colóquio Brasileiro de Matemática, p. 48-65, 1979. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	HUMES C.; Varaiya ; Artle. Division of labor and the distribution of income. Regional Science and Urban Economics. v. 9, n. 1, p. 71-82, 1979. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	KARHUMAKI, J. ; SIMON, I.. A note on elementary homomorphisms and their regularity of equality sets. Leiden: Bulletin of the European Association for Theoretical Computer Science. 1979. artigo em revista sem referee [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	SETZER, V.W. Non-recursive top-down syntax analisys. Software, Practice & Experience. v. 9, p. 233-245, issn: 00380644, 1979. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	SETZER, V.W.; Lapyda, R.. Program development by transformations applied to relational database queries. Em: 5th International Conference on Very Large Data Bases (VLDB), p. 436-443, 1979. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SIMON, I. On Brzozowski's problem: (1+A)m=A*. Em: Irene Guessarian. (Org.). Seminar d'Informatique Théorique. Paris. : LITP. 1979.p. 67-72. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1978

1.	HUMES C. Problemas de grande porte em programação matemática. Em: Carlos Humes Jr.. (Org.). Encontro ga Gávea em Programação Matemática. Rio de Janeiro. : IBM do BRASIL. 1978.. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	HUMES C. Model for the migration of manpower. Anais da Academia Brasileira de Ciências, Rio de Janeiro. v. 50, n.2, p. 263-264, 1978, 1978. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	HUMES C.; Kubrusely (Org.) ; Gonzaga (Org.) ; Bitran (Org.) ; Kelmanson (Org.). Encontro da Gávea de Programação Matemática. Rio de Janeiro: IBM do Brasil. Encontro da Gávea de Programação Matemática. Rio de Janeiro: IBM do Brasil, 1978. v. 1, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	SIMON, I. Limited subsets of a free monoid. Em: Symposium on Foundations of Computer Science, v. 19, p. 143-150, 1978. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
5.	SIMON, I. Alguns problemas típicos na teoria dos grafos. Em: 10o Colóquio Brasileiro de Matemática, 1978. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
6.	SIMON, I.; MURTY, U. S. R.. A beta-function that is not a sum of rank functions of matroids. Em: Problemes Combinatoires et Theorie des Graphs, 1978. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1977

1.	HUMES C. Divion of labor - Simon revisited. Regional Science and Urban Economics. v. 7, n. 3, p. 185-186, 1977. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	KUNG, H. T. ; SONG, S. W.. An Efficient Parallel Garbage Collection System And Its Correctness Proof. Em: XVIII IEEE ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, p. 120-133, 1977. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	LUCCHESI, C. L. ; SIMON, I. ; SIMON, Istvan ; SIMON, Janos ; KOWALTOWSKI, T.. Aspectos Teóricos da Computação. Rio de Janeiro: Livros Técnicos e Científicos Editora. Aspectos Teóricos da Computação. Rio de Janeiro: Livros Técnicos e Científicos Editora, 1977. v. 1, p. 292. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
4.	MANDEL, A.; SIMON, I.. On Finite Semigroups Of Matrices.. Theoretical Computer Science. v. 5, p. 101-111, issn: 03043975, 1977. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1976

1.	SETZER, V.W. O computador como instrumento do cientificismo. Em: I Simpósio Anual da Academia de Ciências do E.S.Paulo, p. 69-88, 1976. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1975

1.	SIMON, I. Piecewise Testable Events. Em: 2nd GI Conference, p. 214-222, 1975. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	VIANNA, B. S. ; REVERBEL, F. ; ALENS, N.. Metodo Simples de Levantamento da Funcao Densidade de Probabilidade de Ruído - Aplicacao Em Projeto de Aparelho Para Deteção de Sinais Cocleares. Em: III Congresso de Engenharia Biomédica, 1975, Rio de Janeiro. Anais do III Congresso de Engenharia Biomédica, 1975. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1973

1.	SIMON, I.; BRZOZOWSKI, J. A.. Characterizations of Locally testable Events. Discrete Mathematics. v. 4, n. 3, p. 243-271, issn: 0012365X, 1973. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1972

1.	HUMES C. Uma generalização do teorema de Hanson-Huard. Em: V Simpósio Brasileiro de Pesquisa Operacional, p. 36-40, 1972. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	SETZER, V. W. ; SIMON, I. ; KOWALTOWSKI, T.. Curso de FORTRAN IV básico. São Paulo: Edgard Blucher e Editora da USP. Curso de FORTRAN IV básico. São Paulo: Edgard Blucher e Editora da USP, 1972. v. 1, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	SETZER, V.W.; Simon, I. ; Kowaltowski, T.. Curso de FORTRAN IV Básico. Stuttgart: Edgard Blücher. Curso de FORTRAN IV Básico. Stuttgart: Edgard Blücher, 1972. p. 120. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1971

1.	SETZER, V.W.; Warlick, C.M.. A unified approach to compiler theory and construction. Em: Information Processing 71 (IFIP), p. 1523-1542, 1971. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	SIMON, I. On the time required by the Davis-Putnam tautology recognition algorithm. Providence: Notices of the American Mathematical Society. 1971. Artigo em revista sem referee [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
3.	SIMON, I.; BRZOZOWSKI, J. A.. Characterizations of Locally Testable Events. Em: 12th Annual Symposium on Switching and Automata Theory, p. 166-176, 1971. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1968

1.	AL, E. S. B. E. ; SIMON, I.. Levels and variations in fertility in São Paulo. Milbank Memorial Fund Quarterly. v. XLVI, n. 3, p. 167-175, 1968. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1967

1.	SIMON, I.; KOWALTOWSKI, T.. Cálculo do rastreio superheterodino. Electron. v. 19, p. 17-21, 1967. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

1966

1.	SIMON, I.; KOWALTOWSKI, T.. Síntese Moderna de Filtros no Computador, 1a parte. Electron. v. 17, p. 233-237, 1966. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
2.	SIMON, I.; KOWALTOWSKI, T.. Síntese moderna de filtros no computador. Electron. v. 18, p. 285-287, 1966. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

*itens sem ano

1.	A. Goldman. 22° Simpósio Brasileiro de Redes de Computadores. 2004. (Comitê de Programa).. . 0.
2.	A. Goldman. 23º Simpósio Brasileiro de Redes de Computadores. 2005. (Comitê de Programa).. . 0.
3.	A. Goldman. 24º Simpósio Brasileiro de Redes de Computadores. 2006. (Comitê de Programa).. . 0.
4.	A. Goldman. 26º Simpósio Brasileiro de Redes de Computadores. 2007. (Comitê de Programa).. . 0.
5.	A. Goldman. 27º Simpósio Brasileiro de Redes de Computadores. 2008. (Comitê de Programa).. . 0.
6.	A. Goldman. 28º Simpósio Brasileiro de Redes de Computadores. 2009. (Comitê de Programa).. . 0.
7.	A. Goldman. Algoritmos para Computação em Grade. 2003. (Curso de curta duração ministrado/Extensão).. . 0.
8.	A. Goldman. Grades e Nuvens. 2010. (Curso de curta duração ministrado/Extensão).. . 0.
9.	A. Goldman. Introdução a Programação eXtrema. 2002. (Apresentação de Trabalho/Seminário).. . 0.
10.	A. Goldman. Modelos para Computação Paralela. 2003. (Curso de curta duração ministrado/Especialização).. . 0.
11.	A. Goldman. Modelos para Computação Paralela. In: SBC; Unisinos; UFSM; Unilasalle. (Org.). ERAD 2003 - 3 Escola Regional de Alto Desempenho. Porto Alegre: SBC, 2003, v. , p. 35-66.. . Em: . 0.. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
12.	A. Goldman. Métodos Ágeis de Desenvolvimento de Software. 2006. (Curso de curta duração ministrado/Outra).. . 0.
13.	A. Goldman. Scalable Algorithms for Complete Exchange on Multi-Cluster Networks. In: 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02), 2002, Berlin. 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02). New York: IEEE, 2002. p. 286-287.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
14.	A. Goldman. Scheduling communications on a multi-cluster networks. In: New trends in scheduling for parallel and distributed systems, 2001, Marseille - Lumini - CIRM. Book of Abstracts - New trends in scheduling for parallel and distributed systems, 2001.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
15.	BARRERA, Junior. ; A ; decomposition ; theorem ; in ; Mathematical ; Morphology. ; In: ; International ; Simposium ; on ; Mathematical ; Morphology, 1993, Barcelona. ; Mathematical ; Morphology ; and ; its ; applications ; to ; Image ; and ; Signal ; Processing, 1993. ; p. ; 234-237.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
16.	BARRERA, Junior. ; Design ; of ; morphological ; set ; operators ; by ; statistical ; optimization. ; In: ; IEEE-EURASIP ; Workshop ; on ; Nonlinear ; Signal ; and ; Image ; Processing, 1999, Antalia. ; Nonlinear ; Signal ; and ; Image ; Processing ; (NSIP ; '99), 1999. ; p. ; 185-189.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
17.	BARRERA, Junior. ; Estudo ; da ; proliferação ; celular ; por ; análise ; de ; imagens. ; In: ; Simpósio ; Brassileiro ; de ; Computação ; Gráfica ; e ; Processamento ; de ; Imagens, 1991, Sãao ; Paulo. ; SIBGRAPI ; '91, 1991. ; p. ; 201-212.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
18.	BARRERA, Junior. A mathematical morphology toolbox for Matlab. Electronic Imaging, SPIE/IS T. International Technical Working Group Newsletter, , v. 8, 01 jan. 1998.. . . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
19.	BARRERA, Junior. Equívoco na Definição das faixas etárias na base. Cidade do Futebol, Cidade do Futebol.. . . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
20.	BARRERA, Junior. Morfologia Matematica: teoria, sistemas e aplicacoes. Sao Paulo: IME-USP, 1998 (Sistematizacao de atividades para livre doscencia).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
21.	BARRERA, Junior. O ingresso de estudantes na USP: um problema estratégico para o desenvolvimento nacional. Jornal da USP, USP - São Paulo, p. 2 - 2, 01 fev. 2016.. . . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
22.	BARRERA, Junior. Processamento Digital de Imagens. Sao Jose dos Campos: INPE, 1985 (Relatorio tecnico).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
23.	BARRERA, Junior. Simulação Digital de Redes Neurais. In: SEMISH, 1983, Campinas. SEMISH, 1983. p. 551-555.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
24.	BARRERA, Junior. Um modelo de inteligência do jogador de futebol. Cidade do Futebol.. . . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
25.	BARRERA, Junior. Uma abordagem unificada para os problemas de processamento digital de imagens: a morfologia matematica. Sao Jose dos Campos: INPE, 1987 (Dissertacao de mestrado).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
26.	BARRERA, Junior. Uma abordagem unificada para os problemas de visao computacional: a Morfologia Matematica. Sao Jose dos campos: INPE, 1992 (Tese de doutorado).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
27.	CESAR JUNIOR, R. M. Olhos nos Olhos: Ensinando o Computador a Reconhecer Pessoas. Ciência Hoje, , v. 29, p. 24-29, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
28.	DA ; SILVA, FLAVIO. ; Philosophy ; of ; Information: ; Views ; and ; Reflections ; on ; the ; Work ; of ; Luciano ; Floridi. ; Information, v. ; 4, p. ; 31-32, 2013.. Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information. v. 4, issn: 20782489, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
29.	DIAS, L. A. V. ; C NETO, G. ; BARRERA, Junior ; SOUZA, R. C. M.. Imagens e computadores: uma nova fronteira. Ciência Hoje, , v. 7 - 37, p. 35-44, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
30.	Ferreira, Joao Eduardo. Fourth International Workshop on Scientific Workflows. 2010. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
31.	Ferreira, Joao Eduardo. Reducing Exception Handling Complexity in Business Process Modeling and Implementation: the WED-Flow Approach. 2010. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
32.	Ferreira, Joao Eduardo. Transaction Processing for e-Science Applications. 2012. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
33.	Ferreira, Joao Eduardo. Transactional Recovery Support for Robust Exception Handling in Business Process Services. 2012. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
34.	Finger, M. ; A ; logical ; reconstruction ; of ; temporal ; databases. ; Journal ; of ; Logic ; and ; Computation ; (Print), v. ; 10, n.6, p. ; 847-876, 2000.. A logical reconstruction of temporal databases. Journal of Logic and Computation (Print). v. 10, issn: 0955792X, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
35.	Finger, M. ; Towards ; structurally-free ; theorem ; proving. ; Logic ; Journal ; of ; the ; IGPL, v. ; 6, n.3, p. ; 425-449, 1998.. Towards structurally-free theorem proving. Logic Journal of the IGPL. v. 6, issn: 13670751, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
36.	Finger, Marcelo. ; Towards ; automated ; first-order ; abduction: ; the ; cut-based ; approach. ; Logic ; Journal ; of ; the ; IGPL ; (Print), v. ; 20, p. ; 370-387, 2012.. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print). v. 20, issn: 13670751, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
37.	Finger, Marcelo. ; Using ; Abduction ; to ; Compute ; Efficient ; Proofs. ; In: ; Third ; Workshop ; on ; Logical ; and ; Semantic ; Frameworks ; with ; Applications ; (LSFA ; 2008), 2009, Salvador. ; Electronic ; Notes ; in ; Theoretical ; Computer ; Science, 2008. ; v. ; 247. ; p. ; 39-49.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
38.	Finger, Marcelo. Ciência da Computação e Sociedade:Imensidão, Precisão e Humanização. Revista de Sistemas de Informação da FSMA, 19 dez. 2911.. . . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
39.	FUJITA, A. Todos pela inovação. Computação Brasil, p. 17-17, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
40.	Fujita, Andre. Systems biology and systems neuroscience: methods and applications. 2014. (Apresentação de Trabalho/Seminário).. . 0.
41.	Fujita, André. Granger causality and extensions of vector autoregressive models: applications and challenges. 2011. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
42.	Fujita, André. Systems Biology: another point of view. 2011. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
43.	GUBITOSO, M. D. A guerra sem fim dos caça-vírus: Existem cerca de 70 000 pragas virtuais na rede, o dobro do que havia um ano atrás (Entrevista). Veja Vida Digital, São Paulo, . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
44.	HIRATA, N. ; A ; switching ; algorithm ; for ; design ; of ; optimal ; increasing ; binary ; filters ; over ; large ; windows. ; Pattern ; Recognition, v. ; 33, p. ; 1059-1081, 2000.. A switching algorithm for design of optimal increasing binary filters over large windows. Pattern Recognition. v. 33, issn: 00313203, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
45.	MAUÁ, DENIS ; DERATANI. ; Equivalences ; between ; maximum ; a ; posteriori ; inference ; in ; Bayesian ; networks ; and ; maximum ; expected ; utility ; computation ; in ; influence ; diagrams. ; International ; Journal ; of ; Approximate ; Reasoning, p. ; 211-229, 2015.. Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams. International Journal of Approximate Reasoning. issn: 0888613X, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
46.	MELO, Ana ; C. ; V. ; de. ; A ; study ; on ; the ; Potential ; Active ; Names ; and ; Verification ; Techniques. ; In: ; VI ; Workshop ; de ; Métodos ; Formais, 2003, Campina ; Grande. ; Proceedings ; of ; the ; VI ; Workshop ; of ; Formal ; Methods, 2003.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
47.	MELO, Ana ; C. ; V. ; de. ; Minimising ; Communications ; of ; Synchronous ; Hardware. ; In: ; 6th ; IEEE ; International ; Conference ; on ; Electronics, Circuits ; and ; Systems, 1999, Paphos. ; Proceedings ; os ; ICECS'99. ; Paphos ; - ; Cyprus: ; IEEE ; Computer ; Press, 1999.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
48.	MELO, Ana ; C. ; V. ; de. ; On ; the ; algebraic ; reuse ; of ; hardware ; design. ; In: ; 1998 ; IEEE ; International ; Symposium ; on ; Circuits ; and ; Systems, 1998, Monterey. ; On ; the ; algebraic ; reuse ; of ; hardware ; design, 1998. ; v. ; 6. ; p. ; 306-310.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
49.	MELO, Ana ; C. ; V. ; de. ; Pi-Calculus ; Rewriting ; Rules ; Based ; on ; Active ; Names. ; In: ; SBMF2004: ; 7th ; Brazilian ; Symposium ; on ; Formal ; Methods, 2004, Recife. ; SBMF2004: ; 7th ; Brazilian ; Symposium ; on ; Formal ; Methods, 2004.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
50.	MELO, Ana ; C. ; V. ; de. ; Process ; Algebras ; and ; Logic; ; a ; perspective ; on ; formal ; methods. ; In: ; I ; Workshop ; de ; Métodos ; Formais, 1998, Porto ; Alegre. ; Anais ; do ; I ; Wokshop ; de ; Métodos ; Formais. ; Porto ; Alegre ; - ; RS ; - ; Brasil: ; UFRGS, 1998.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
51.	MELO, Ana ; C. ; V. ; de. ; Towards ; Formal ; Reuse ; of ; Hardware ; Components. ; In: ; International ; Conference ; on ; Modelling ; and ; Simulation, 1997, Pittsburgh. ; IASTED/ISMM ; - ; Int. ; Conf. ; Modeling ; and ; Simulation, 1997. ; p. ; 447-451.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
52.	MELO, Ana C. V. de. A foundation for formal reuse of hardware. 1995. (Apresentação de Trabalho/Congresso).. . 0.
53.	MELO, Ana C. V. de. A study on the potential active names of pi-calculus. 2003. (Apresentação de Trabalho/Congresso).. . 0.
54.	MELO, Ana C. V. de. Brazilian Research on Computer Science. 2007. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
55.	MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. (Apresentação de Trabalho/Congresso).. . 0.
56.	MELO, Ana C. V. de. FM Education and Research. 2008. (Apresentação de Trabalho/Simpósio).. . 0.
57.	MELO, Ana C. V. de. Formal Reuse of Hardware Design. Manchester - UK: University of Manchester, 1995 (relatório técnico - universidade).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
58.	MELO, Ana C. V. de. Minimisation of Synchronous Processes Preserving Bisimulation. 1997. (Apresentação de Trabalho/Congresso).. . 0.
59.	MELO, Ana C. V. de. Mobile Agents: Formal Development. 2005. (Apresentação de Trabalho/Seminário).. . 0.
60.	MELO, Ana C. V. de. On the algebraic reuse of hardware design. 1998. (Apresentação de Trabalho/Congresso).. . 0.
61.	MELO, Ana C. V. de. On the formal specification and verification of mobile agents. 2000. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
62.	MELO, Ana C. V. de. Pesquisa em Engenharia de Software. 2003. (Apresentação de Trabalho/Seminário).. . 0.
63.	MELO, Ana C. V. de. Pi-Calculus Rewriting Rules Based on Active Names. 2004. (Apresentação de Trabalho/Congresso).. . 0.
64.	MELO, Ana C. V. de. Process algebras and logic; a perspective on formal methods. 1998. (Apresentação de Trabalho/Congresso).. . 0.
65.	MELO, Ana C. V. de. Projetos de Pesquisa em Desenvolviemnto Formal de Software. 2003. (Apresentação de Trabalho/Seminário).. . 0.
66.	MELO, Ana C. V. de. Reutilização de sofware. 2003. (Apresentação de Trabalho/Congresso).. . 0.
67.	MELO, Ana C. V. de. Reutilização formal de procesos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
68.	MELO, Ana C. V. de. Reutilização formal de processos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
69.	MELO, Ana C. V. de. Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
70.	MELO, Ana C. V. de. Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
71.	MELO, Ana C. V. de. Specification and Verification of Mobile Agents usign pi-calculus (tutorial). In: VI Workshop on Formal Methods, 2003, Campina Grande. Proceedings of the VI Workshop on Formal Methods, 2003.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
72.	MELO, Ana C. V. de. Towards Formal reuse of hardware components. 1997. (Apresentação de Trabalho/Congresso).. . 0.
73.	MELO, Ana C. V. de. Álgebra de processos e lógica: desenvolvimento formal de sistemas reativos. 1999. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
74.	Queiroz, M. ; A ; heuristic ; for ; the ; continuous ; capacity ; and ; flow ; assignment. ; European ; Journal ; of ; Operational ; Research, Amsterdam, v. ; 146, n.3, p. ; 444-459, 2003.. A heuristic for the continuous capacity and flow assignment. European Journal of Operational Research. v. 146, issn: 03772217, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
75.	Queiroz, M. ; On ; finding ; global ; optima ; for ; the ; hinge ; fitting ; problem. ; Computers ; Operations ; Research, Oxford, v. ; 31, n.1, p. ; 101-122, 2004.. On finding global optima for the hinge fitting problem. Computers & Operations Research. v. 31, issn: 03050548, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
76.	Queiroz, M. ; The ; projected ; pairwise ; multicommodity ; flow ; polyhedron. ; Applied ; Mathematics ; Letters, Oxford, v. ; 14, p. ; 443-448, 2001.. The projected pairwise multicommodity flow polyhedron. Applied Mathematics Letters. v. 14, issn: 08939659, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
77.	Queiroz, M. Computação Musical e Aplicações (Palestra de Divulgação). 2013. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
78.	Soares, José. ; Approximating ; Euclidean ; distances ; by ; small ; degree ; graphs. ; Discrete ; Computational ; Geometry, v. ; 11, p. ; 213-233, 1994.. Approximating Euclidean distances by small degree graphs. Discrete & Computational Geometry. v. 11, issn: 01795376, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
79.	STERN, J. M.; J. M. Stern et al ; Métodos de Otimização em Finanças. Goiânia: XIX Congresso Nacional de Matemática Aplicada e Computacional, 1996. 140p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
80.	STERN, J. M.; J. M. Stern et al ; Otimização e Processos Estocásticos Aplicados à Economia e Finanças. Florianópolis: 51º Seminário Brasileiro de Análise, 2000. 395p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
81.	Stern, Julio ; Michael. ; Constructive ; Verification, Empirical ; Induction, and ; Falibilist ; Deduction: ; A ; Threefold ; Contrast. ; Information, v. ; 2, p. ; 635-650, 2011.. Constructive Verification, Empirical Induction, and Falibilist Deduction: A Threefold Contrast. Information. v. 2, issn: 20782489, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
82.	Stern, Julio ; Michael. ; Jacob's ; Ladder ; and ; Scientific ; Ontologies. ; Cybernetics ; Human ; Knowing, v. ; 21, p. ; 9-43, 2014.. Jacob's Ladder and Scientific Ontologies. Cybernetics & Human Knowing. v. 21, issn: 09070877, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
83.	Stern, Julio Michael. Ética e Planejamento Estatístico em Ensaios Clínicos. 2014. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
84.	Stern, Julio Michael. Ética e Planejamento Estatístico em Ensaios Clínicos. 2015. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
85.	TERADA, Routo. ; A ; cryptographic ; function ; based ; on ; majority ; circuits. ; In: ; Symp. ; of ; Cryptography ; and ; Information ; Security, 1990, Nihondaira, Japão. ; Proc. ; of ; the ; 1990 ; Symp. ; of ; Cryptography ; and ; Information ; Security. ; Tóquio: ; IEICE ; - ; Inst. ; of ; Electronics, Information, and ; Communication ; Eng, 1990. ; v. ; B. ; p. ; 1-13.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
86.	TERADA, Routo. ; A ; Cryptographic ; Function ; Based ; On ; Majority ; Circuits. ; Transactions ; of ; the ; Institute ; of ; Electronics, Information, and ; Communication ; Engineers ; -- ; Japan, Japao, v. ; E, n.73, p. ; 1036-1040, 1990.. A Cryptographic Function Based On Majority Circuits. Transactions of the Institute of Electronics, Information, and Communication Engineers -- Japan. v. E, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
87.	TERADA, Routo. ; A ; new ; version ; of ; FEAL, stronger ; against ; Diferential ; cryptanalysis. ; Transactions ; of ; the ; Institute ; of ; Electronics, Information ; and ; Communication ; Engineers, Japão, v. ; E79-A, n.1, p. ; 28-34, 1996.. A new version of FEAL, stronger against Diferential cryptanalysis. Transactions of the Institute of Electronics, Information and Communication Engineers. v. E79-A, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
88.	TERADA, Routo. ; Algoritmos ; Rapidos ; Para ; Ordenacao ; Em ; Paralelo. ; In: ; X ; CONGRESSO ; NACIONAL ; DE ; MATEMATICA ; APLICADA, 1987. ; COMPUTACIONAL ; - ; SBMAC. ; p. ; 0-0.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
89.	TERADA, Routo. ; Automatic ; Programming ; of ; Morphological ; Machines ; by ; PAC ; Learning. ; Fundamenta ; Mathematicae, EATCS ; IOS ; Press, v. ; 41, n.1, p. ; 229-258, 2000.. Automatic Programming of Morphological Machines by PAC Learning. Fundamenta Mathematicae. v. 41, issn: 00162736, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
90.	TERADA, Routo. ; Classes ; de ; Computacao ; Paralela. ; In: ; I ; SIMPOSIO ; BRASILEIRO ; DE ; ARQUITETURA ; DE ; COMPUTADORES ; - ; SBC, 1987. ; p. ; 0-0.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
91.	TERADA, Routo. ; Criptografia ; para ; Usuarios ; em ; ATM. ; In: ; VII ; CONGRESSO ; NACIONAL ; DE ; AUDITORES ; INTERNOS, 1984, Manaus, Amazonas. ; VII ; CONGRESSO ; NACIONAL ; DE ; AUDITORES ; INTERNOS, 1984. ; p. ; 0-0.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
92.	TERADA, Routo. ; Probabilistic ; Analysis ; Of ; Optimal ; Algoritmms ; For ; Three ; Np-Hard ; Problems. ; In: ; XIII ; Internat´l ; Symp. ; Math. ; Programming, 1988, Tokyo. ; XIII ; Internat´l ; Symp. ; Math. ; Programming. ; Tokyo, Japão: ; Chuo ; University, 1988. ; p. ; 1-16.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
93.	TERADA, Routo. ; Solucoes ; de ; Zero-Knowledge ; Para ; Problemas ; de ; Identificacao ; Criptografica. ; In: ; XXI ; CONGRESSO ; NACIONAL ; DE ; INFORMÁTICA, 1988. ; XXI ; CONGRESSO ; NACIONAL ; DE ; INFORMÁTICA, 1988. ; p. ; 0-0.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
94.	TERADA, Routo. ; The ; incremental ; splitting ; of ; intervals ; algorithm. ; In: ; Internatl ; Symp ; of ; Mathematical ; Morphology, 2002, Sydney. ; Proceedings ; of ; the ; Internatl ; Symp ; of ; Mathematical ; Morphology ; 2002, 2002.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
95.	TERADA, Routo. ; The ; Security ; of ; RDES ; cryptosystem ; against ; Linear ; Cryptanalysis. ; Transactions ; of ; the ; Institute ; of ; Electronics, Information ; and ; Communication ; Engineers, Japão, v. ; E79-A, n.1, p. ; 12-19, 1996.. The Security of RDES cryptosystem against Linear Cryptanalysis. Transactions of the Institute of Electronics, Information and Communication Engineers. v. E79-A, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
96.	TERADA, Routo. An IBE Scheme to exchange authenticated secret keys. 2004. (Apresentação de Trabalho/Conferência ou palestra).. . 0.
97.	TERADA, Routo. An OCR based on Morphological Operators. In: Internat´l Soc. for Optical Engineering. (Org.). Annual Symp. on Electronic Imaging. : , 1998, v. , p. 24-29.. . Em: . 0.. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
98.	TERADA, Routo. An Optimal Algorithm for Set Packing and its Analysis. In: 3rd. SIAM Conference on Discrete Mathematics, 1986, Clemson, S. Carolina. Proc. Third SIAM Conference on Discrete Mathematics, 1986. v. A20. p. 11-12.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
99.	TERADA, Routo. Desenvolvimento de Algoritmos e Complexidade de Computacao. RIO DE JANEIRO: PONTIF. UNIV. CATOLICA, 1982. 230p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
100.	TERADA, Routo. Desenvolvimento de algoritmos e estrutura de dados. São Paulo: McGraw-Hill, 1991. v. 1. 252p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
101.	TERADA, Routo. Introdução 'a complexidade de algoritmos paralelos. 1. ed. São Paulo: Escola de Computação, 1990. v. 1. 231p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
102.	TERADA, Routo. Segurança de Dados. 1. ed. São Paulo: Blucher, 2000. v. 1. 242p .. . 0. . [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
103.	Wassermann, Renata. ; On ; AGM ; for ; Non-Classical ; Logics. ; Journal ; of ; Philosophical ; Logic, v. ; 40, p. ; 271-294, 2011.. On AGM for Non-Classical Logics. Journal of Philosophical Logic. v. 40, issn: 00223611, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
104.	Y. ; WAKABAYASHI. ; Adjacency ; of ; vertices ; on ; the ; clique ; partititoning ; polytope. ; Scientia ; (Valparaíso), Valparaiso, Chile, v. ; 3, p. ; 111-119, 1989.. Adjacency of vertices on the clique partititoning polytope. Scientia (Valparaíso). v. 3, issn: 00368679, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
105.	Y. ; WAKABAYASHI. ; The ; complexity ; of ; computing ; medians ; of ; relations. ; Resenhas ; do ; Instituto ; de ; Matematica ; e ; Estatistica ; da ; Universidade ; de ; Sao ; Paulo ; (Cessou ; em ; 2005. ; Cont. ; ISSN ; 1982-6907 ; São ; Paulo ; Journal ; of ; Mathematical, Sao ; Paulo, SP, v. ; 3, n.3, p. ; 323-349, 1998.. The complexity of computing medians of relations. Resenhas do Instituto de Matematica e Estatistica da Universidade de Sao Paulo (Cessou em 2005. Cont. ISSN 1982-6907 São Paulo Journal of Mathematical. v. 3, issn: 01043854, 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
106.	Y. WAKABAYASHI. Aggregation of Binary Relations: Algorithmic and Polyhedral Investigations 1986 (Tese de Doutorado).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
107.	Y. WAKABAYASHI. Contribuição a Teoria dos Grafos e Otimização Combinatória 1995 (Monografia - Concurso de Livre-docência- USP).. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
108.	Y. WAKABAYASHI. Partição de um Conjunto em Classes Homogêneas: Algoritmo e Aplicações. In: X Congresso Nacional de Matematica Aplicada e Computacional (CNMAC), 1987, Gamado. Anais do X Congresso Nacional de Matematica Aplicada e Computacional (CNMAC). Gramado, RS, 1987.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]
109.	Y. WAKABAYASHI. The Complexity of Computing Medians of Relations. In: IX Congresso Latino-iberoamericana de Investigacion Operativa, 1998, Buenos Aires. Anais do IX CLAIO. Buenos Aires, Argentina, 1998.. . 0. [ citações Google Scholar \| citações Microsoft Acadêmico \| busca Google ]

Data de processamento: 31/03/2016 13:54:45