| 1. | Finger, Marcelo. Coluna na Rádio Eldorado: Inteligência Artificial nas Ondas do Rádio. 2023. |
| 2. | KON, F.; MEIRELLES, PAULO. BikeSP App. 2023. |
| 1. | BRANDÃO, LEÔNIDAS DE OLIVEIRA; BRANDÃO, ANAROSA ALVES FRANCO ; NASCIMENTO, M. D.. iVProg4all: introdução à programação inclusiva. 2022. |
| 2. | BRANDÃO, LEÔNIDAS; DUBOC, A. P. M.. Alfabetiza: jogo para alfabetização inicial. 2022. |
| 1. | A. Goldman. Hub USP de Inovação. 2020. |
| 2. | OLIVEIRA, A. A. A. M. ; HIRATA JR., R. . INACITY. 2020. |
| 3. | PINHEIRO, E. ; PEREIRA, G. ; STANKUS, L. ; CARLOS, G. ; MANZO, R. ; KON, FABIO ; Paulo Meirelles . HealthDashboard. 2020. |
| 1. | ABUD, L. M. E. ; BRAGHETTO, K. R. ; CORDEIRO, R. . Sistema Florestas. 2019. |
| 2. | Finger, Marcelo. Como evitar a bolha dos algoritmos na internet?. 2019. (Programa de rádio ou. 2019. |
| 3. | Finger, Marcelo. Google lança nova ferramenta de busca para dados científicos. 2019. (Programa de rádio ou. 2019. |
| 4. | Finger, Marcelo. 'Robôs não têm um detector de coerência', diz pesquisador. 2019. (Programa de rádio ou. 2019. |
| 5. | Finger, Marcelo. Brasil precisa debater ética e direitos humanos em IA. 2019. (Programa de rádio ou. 2019. |
| 6. | Finger, Marcelo. Jornal Nacional -- Serie de reportagem sobre Intelugência Artificial. 2019. |
| 7. | Finger, Marcelo. Band News: Aqui tem vaga -- Inteligencia Artificial. 2019. |
| 8. | KON, F. HealthDashboard: A Urban Public Health Geospatial Visualization Platform. 2019. |
| 9. | KON, F.; FERREIRA, E. C. ; SOUZA, H. A.. BikeScience - Urban Mobility Analytics. 2019. |
| 10. | MAGANO, F. C. ; BRAGHETTO, K. R. . Dataflow-Mapper. 2019. |
| 11. | SCATTONE, F. F. ; BRAGHETTO, K. R. . CEP-Worker. 2019. |
| 1. | BRANDÃO, LEÔNIDAS; FELIX, I. M. ; Souza, Lucas Mendonça de. iVProg: Programaçao Visual interativa na Internet. 2018. |
| 2. | ESPOSTE, A. ; KON, F.. InterSCity Platform for Smart City application development. 2018. |
| 3. | Finger, Marcelo. LIPSAT: Probabilistic Satisfiability over Lukasiewicz Infinitely valued Logic. 2018. |
| 4. | Finger, Marcelo. O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou. 2018. |
| 5. | Finger, Marcelo. Inteligência artificial não substituirá o professor, diz especialista Marcelo Finger afirmou também que noções sobre sistemas de computação devem ser ensinadas desde a infância, no começo do aprendizado. 2018. (Programa de rádio ou. 2018. |
| 6. | Finger, Marcelo. Você sabe (de verdade) o que é big data?. 2018. (Programa de rádio ou. 2018. |
| 7. | SANTANA, E. Z. ; KON, F.. InterSCimulator: Highly-Scalable Smart City Simulator. 2018. |
| 1. | FINGER, M. CQU-SAT: a SAT-solver for Counting Quantifiers over Unary Predicates. 2017. |
| 2. | Finger, M; COZMAN, F. G.. Inteligência artificial à brasileira. 2017. (Programa de rádio ou. 2017. |
| 3. | Finger, Marcelo. Inteligência artificial precisa ser debatida por toda a sociedade, recomenda professor da USP. 2017. (Programa de rádio ou. 2017. |
| 4. | WATANABE, E. N. ; BRAGHETTO, K. R.. Scientific Workflows on Clouds (SciWonC). 2017. |
| 1. | Mascarenhas, W.F. Moore: Interval arithmetic in modern C++. 2016. |
| 1. | HANAZUMI, S.. MCDC-JPF: casos de teste MCDC para propriedaes padrão. 2015. |
| 1. | ANICHE, MAURICIO FINAVARO ; GEROSA, M.A.. Metric Miner: Ferramenta de apoio à mineração de repositórios. 2014. |
| 2. | BRAGHETTO, K. R.; Vargas, C.D. ; ROCHA, E. ; RIBAS, C. ; MORAES, L. C. ; NASCIMENTO, A. S. ; MORI, Y. ; SANTOS, C. R. N. ; OLAZAR, M. R.. NES - Neuroscience Experiments System. 2014. |
| 3. | BRANDÃO, L. O.; Faria, T. ; Nomura, Gabriel Eiji. iVProgH5: Programação Visual Interativa na Internet. 2014. |
| 4. | BRANDÃO, L. O.; RIBEIRO, R. S.. iVProg2: Programação Visual Interativa na Internet. 2014. |
| 5. | HANAZUMI, S. ; Corina S. Pasareanu ; de Melo, Ana C. V.. LTL2JPF - geração de propriedades padrão. 2014. |
| 6. | Martins, Alexandre Locci ; de Melo, Ana C. V.. WebMCDC - geração de requisitos de teste MCDC. 2014. |
| 7. | MAUÁ, D. D. kPu: A local search solver for limited memory influence diagrams. 2014. |
| 8. | MAUÁ, D. D. iHMM: A C++ library for inference in hidden Markov models with imprecise parameters. 2014. |
| 9. | MEIRELLES, Paulo. Portal do Software Público Brasileiro. 2014. |
| 10. | ROZESTRATEN, A.S. ; GEROSA, M.A.. Smart Audio City Guide: Um aplicativo para dispositivos móveis para apoio à mobilidade urbana de deficientes visuais. 2014. |
| 1. | Fernandez, C. A.. SWPDC: o Software Piloto Embarcado no Payload Data Handling Computer - versão Java. 2013. |
| 2. | Finger, Marcelo. Inteligência artificial é tema de estudo de Marcelo Finger. 2013. (Programa de rádio ou. 2013. |
| 3. | ISSARNY, V. ; HAMIDA, A. ; GEORGANTAS, N. ; BERTOLINO, A. ; AUTILI, M. ; MADEN, N. ; KON, F.. Choreos middleware for the enactment of large-scale web service compositions. 2013. |
| 4. | Sanner, Scott ; ZAMANI, Z. ; Delgado, Karina Valdivia ; Vianna, Luis G. R. ; BARROS, L. N.. Implementation of Extended ADDs (XADDs) and XADD-based inference algorithms. 2013. |
| 1. | AGUILAR, F. D. J. ; Hirata, Nina S. T.. ExpressMatch (http://code.google.com/p/express-match/). 2012. |
| 2. | BESSON, F. ; KON, F.. Reharsal Distributed Testing Framework. 2012. |
| 3. | Finger, Marcelo. Em busca do computador inteligente. 2012. (Programa de rádio ou. 2012. |
| 4. | Hirata, Nina S. T. TRIOS -- Training Image Operators from Samples (http://trioslib.sourceforge.net/). 2012. |
| 5. | NAGASAKI, MASAO ; FUJITA, A. ; Miyano, Satoru . XiP. 2012. |
| 1. | BRAGHETTO, K. R.. BP2SAN. 2011. |
| 2. | De Bona, Glauber ; Finger, Marcelo. PSAT resolvedor de Satisfatibilidade Probabilística. 2011. |
| 3. | DELGADO, K. V.; BARROS, L. N. ; SANNER, S.. Tools to Simulate and Solve Markov Decision Processes with Imprecise Probability (MDP-IP). 2011. |
| 4. | FERREIRA, J. E.; DUARTE G. L. ; LIMA, A. M. ; KAMAURA, L. T. ; MULLER, R. ; CINTHO, M.. DIDB - Diagnostics Interview Database. 2011. |
| 5. | MEIRELLES, P. ; OLIVEIRA FILHO, C. M. ; TERCEIRO, A. ; KON, F.. Mezuro: collaborative platform for source code metrics analysis. 2011. |
| 6. | MEIRELLES, Paulo; TERCEIRO, A. ; MORAIS, C. . Mezuro. 2011. |
| 7. | ROZESTRATEN, A.S. ; GEROSA, M. A. ; MARTINEZ, M. L.. Arquigrafia: uma rede social para compartilhamento de imagens. 2011. |
| 1. | ARAÚJO, L. V. ; FERREIRA, J. E. ; SABINO, E. C. . HIV Dag. 2010. |
| 2. | ARAÚJO, L. V. ; FERREIRA, J. E. ; Ortega, M. CEGH System: GENETIC TESTING MANAGEMENT IN HUMAN GENOME INFORMATION SYSTEMS. 2010. |
| 3. | FERREIRA, J. E.; KAMAURA, L. T. ; MULLER, R. ; COLLI, E. . Colmeia. 2010. |
| 4. | Nagasaki, M. ; Fujita, André ; Miyano, Satoru . MACPAK. 2010. |
| 1. | Andrade, R. ; BIRGIN, E. G. ; Martínez, L. ; MARTÍNEZ, J. M.. PACKMOL: A package for building initial configurations for molecular dynamics simulations. 2009. |
| 2. | B. Klava ; HIRATA, N. S. T.. SegmentIt (http://segmentit.sourceforge.net/). 2009. |
| 3. | BRANDÃO, L. O.; Eisenmann, Alexandre Luís Kundrát. iComb: Combinatória Interativa na Internet. 2009. |
| 4. | BRANDÃO, L. O.; Reginaldo Rideaki Kamiya. iVProg: Programação Visual Interativa na Internet. 2009. |
| 5. | BRANDÃO, L. O.; RODRIGUES, P. A.. iTarefa: Tarefas Interativas - componente Moodle para Módulos de Aprendizagem Interativa. 2009. |
| 6. | COLLI, E. ; FERREIRA, J. E. ; KON, F.. Colméia - Sistema de informatização de bibliotecas universitárias. 2009. |
| 7. | KON, F. Janus: Sistema administrativo da Pós-Graduação da USP. 2009. |
| 8. | MEIRELLES, Paulo; MORAIS, C. . Kalibro. 2009. |
| 9. | MEKKAOUI, C. ; CONSTABLE, R Todd ; JACKOWSKI, M.. Toroid-Based Characterization of Diffusion Tensor Fields. 2009. |
| 10. | Perciano, Talita ; Hirata Jr., Roberto ; CESAR JUNIOR, R. M. . A Plant Root Simulator. 2009. |
| 11. | TERCEIRO, A. ; MEIRELLES, Paulo ; MIRANDA, J. M. ; COSTA, J. . Analizo. 2009. |
| 1. | Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines . 2008. |
| 2. | BRANDÃO, L. O. iHanoi: Torres de Hanói Interativa na Internet. 2008. |
| 3. | BRANDÃO, L. O.; RODRIGUES, P. A.. iTarefa: Tarefas interativas na Internet (versão para Moodle 2.X). 2008. |
| 4. | CLARO, M. ; LEANDRO, J. J. G. ; CESAR JUNIOR, R. M.. Shape analysis and recognition. 2008. |
| 5. | Flores, Rodrigo ; Hirata Jr., Roberto ; DIAS, R. A. . Geneplot. 2008. |
| 6. | GEROSA, M.A. Groupware Workbench: uma bancada de componentes para construção de sistemas colaborativos na web 2.0. 2008. |
| 7. | LOPES, Fabrício Martins ; MARTINS JR, D C ; CESAR JUNIOR, R. M. . DimReduction project. 2008. |
| 8. | MELO, Ana C. V. de; NUNES, Paulo Roberto de Araújo França ; HANAZUMI, S.. OConGraX - Object Control-Flow Graphs with Exceptions. 2008. |
| 9. | MELO, Ana C. V. de; SILVEIRA, Paulo. GenAutoWS - Automatic Generation of Web Services Test Data. 2008. |
| 10. | NOMA, A. ; CONSULARO, L. A. ; CESAR JUNIOR, R. M.. Interactive image segmentation: graph matching. 2008. |
| 1. | FUJITA, A.; SATO, João Ricardo ; FERREIRA, Carlos Eduardo ; SOGAYAR, Mari Cleide. GEDI. 2007. |
| 2. | KON, F.; Kon, R. ; CORREIA, R.. Borboleta: A Mobile Telehealth System for Primary Homecare. 2007. |
| 3. | MELO, Ana C. V. de; ANDRADE, André Gustavo de. Hydra - Cooperation among formal verification tools for pi-calculus. 2007. |
| 4. | MELO, Ana C. V. de; GAKIYA, Luciana Setsuko ; MELLO, Cláudia de Oliveira. Reuse ++ : Automatic Classification and Searching of Components with Exception Handling Mechanisms. 2007. |
| 5. | MELO, Ana C. V. de; XAVIER, Kleber da Silva. JPFex - Java PathFinder with Exceptions. 2007. |
| 6. | Otranto, G. ; Gomes, T. R. ; GUBITOSO, M. D. ; BARRERA, Junior . Strategy Soccer. 2007. |
| 7. | Schouery, Rafael, C. S. ; HIRATA JR., R. ; SETZER, V. W.. HIPO - Computador Hipotético. 2007. |
| 8. | SECA NETO, A. G. S. ; FINGER, M.. KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007. |
| 9. | SILVA, J. ; SOARES, J. V. B. ; LEANDRO, J. J. G. ; CESAR JUNIOR, R. M. ; JELINEK, H. ; TOZETTE, Emerson. Human-machine integration for vessel segmentation. 2007. |
| 1. | CHALCO, J M ; CESAR JUNIOR, R. M. . ScriptLattes. 2006. |
| 2. | FERREIRA, J. E.; OIKAWA, M. K. ; DURHAM, A. M. ; PORTILLO,, H. A. . ClinMalDB. 2006. |
| 3. | JACKOWSKI, M.; PAPADEMETRIS, X. . Bioimagesuite. 2006. |
| 4. | KON, F.; IAZZETTA, F. ; UEDA, L. K.. AcMus: sistema para medição e análise de acústica de salas. 2006. |
| 5. | MELO, Ana C. V. de; AMORIM, Marcelo M. VTUBAINA - A Tool for Up-to Bisimulation and Automata Integration Automatization. 2006. |
| 6. | MELO, Ana C. V. de; MELLO, Cláudia de Oliveira. Reuse + : Automatic Classification and Searching of Java Classes. 2006. |
| 7. | MELO, Ana C. V. de; NUNES, Paulo Roberto de Araújo França. OConGra - Objects Control-Flow Graphs. 2006. |
| 1. | BIRGIN, E. G.; MARTÍNEZ, J. M.. Projeto TANGO: Trustrable Algorithms dor Nonlinear General Optimization. 2005. |
| 2. | BRAGHETTO, K. R.; FERREIRA, J. E. . NavigationPlanTool. 2005. |
| 3. | BRANDÃO, L. O. iCG: Compilador/Emulador via Intenet. 2005. |
| 4. | BRANDÃO, L. O.; PRADO, R.. iGraf: sistema interativo para funções via Internet. 2005. |
| 5. | DIAS, R. A. ; HIRATA JR., R. . A dotNet Grid Computer. 2005. |
| 6. | FERREIRA, J. E.; ARAÚJO, L. V. ; SABINO, E. C. ; ULIANA, R. ; DADARIO, A. . DBCollHIV. 2005. |
| 7. | KON, F.; GOLDMAN, A. ; GOLDCHLEGER, A. ; FINGER, M. ; ENDLER, M. ; SONG, S. W. ; CERQUEIRA, R. ; CAMARGO, R. Y.. InteGrade: Middleware OO para Grades Computacionais. 2005. |
| 8. | MEIRELLES, Paulo; ALMEIDA, André Gustado Duarte de. Sistema de Chamados do TCE-RN. 2005. |
| 9. | MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. Sistema de Biblioteca do TCE-RN. 2005. |
| 10. | MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. STTU Escola (Log Tecnologia). 2005. |
| 11. | MEIRELLES, Paulo; DANTAS, Renato Roque ; DUARTE, Severiano ; NUNES, Wilson ; MELO, Paulo Roberto de Oliveira. SIAI Análise (TCE-RN). 2005. |
| 12. | MEIRELLES, Paulo; MELO, Paulo Roberto de Oliveira ; ALMEIDA, André Gustavo Duarte de. SIAI - Sistema Integrado de Auditória Informatizada 2005 (TCE-RN). 2005. |
| 13. | SILVA, A. F. ; KON, F.. Cigarra - A Peer-to-Peer Cultural Grid Middleware. 2005. |
| 1. | BRANDÃO, L. O.; MOURA, Janine Gomes. Sistema de Aprendizagem pela Web. 2004. |
| 2. | LAGO, N. P. ; KON, F.. Distributed Real-Time Audio Processor on Linux Clusters (DLADSPA). 2004. |
| 3. | MEIRELLES, Paulo. Sistama de Patrimônio do TCE-RN. 2004. |
| 4. | MEIRELLES, Paulo. Sistema de Controle de Acesso do TCE-RN. 2004. |
| 5. | MEIRELLES, Paulo. Sistema de Cálculo de Pessoal do TCE-RN. 2004. |
| 6. | MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. Sistema de Controle de Frotas do TCE-RN. 2004. |
| 7. | MEIRELLES, Paulo; MELO, Paulo Roberto de Oliveira ; NUNES, Wilson. SIAI - Sistema Integrado de Auditória Informatizada 2004 (TCE-RN). 2004. |
| 8. | STERN, J. M.; WHITTLE, M. R. ; NAKANO, F. ; PEREIRA, C. A. B.. PATER - Análise Estatística de Exames Genéticos de Paternidade. 2004. |
| 9. | UEDA, L. K. ; KON, F.. Andante Mobile Musical Agents Infrastructure. 2004. |
| 1. | FERNANDEZS, P. J. ; STERN, J. M. ; PEREIRA, C. A. B. ; LAURETTO, M. S.. OptiMedia - Otimizador de alocação para mídia impressa. 2003. |
| 2. | MEIRELLES, Paulo; ALMEIDA, André Gustavo de. GRAFSOFT (CSM). 2003. |
| 3. | MEIRELLES, Paulo; ALMEIDA, André Gustavo de. SIGEM (CSM). 2003. |
| 1. | BRANDÃO, L. O.. iHanói. 2002. |
| 2. | BRANDÃO, L. O.; SEHARA, R. H. ; PIESIGILLI, F.. iGeom - geometria interativa na internet. 2002. |
| 3. | FERREIRA, C. E.; SOARES, José Augusto Ramos ; MORIMOTO, Carlos Hitoshi. Panda: sistema de entrega eletrônica de trabalhos. 2002. |
| 4. | MASCARENHAS, W. F.. GeoCAD Divisor. 2002. |
| 5. | MASCARENHAS, W. F.. GeoCAD Temático. 2002. |
| 6. | MASCARENHAS, W. F. Campinas Geophysics Library. 2002. |
| 7. | STERN, J. M. Software para o Sistema Brasileiro de Clearing. 2002. |
| 1. | CASTANHO, André Casado ; CESAR JUNIOR, R. M.. HTMatLab - HTML Toolbox para MATLAB. 2001. |
| 2. | FERREIRA, J. E. Posto Fiscal Eletrônico. 2001. |
| 3. | JACKOWSKI, M. CADSEG: Computer Aided Design Software for Segmentation of Medical Images. 2001. |
| 4. | MASCARENHAS, W. F.. GeoCAD Gauss. 2001. |
| 5. | MASCARENHAS, W. F.. GeoCAD Mercator. 2001. |
| 6. | MASCARENHAS, W. F.. GeoCAD Autonível. 2001. |
| 7. | MASCARENHAS, W. F. Motor de cálculo do RPC (Results and position Control). 2001. |
| 1. | CESAR JUNIOR, R. M. Multiscale Shape Analysis (MSA) Matlab Toolbox. 2000. |
| 2. | DELGADO, K. V.; POLAR, C. D.. Sistema de Informação Geográfica para a fábrica de cerveja: Cervesur. 2000. |
| 3. | KON, F.; CAMPBELL, R. H. ; BALLESTEROS, F. J. ; NAHRSTEDT, K. ; MICKUNAS, M. D.. 2K Network-Centric Operating System. 2000. |
| 4. | MASCARENHAS, W. F.. GeoCAD Tools. 2000. |
| 5. | MASCARENHAS, W. F.. GeoCAD Legal. 2000. |
| 6. | MORIMOTO, C. H.; FERREIRA, Carlos Eduardo ; SOARES, José Augusto. Panda - Sistema de Acompanhamento Didático. 2000. |
| 1. | SimSpace - Simulador de eventos espaciais. 2014. 0. |
(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 05/12/2024 01:15:22