| 1. | de Carli Silva, Marcel K. Introduction to Semidefinite Programming. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 2. | DURHAM, A. M. Alinhamento de Sequências. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MACHADO, I. ; MORAES, I. M. ; BATISTA, D. M. ; DIAS, G. N. ; FORSAN, H.. Impulsionando a Inovação em Cibersegurança por Meio do Apoio à Pesquisa e Experimentação pela RNP. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 1. | A. M. Durham. Alinhamento de Sequências. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 2. | KON, F. Keynote Speech no The Future of Research Software Workshop. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Santos, V. B. ; BARROS, L. N. ; PEREIRA, S. L. ; Menezes, M. V.. Symbolic FOND planning for temporally extended goals. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BANDIERA PAIVA, THALES ; Yaissa Siqueira ; Daniel Macedo Batista ; HIRATA JR., R. ; TERADA, Routo. BGP Anomalies Classification using Features based on AS Relationship Graphs. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 2. | DE CARLI SILVA, MARCEL K. Some Discrete Aspects of Semidefinite Programming. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 3. | DURHAM, A. M. Alinhamento de Sequências. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 4. | OLIVEIRA, G. W. ; PORTO, J. R. ; PRATES JR., N. G. ; SANTOS, A. L. ; LIMA, M. N. ; BATISTA, D. M.. Virtualização de Funções de Rede na IoT: Um Panorama do Gerenciamento de Desempenho x Segurança. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 1. | DURHAM, A. M. Alinhamento de Sequências. 2020. Apresentação de Trabalho/Conferência ou palestra |
| 2. | KON, F. Keynote Speech no ACM/IFIP International Middleware Conference'2020: Developing and Assessing Middleware and Applications for Smart Cities. 2020. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Queiroz, M. Percepção de Ritmos Assimétricos na Música Tradicional Grega (MusicTec2 e Areté Centro de Estudos Helênicos). 2020. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BANDIERA PAIVA, THALES ; NAVARIDAS, J. ; TERADA, Routo. Robust Covert Channels Based on DRAM Power Consumption. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 2. | BANDIERA PAIVA, THALES ; TERADA, Routo. A Timing Attack on the HQC Encryption Scheme. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Benedetto Proença, Nathan ; DE CARLI SILVA, MARCEL K. ; Coutinho, Gabriel. Dual Hoffman Bounds for the Stability and Chromatic Numbers Based on SDP. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 4. | BRAGHETTO, K. R. Tecnologias emergentes e disruptivas para as cidades inteligentes. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 5. | DURHAM, A. M. Alinhamento de Sequências. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 6. | Finger, Marcelo. Artificial intelligence symposium: where do we stand in the substitution of physicians by machines. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 7. | Hirata, N.S.T. Imagens na era do Big Data: Potenciais e Desafios. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Hirata, Nina S. T. Big Data and Machine Learning: An introduction. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Hirata, Nina S. T. Machine Learning. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 10. | Hirata, Nina S. T. Uma aula sobre Machine Learning. 2019. Apresentação de Trabalho/Outra |
| 11. | Mota, G. O. Teoria de Ramsey: Introdução e avanços recentes. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 12. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação nos Seminários do IC/UNICAMP). 2019. Apresentação de Trabalho/Conferência ou palestra |
| 13. | Queiroz, M. Percepção de Ritmos Assimétricos na Música Tradicional Grega (Conversas Neuromusicais na UFABC). 2019. Apresentação de Trabalho/Conferência ou palestra |
| 1. | DESIDERA, L. ; CAMARGO, C. A. ; SOLLIS, P. ; BATISTA, D. M. ; DOIN, J. ; FERREIRA, A. G.. Cyber Security, Safety and Privacy. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 2. | GARCIA, V. ; NOGUEIRA, A. ; BATISTA, D. M. ; GAMA, K. ; BATISTA, T. V.. Smart Cities: Tendências & Desafios. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Hirata, Nina S. T. Machine learning e alguns exemplos de aplicação em dados astronômicos. 2018. Apresentação de Trabalho/Seminário |
| 4. | KON, F. Palestra no MIT (EUA): 10 Best Practices for Agile Software Development. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 5. | KON, F. Seminário na Texas AM University (EUA): Software and science making cities better through university-city collaborations. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 6. | KON, F. Seminário na Brown University (EUA): Improving the Quality of Life in Cities with Computer Science. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 7. | LIMA, R. A. ; PU, C. ; TAKECIAN, P. L. ; KAMAURA, L. T. ; PADILHA, BRUNO ; FERREIRA, J.E.. Modeling Time-Critical Processes with WED-flow. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G.O. Monochromatic trees in random graphs. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Queiroz, M. Perception of asymmetric rhythms in traditional Greek music. 2018. Apresentação de Trabalho/Comunicação |
| 10. | Queiroz, M; FIGUEIREDO, N. ; KOCH, T. ; YOSHIMURA, G.. A comparative study on filtering and classification of bird songs; Towards Flexible Audio Processing; Relative DTW Embedding for Binary Classification of Audio Data. 2018. Apresentação de Trabalho/Congresso |
| 1. | BATISTA, D. M.; ENDLER, M. ; A. Goldman ; KON, F.. Os Avanços em Ciência e Tecnologia para a Internet do Futuro: Aplicações em Cidades Inteligentes. 2017. Apresentação de Trabalho/Congresso |
| 2. | Hirata, N.S.T. Machine Learning and Big Data. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Hirata, N.S.T. Image Processing, Pattern Recognition and Machine Learning at IME / USP. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Hirata, Nina S. T. Machine Learning e aplicações em processamento de imagens. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Hirata, Nina S. T. Machine Learning: um panorama geral. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 6. | Mota, G. O. Advances in Anti-Ramsey Theory for sparse graphs. 2017. Apresentação de Trabalho/Congresso |
| 7. | Mota, G. O. Monochromatic trees in random graphs. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G. O. On the number of r-transitive orientations of random graphs. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Mota, G.O. O número de tamanho-Ramsey para potências de caminhos. 2017. Apresentação de Trabalho/Congresso |
| 10. | Mota, G.O. On the local density problem for graphs of given odd-girth. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 11. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação no IX Encontro do BCC-IME-USP). 2017. Apresentação de Trabalho/Conferência ou palestra |
| 12. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação na SEMCOMP - Semana da Computação do ICMC/USP). 2017. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BRAGHETTO, K. R. Workflows Científicos em Plataformas de Computação de Alto Desempenho. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 2. | Hirata, N.S.T. Machine Learning in the Era of Data Science. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 3. | KELLY, BRAGHETTO; Vargas, C.D.. NeuroMat's open database project. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Mota, G.O. Thresholds for anti-Ramsey properties of cycles and cliques - 6th Polish Combinatorial Conference. 2016. Apresentação de Trabalho/Congresso |
| 5. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação na XXI Semana de Informática da Universidade Federal de Viçosa). 2016. Apresentação de Trabalho/Conferência ou palestra |
| 6. | ROQUE, A. C. ; GUBITOSO, M. D. ; BRAGHETTO, K. R.. Promotion of the use of mathematical sciences as a resource for neuroscience applications. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BATISTA, D. M. Detecc?a?o antecipada de ameac?as a? seguranc?a computacional usando redes sociais. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 2. | BATISTA, D. M. ; OLGUIN, G. S. ; SOUZA, J. J. ; J. C. de Pina ; CAMPOS, P. P. V. ; GNANN, W. A. M.. Reformulação do BCC-IME-USP. 2015. Apresentação de Trabalho/Congresso |
| 3. | BRAGHETTO, K. R. Data Management in NeuroMat and the Neuroscience Experiments System (NES). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 4. | DE CARLI SILVA, MARCEL K.; Tunçel, Levent. An Axiomatic Duality Framework for the Theta Body and Related Convex Corners. 2015. Apresentação de Trabalho/Simpósio |
| 5. | GEORGAKI, A. ; Queiroz, M. ?Virtual Tettix? : Cicadas? sound analysis and modeling at Plato's Academy. 2015. Apresentação de Trabalho/Congresso |
| 6. | HANAZUMI, S. ; de Melo, Ana C. V.. On the Testability of Properties Patterns. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 7. | Mota, G.O. A counting lemma for sparse pseudorandom hypergraphs - VIII Latin-American Algorithms, Graphs and Optimization Symposium. 2015. Apresentação de Trabalho/Congresso |
| 8. | Mota, G.O. Anti-Ramsey threshold for sparse graphs - Kolloquium über Kombinatorik. 2015. Apresentação de Trabalho/Simpósio |
| 9. | Mota, G.O. Path decompositions of regular graphs with prescribed girth - European Conference on Combinatorics, Graph Theory and Applications. 2015. Apresentação de Trabalho/Congresso |
| 10. | Mota, G.O. Decompositions of highly connected graphs into paths - Berlin-Poznan-Hamburg Seminar - 20th Anniversary. 2015. Apresentação de Trabalho/Simpósio |
| 11. | Queiroz, M. Keynote Talk (SBCM 2015): Paisagens sonoras, harmonização automática e fusão conceitual. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 12. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na Aristotle University of Thessaloniki). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 13. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na University of Athens). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 14. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na Ionian University/Corfu). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 15. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na National University of Ireland - Maynooth). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 1. | DE CARLI SILVA, MARCEL K.; Harvey, Nicholas J. A. ; Sato, Cristiane M.. Somas esparsas de matrizes positivas semidefinidas. 2014. Apresentação de Trabalho/Congresso |
| 2. | Fujita, Andre. Systems biology and systems neuroscience: methods and applications. 2014. Apresentação de Trabalho/Seminário |
| 3. | MARTINS, ALEXANDRE L. ; HANAZUMI, SIMONE ; de Melo, Ana C.V.. Testing Java Exceptions: an instrumentation technique. 2014. Apresentação de Trabalho/Congresso |
| 4. | Mota, G.O. Decomposition of highly connected graphs into paths of length five - Lyon-São Paulo Workshop. 2014. Apresentação de Trabalho/Outra |
| 5. | Mota, G.O. Counting uniform linear hypergraphs in sparse pseudorandom hypergraphs - Graph Theory and Combinatorics at FoCM. 2014. Apresentação de Trabalho/Congresso |
| 6. | Mota, G.O. On an anti-Ramsey threshold for sparse graphs with one triangle - 9th International colloquium on graph theory and combinatorics. 2014. Apresentação de Trabalho/Congresso |
| 7. | Queiroz, M. A Protocol for creating Multiagent Systems in Ensemble with Pure Data. 2014. Apresentação de Trabalho/Congresso |
| 1. | ARANGO, J. J. ; TOMIYOSHI, M. M. ; QUEIROZ, M. ; Iazzetta, Fernando. Brazilian Challenges for Network Music. 2013. Apresentação de Trabalho/Congresso |
| 2. | BIANCHI, A. J. ; QUEIROZ, M.. Real time digital audio processing with Arduino. 2013. Apresentação de Trabalho/Congresso |
| 3. | Chui, M. ; FERREIRA, J. E. ; PU, C.. Web Services Composition through Data Events Approach. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 4. | de Carli Silva, Marcel K.; Harvey, Nicholas J. A. ; Sato, Cristiane M.. Sparse Sums of Positive Semidefinite Matrices. 2013. Apresentação de Trabalho/Simpósio |
| 5. | HASHIMOTO, R. F. Gene Interactions Modeled by Boolean Networks. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 6. | KON, F. Palestra no Google Campus Tel-Aviv (Israel): The Power of Open Source. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 7. | KON, F. Aulas convidadas em Technion (Israel). 2013. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G.O. Ramsey number for bipartite graphs - 29º Colóquio Brasileiro de Matemática. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Mota, G.O. Conjectura das fontes monocromáticas - Workshop em Estruturas Combinatórias, Otimização e Algoritmos. 2013. Apresentação de Trabalho/Outra |
| 10. | Mota, G.O. Ramsey number for bipartite graphs with small bandwidth - Mathematical Congress of the Americas. 2013. Apresentação de Trabalho/Congresso |
| 11. | Mota, G.O. Ramsey number for graphs with small bandwidth - European Conference on Combinatorics, Graph Theory and Applications. 2013. Apresentação de Trabalho/Congresso |
| 12. | OLIVEIRA, L. S. ; GRUBER, A. ; DURHAM, A. M.. Development of integrated environment for analysis and annotation of DNA sequences. 2013. Apresentação de Trabalho/Outra |
| 13. | Queiroz, M. Computação Musical e Aplicações (Palestra de Divulgação na SIFSC 3 - Terceira Semana do Instituto de Física de São Carlos - IFSC/USP). 2013. Apresentação de Trabalho/Conferência ou palestra |
| 14. | SCHIAVONI, F. L. ; WANDERLEY, M. ; Queiroz, Marcelo. Network Music with Medusa - a Comparison of Tempo Alignment in Existing MIDI APIs. 2013. Apresentação de Trabalho/Congresso |
| 1. | de Carli Silva, Marcel K.; Tunçel, Levent. Optimization problems over unit-distance representations of graphs. 2012. Apresentação de Trabalho/Simpósio |
| 2. | de Melo, Ana C.V. Software Confiável: como garantir a qualidade do software deenvolvido? (palestra convidada). 2012. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Ferreira, Joao Eduardo. Transactional Recovery Support for Robust Exception Handling in Business Process Services. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Ferreira, Joao Eduardo. Transaction Processing for e-Science Applications. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 5. | MORIMOTO, C. H. Interação Humano Computador: problemas, perspectivas e oportunidades. 2012. Apresentação de Trabalho/Seminário |
| 6. | OLIVEIRA, L. S. ; GRUBER, A. ; DURHAM, A. M.. Development of integrated for analysis and annotation of DNA sequences. 2012. Apresentação de Trabalho/Outra |
| 1. | BARROS, L. N.; PEREIRA, S. L.. Tutorial em Planejamento Automatizado (4 horas)- SBIA 2010. 2011. Apresentação de Trabalho/Conferência ou palestra |
| 2. | de Carli Silva, Marcel K.; Tunçel, Levent. Geometric Representations of Graphs, Semidefinite Optimization and Min-Max Theorems. 2011. Apresentação de Trabalho/Simpósio |
| 3. | Fujita, André. Granger causality and extensions of vector autoregressive models: applications and challenges. 2011. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Fujita, André. Systems Biology: another point of view. 2011. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Mota, G.O. A note on counting orientations - Latin-American Algorithms, Graphs and Optimization Symposium. 2011. Apresentação de Trabalho/Congresso |
| 6. | ONUCHIC, V. ; Durham, Alan Mitchell. Using gene prediction models in order to improve the quality of multiple sequence alignments of homologous genes. 2011. Apresentação de Trabalho/Outra |
| 7. | QUEIROZ, M. Computação Musical e Aplicações (Palestra de Divulgação na 14º SEMCOMP - Semana da Computação no ICMC/USP). 2011. Apresentação de Trabalho/Conferência ou palestra |
| 1. | AMORIM, F. L. C. C. ; BATISTA, D. M. ; FONSECA, N. L. S.. Inter-Domain Peering and Provisioning for the Next Generation High Capacity Networks. 2010. Apresentação de Trabalho/Congresso |
| 2. | BENASSI-WERKE, M. ; QUEIROZ, M. ; GERMANO, N. ; OLIVEIRA, M. G. M.. Melodic Memory and its Dependence on Familiarity and Difficulty. 2010. Apresentação de Trabalho/Congresso |
| 3. | Ferreira, Joao Eduardo. Fourth International Workshop on Scientific Workflows. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 4. | 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 |
| 5. | Finger, Marcelo; De Bona, Glauber. A Defeated Conjecture on Probabilistic Satisfiability. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 6. | KELLER, D. ; BARREIRO, D. L. ; QUEIROZ, M. ; PIMENTA, M.. Anchoring in Ubiquitous Musical Activities. 2010. Apresentação de Trabalho/Congresso |
| 7. | MEIRELLES, Paulo; SANTOS JR., C. ; TERCEIRO, A. ; MIRANDA, J. M. ; ALMEIDA, L. ; MORAIS, C.. Atratividade de Projetos Software Livre e Métricas de Código-Fonte. 2010. Apresentação de Trabalho/Comunicação |
| 8. | OLIVEIRA, L. S. ; PASCHOAL, A. R. ; Durham, Alan Mitchell. Identification of non-coding RNA from Mycobacterium pathogenic strains. 2010. Apresentação de Trabalho/Congresso |
| 9. | ONUCHIC, V. ; MACHADO-LIMA, A. ; Durham, Alan Mitchell. Procura de Padrões Estruturais em RNAs Utilizando Grafos. 2010. Apresentação de Trabalho/Comunicação |
| 10. | QUEIROZ, M.; SOUSA, G. H. M.. Structured IIR Models for HRTF Interpolation. 2010. Apresentação de Trabalho/Congresso |
| 1. | BARROS, L. N. Tutorial em Planejamento em Inteligência Artificial (3 horas) - SBAI 2009. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 2. | CURI, R. L. ; BATISTA, D. M. ; FIGUEIREDO, G. B. ; FONSECA, N. L. S.. Implementação e Documentação de Mecanismos para Adequação de Redes OBS a Grades no Simulador NCTUNS. 2009. Apresentação de Trabalho/Congresso |
| 3. | KON, F. Palestra no INRIA-Paris (França): Borboleta: A Mobile Telehealth System for Primary Homecare. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 4. | MASCARENHAS, W. F. A topological Mountain Pass lemma and its implications regarding the uniqueness of constrained minimizers. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 5. | OIKAWA, M. K. ; FERREIRA, J. E. ; MALKOWSKI, S. ; PU, C.. Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 6. | TERADA, Routo; UEDA, E. T.. A new version of the RC6 algorithm, stronger against chi2 cryptanalysis. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 7. | THOMAZ, L. F. ; QUEIROZ, M.. A Framework for Musical Multiagent Systems. 2009. Apresentação de Trabalho/Congresso |
| 1. | DOMINGUES, H. ; Kon, F ; FERREIRA, J. E.. Banco de dados evolutivos e metodos ageis. 2008. Apresentação de Trabalho/Conferência ou palestra |
| 2. | FERREIRA, J. E. The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns. 2008. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MEIRELLES, Paulo. Introdução a TV Digital com Ginga NCL. 2008. Apresentação de Trabalho/Comunicação |
| 4. | MELO, Ana C. V. de. FM Education and Research. 2008. Apresentação de Trabalho/Simpósio |
| 1. | AMADEU, S. ; SOARES, L. F. G. ; GERBASE, C. ; MEIRELLES, Paulo. Esfera pública conectada: o que as telecomunicações e a TV Digital tem a ver com o comum?. 2007. Apresentação de Trabalho/Seminário |
| 2. | AMADEU, S. ; TAS, M. ; LEMOS, G. ; GERBASE, C. ; MEIRELLES, Paulo. O que a convergência digital e a TV pública tem a ver com a diversidade cultural?. 2007. Apresentação de Trabalho/Seminário |
| 3. | FERREIRA, J. E. The use of Multidimensional Scaling as Applied to the BPM Performance in Brazilian e-Government Administration. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 4. | FERREIRA, J. E. Using Control-Flow Patterns for Specifying Business Processes in Cooperative Environments. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 5. | HASHIMOTO, R. F.; HIGA, C. H. A.. Modeling Yeast Cell-Cycle with Context Probabilistic Boolean Network. 2007. Apresentação de Trabalho/Congresso |
| 6. | MELO, Ana C. V. de. Brazilian Research on Computer Science. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 7. | MELO, Ana C. V. de; SILVA, Paulo Salem da. A Simulation-Oriented Formalization for a Psychological Theory. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 8. | TERADA, Routo; GOYA, Denise. A Certificateless Signature Scheme based on Bilinear Pairing Functions. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 1. | MAUÁ, D. D.; BAPTISTA, C. M. ; SILVEIRA, R. M. ; RUGGIERO, W. V.. Ferramenta Multimídia Interativa para Aprendizado Eletrônico. 2006. Apresentação de Trabalho/Simpósio |
| 2. | TERADA, Routo; GOYA, Denise. A Certificateless Public Key Encryption based on Bilinear Pairing Functions. 2006. Apresentação de Trabalho/Conferência ou palestra |
| 1. | FERREIRA, J. E. Integration of Business Processes with Autonomous Information Systems: A Case Study. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 2. | FERREIRA, J. E. Data Updating Between the Operational and Analytical Databases Through DW-Log Algorithm. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MELO, Ana C. V. de. Mobile Agents: Formal Development. 2005. Apresentação de Trabalho/Seminário |
| 4. | MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. Apresentação de Trabalho/Congresso |
| 5. | MELO, Ana C. V. de; SILVA, Paulo Salem da. An Ontology for Mobile Agents in the Context of Formal Verification. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 6. | QUEIROZ, M. Localização de Fontes e Ouvintes em Salas de Escuta. 2005. Apresentação de Trabalho/Simpósio |
| 1. | DANTAS, W. S. ; BATISTA, D. M. ; SANTOS, C. E. F.. Um Estudo de Caso do LTSP no Instituto de Matemática da UFBA. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 2. | FERREIRA, J. E. Mini-curso SBBD 2004: Naked Objects. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MELO, Ana C. V. de. Pi-Calculus Rewriting Rules Based on Active Names. 2004. Apresentação de Trabalho/Congresso |
| 4. | QUEIROZ, M. A heuristic for the continuous capacity and flow assignment. 2004. Apresentação de Trabalho/Simpósio |
| 5. | SANTOS, C. E. F. ; SANTIAGO JUNIOR, H. A. ; BATISTA, D. M. ; DANTAS, W. S.. Soluções Livres para Transmissão de Vídeo em Rede. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 6. | TERADA, Routo. An IBE Scheme to exchange authenticated secret keys. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BATISTA, D. M. Sistema de arquivos CODA. 2003. Apresentação de Trabalho/Seminário |
| 2. | BATISTA, D. M.; ARAUJO, G. B.. Análise de desempenho de firewalls em redes de alta velocidade. 2003. Apresentação de Trabalho/Seminário |
| 3. | BATISTA, D. M.; ARAUJO, G. B.. Análise de desempenho de firewalls em redes de alta velocidade. 2003. Apresentação de Trabalho/Seminário |
| 4. | COSTA, H. M. E. ; BATISTA, D. M. ; TERCEIRO, A. S. A. ; VIEIRA, M. B. C.. Estudo de Caso: Uso de Software Livre no Instituto de Matemática/UFBA. 2003. Apresentação de Trabalho/Conferência ou palestra |
| 5. | MELO, Ana C. V. de. Reutilização de sofware. 2003. Apresentação de Trabalho/Congresso |
| 6. | MELO, Ana C. V. de. Pesquisa em Engenharia de Software. 2003. Apresentação de Trabalho/Seminário |
| 7. | MELO, Ana C. V. de. Projetos de Pesquisa em Desenvolviemnto Formal de Software. 2003. Apresentação de Trabalho/Seminário |
| 8. | MELO, Ana C. V. de. A study on the potential active names of pi-calculus. 2003. Apresentação de Trabalho/Congresso |
| 9. | MELO, Ana C. V. de; ANDRADE, André Gustavo de ; AMORIM, Marcelo M. Um ambiente para especificação e verificação de agentes móveis (Poster). 2003. Apresentação de Trabalho/Congresso |
| 10. | QUEIROZ, M. The Hinge Fitting Problem. 2003. Apresentação de Trabalho/Conferência ou palestra |
| 11. | QUEIROZ, M. Some Optimization Models for Listening Room Design. 2003. Apresentação de Trabalho/Simpósio |
| 1. | A. Goldman. Introdução a Programação eXtrema. 2002. Apresentação de Trabalho/Seminário |
| 2. | BRANDÃO, L. O. Dynamic Geometry = computer + geometry + algorithms. 2002. Apresentação de Trabalho/Comunicação |
| 3. | QUEIROZ, M. The symmetric eigenvalue complementarity problem. 2002. Apresentação de Trabalho/Congresso |
| 1. | KON, F. Palestra na University of Tromsø (Noruega): Future Directions in MiddlewareResearch and Technology. 2001. Apresentação de Trabalho/Conferência ou palestra |
| 1. | MELO, Ana C. V. de. On the formal specification and verification of mobile agents. 2000. Apresentação de Trabalho/Conferência ou palestra |
(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 22/04/2024 18:50:41