Programa de Pós Graduação em Ciência da Computação

Flavio Soares Correa da Silva

Possui graduação em Engenharia de Produção pela Universidade de São Paulo(1984), mestrado em Engenharia de Transportes pela Escola Politécnica da Universidade de São Paulo(1989) e doutorado em Artificial Intelligence pela University Of Edinburgh(1992). Atualmente é professor associado (MS-5) da Universidade de São Paulo e Research Fellow (Honorary) da University of Aberdeen. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:inteligência artificial. (Texto gerado automaticamente pela aplicação CVLattes)

http://lattes.cnpq.br/8571722708574643 (10/03/2025)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço: Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. Rua do Matão, 1010 Butantã 05508090 - São Paulo, SP - Brasil Telefone: (11) 30916135 URL da Homepage: http://www.ime.usp.br/~fcs

Grande área: Ciências Exatas e da Terra

Área: Ciência da Computação

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (28)
1. E SILVA, JOELMA C.C. ; DA SILVA, FLAVIO S.C.. Contextual analysis of pedestrian mobility in transport terminals. ICT Express. v. 6, p. ICTE 324, 2021. Qualis: Não identificado (ICT EXPRESS)
2. DA SILVA, FLAVIO S. CORREA; COSTA, FREDERICO P. ; IEMMA, ANTONIO F.. Practical considerations regarding classification learning for clinical diagnosis and therapy advice in oncology. ICT Express. v. 6, p. ICTE 235, 2020. Qualis: Não identificado (ICT EXPRESS)
3. LENS, F. ; LIANG, C. ; GUO, Y. ; TANG, X. ; JAHANBANIFARD, M. ; CORREA DA SILVA, F. S. ; CECCANTINI, G. ; VERBEEK, F. J.. Computer-assisted timber identification based on features extracted from microscopic wood sections. IAWA JOURNAL. v. 41, p. 1-21, 2020. Qualis: A3
4. CORREA, ANDREIWID SHEFFER ; SOUZA, RAUL MENDES DE ; SILVA, FLAVIO SOARES CORREA DA. Towards an automated method to assess data portals in the deep web. GOVERNMENT INFORMATION QUARTERLY. v. 36, p. 412-426, 2019. Qualis: A1
5. COELHO, T. P. B. ; FRACOLLI, L. A. ; CHIESA, A. M. ; SILVA, L. A. ; SOUZA JUNIOR, H. M. F. E. ; CORREA DA SILVA, F. S.. A abordagem Design Thinking como proposta de inovação social em um programa de visitação domiciliar na primeira infância. Revista de Saúde Digital e Tecnologias Educacionais. v. 4, p. 8-19, 2019.Qualis: B2
6. KAWAMOTO, ANDRE LUIZ SATOSHI ; DA SILVA, FLAVIO SOARES CORREA. Depth-Sensor Applications for the Elderly: A Viable Option to Promote a Better Quality of Life. IEEE Consumer Electronics Magazine. v. 7, p. 47-56, 2018. Qualis: B1
7. CALCINA-CCORI, PABLO C. ; DE BIASE, LAISA C. C. ; FEDRECHESKI, GEOVANE ; DA SILVA, FLAVIO SOARES CORREA ; ZUFFO, MARCELO K.. Enabling Semantic Discovery in the Swarm. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS,. p. 1-1, 2018. Qualis: A1 (IEEE TRANSACTIONS ON CONSUMER ELECTRONICS)
8. CORREA, ANDREIWID SHEFFER ; PAULA, E. C. ; CORREA, PEDRO L.P. ; CORREA DA SILVA, F. S.. Transparency and open government data: a wide national assessment of data openness in Brazilian local governments. Transforming Government (Print). v. 11, p. 1, 2017.Qualis: A1
9. DA CUNHA, ANDRÉ L. ; AGUIAR, JAIR A.K. ; CORREA DA SILVA, FLAVIO S. ; MICHELACCI, YARA M.. Do chondroitin sulfates with different structures have different activities on chondrocytes and macrophages?. INTERNATIONAL JOURNAL OF BIOLOGICAL MACROMOLECULES. v. 103, p. 1019-1031, 2017. Qualis: A1
10. CORREA DA SILVA, F. S.; CHUNG, PAUL W.H. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, DAVE ; VASCONCELOS, W. W.. Hazard prevention for mission plans for aerial vehicles based on soft institutions. Civil aircraft design and research. v. 30, p. 105-116, 2017.Qualis: Não identificado (CIVIL AIRCRAFT DESIGN AND RESEARCH)
11. RODRIGUEZ, C. L. ; SATO, J. R ; ARAUJO, C. ; Fernández M. L. ; VITTORI, K. ; CORREA DA SILVA, F. S. ; PEREIRA, L.. Computação Afetiva e sua aplicação na educação: trabalhos relacionados e projeções futuras. Research and Innovation in Brazilian Education. v. I, p. 24, 2017.Qualis: C
12. FERNÁNDEZ VENERO, MIRTHA LINA ; CORRÊA DA SILVA, FLÁVIO SOARES. Model checking multi-level and recursive nets. Software and Systems Modeling (Print). v. 1, p. 1-28, 2016. Qualis: A2
13. Vieira, Luiz Carlos ; CORRÊA DA SILVA, FLÁVIO SOARES. Assessment of Fun in Interactive Systems: a Survey. Cognitive Systems Research. v. 42, p. 1, 2016. Qualis: A4
14. DA SILVA, FLAVIO. Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information. v. 4, p. 31-32, 2013. Qualis: B1
15. Peanho, Claudio Antonio ; Stagni, Henrique ; CORREA DA SILVA, F. S.. Semantic information extraction from images of complex documents. Applied Intelligence (Boston). v. 37, p. 1-15, 2012. Qualis: A3
16. CORRÊA DA SILVA, FLÁVIO SOARES; FERNÁNDEZ VENERO, MIRTHA LINA ; DAVID, DIEGO MIRA ; SALEEM, MOHAMMAD ; CHUNG, PAUL W.H.. Interaction protocols for cross-organisational workflows. Knowledge-Based Systems. v. 37, p. 1-16, 2012. Qualis: A1
17. ARAUJO, C. J. A. ; CORREA DA SILVA, F. S.. A System for Governmental Virtual Institutions based on Ontologies and Interaction Protocols. International Journal of Distance Education Technologies. v. 10, p. 82-96, 2012.Qualis: A4
18. CORREA DA SILVA, F. S. Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems. v. 30, p. 1-24, 2011. Qualis: A2
19. CORREA DA SILVA, F. S. On the Ethics of Democratic Access to Web Information. Knowledge in Society (Cessou em 1991. Cont. ISSN 1053-8798 Knowledge and Policy),. p. 97-107, 2010. Qualis: Não identificado (ISSN 1053-8798 KNOWLEDGE AND POLICY),)
20. TORRES, Gustavo Enrique Salazar ; COLOMBO, E ; CORREA DA SILVA, F. S. ; GUERRA, Crhistian Alberto Noriega ; BANDINI, S.. Design issues for knowledge artifacts. Knowledge-Based Systems,. p. 856, 2008. Qualis: A1 (KNOWLEDGE-BASED SYSTEMS)
21. CORREA DA SILVA, F. S.; VASCONCELOS, W. W.. Managing Responsive Environments with Software Agents. Applied Artificial Intelligence. v. 21, p. 469-488, 2007.Qualis: B2
22. CORREA DA SILVA, F. S.; PANIGASSI, R. ; HULOT, C.. Learning Management Systems Desiderata for Competitive Universities. EURODL (Oslo). v. 2007, p. 1, 2007.Qualis: Não identificado (EURODL)
23. TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S.. Designing Logic-based Robots. Inteligencia Artificial, Espanha. v. 10, n. 31, p. 11-22, 2006.Qualis: Não identificado (INTELIGENCIA ARTIFICIAL, ESPANHA)
24. CORREA DA SILVA, F. S. Towards a Logic of Perishable Propositions. Applied Intelligence (Boston). v. 23, n. 2, p. 121-130, 2005.Qualis: A3
25. SILVA, Lourival Paulino da ; CORREA DA SILVA, F. S.. A Formal Model for the Fifth Discipline. JASSS. Journal of Artificial Societies and Social Simulation. v. 8, n. 3, 2005.Qualis: Não identificado (JASSS. JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION)
26. CORREA DA SILVA, F. S.; AGUSTI, J.. Issues on Knowledge Coordination. Knowledge and Process Management (Online). v. 10, n. 1, p. 37-59, 2003.Qualis: A2
27. CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, 2002. Qualis: A1
28. CORREA DA SILVA, F. S.; CARBOGIM, D. V.. Facts, Annotations, Arguments, and Reasoning. New Generation Computing, Japao. v. 19, n. 1, p. 1-22, 2001.Qualis: Não identificado (NEW GENERATION COMPUTING, JAPAO)
Livros publicados/organizados ou edições (9)
1. ANACLETO, J. C. (Org.) ; CLUA, E. (Org.) ; CORREA DA SILVA, FLAVIO S. (Org.) ; FELS, S. (Org.) ; YANG, H. S. (Org.). 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. 1 ed. Alemanha: Springer, 2013. v. 1, p. 203.
2. CORREA DA SILVA, F. S.; FINGER, Marcelo. Introdução à computação para administradores. 1 ed. Rio de Janeiro: Elsevier, 2009. v. 1, p. 160.
3. FEIJO, B. ; CLUA, E. ; CORREA DA SILVA, F. S.. Introdução à ciência da computação com jogos - aprendendo a programar com entretenimento. 1 ed. Rio de Janeiro: Elsevier, 2009. v. 1, p. 263.
4. CORREA DA SILVA, F. S.; AGUSTI, J.. Information Flow and Knowledge Sharing. 1 ed. Elsevier, 2008. v. 1, p. 296.
5. CORREA DA SILVA, F. S.; FINGER, Marcelo ; MELO, Ana Cristina Vieira de. Lógica para Computação. 1 ed. São Paulo: Thomson Learning, 2006. v. 1, p. 244.
6. CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de. Modelos Clássicos de Computação. 1 ed. São Paulo: Thomson Learning, 2006. v. 1, p. 67.
7. SETZER, Valdemar Waingort ; CORREA DA SILVA, F. S.. Bancos de dados: aprenda o que são, melhore seu conhecimento, construa os seus. 1 ed. São Paulo: Edgard Blucher, 2005. v. 1, p. 380.
8. MELO, Ana Cristina Vieira de ; CORREA DA SILVA, F. S.. Princípios de Linguagens de Programação. 1 ed. São Paulo: Edgard Blucher, 2003. v. 1, p. 212.
9. CORREA DA SILVA, F. S.; AGUSTI, J.. Knowledge Coordination. 1 ed. Londres: John Wiley and Sons, 2003. v. 1, p. 176.
Capítulos de livros publicados (6)
1. BANDINI, S. ; GASPARINI, F. ; CORREA DA SILVA, F. S.. Positive Artificial Intelligence Meets Affective Walkability. Em: Yukio Ohsawa. (Org.). Living Beyond Data. 1ed.Cham, Switzerland. : Springer Nature. 2022.v. 230, p. 161-178.
2. CONCEICAO, A. F. ; CORREA DA SILVA, F. S.. Dados Abertos e Inovação. Em: Maria Elizete Kunkel. (Org.). Fundamentos e Tendências em Inovação Tecnológica. 1ed.Seattle. : Kindle Direct Publishing. 2020.v. 1, p. 33-48.
3. da Silva, Flávio S. Correa; Vieira, Luiz Carlos ; Bandini, Stefania. Engagement Mechanisms for Social Machines. Em: A. de Gloria and R. Veltkamp. (Org.). Lecture Notes in Computer Science. 1ed. : Springer International Publishing. 2016.p. 361-367.
4. DA SILVA, FLAVIO S. CORREA; Robertson, David S. ; Vasconcelos, Wamberto W.. LS $$^2$$ C - A Platform for Norm Controlled Social Computers. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2015.p. 284-297.
5. Bressane Neto, A. F. ; CORREA DA SILVA, F. S.. A computer architecture for intelligent agentes with personality and emotions. Em: Marielba Zacarias; Jose Valente de Oliveira. (Org.). Human-computer interaction: the agency perspective. 1ed.Berlin. : Springer Studies in Computational Intelligence. 2012.v. 396, p. 263-286.
6. CORREA DA SILVA, F. S. Interação Estado/Academia para Inovação em Governo Eletrônico no Brasil. Em: Cláudia do Socorro Ferreira Mesquita; Nazaré Lopes Bretas. (Org.). Panorama da Interoperabilidade no Brasil. Brasília. : MP-SLTI. 2010.p. 64-73.
Textos em jornais de notícias/revistas (2)
1. ROZESTRATEN, A. S. ; BERTHOLDO, A. P. O. ; FARIA, J. H. K. ; CORREA DA SILVA, F. S.. Projeto Arquigrafia: Open Air Museum. Computação Brasil, Brasil, p. 42-45, 01 nov. 2017.
2. UNGER, A. J. ; BARGUIL, J. M. M. ; CORREA DA SILVA, F. S.. Blockchain Technology: the Last Mile for Electronic Property Registry Systems. IPRA-CINDER: International Property Registries Association Review, Brasil, p. 32-35, 23 mar. 2017.
Trabalhos completos publicados em anais de congressos (63)
1. NITSCHKE, G. ; ASLAN, B. ; CORREA DA SILVA, F. S.. Multi-Objective Evolution for Chemical Product Design. Em: GECCO 2024: Genetic and Evolutionary Computation Conference, v. 1, p. 356-362, 2024. Qualis: Não identificado (GECCO 2024: Genetic and Evolutionary Computation Conference)
2. BAZALUK, B. ; CORREA DA SILVA, F. S. ; HOLANDA, M. ; SILVA, D.. Source Code Plagiarism in Computer Science Courses: Facts and Impressions. Em: Workshop sobre Educação em Computação (WEI), v. 1, p. 111-121, 2023.Qualis: Não identificado (Workshop sobre Educação em Computação (WEI))
3. CORREA DA SILVA, F. S.; NITSCHKE, G. ; ASLAN, B.. A Computational Method to Support Chemical Product Design Based on Multi-objective Optimisation and Graph Transformers. Em: ALIFE 2023: Ghost in the Machine, v. 1, p. 1-10, 2023.Qualis: Não identificado (ALIFE 2023: Ghost in the Machine)
4. CORREA DA SILVA, F. S. Positive Artificial Intelligence. Em: The 19th International Conference of the Italian Association for Artificial Intelligence, v. 1, p. 1-13, 2020.Qualis: Não identificado (The 19th International Conference of the Italian Association for Artificial Intelligence)
5. SHEFFER CORREA, ANDREIWID ; SOARES CORREA DA SILVA, FLAVIO. Laying the foundations for benchmarking open data automatically. Em: 20th Annual International Conference on Digital Government Research, p. 287, 2019. Qualis: Não identificado (20th Annual International Conference on Digital Government Research)
6. CONCEICAO, A. F. ; CORREA DA SILVA, F. S. ; ROCHA, V. ; LOCORO, A. ; BARGUIL, J. M. M.. Eletronic Health Records using Blockchain Technology. Em: Anais do I Workshop em Blockchain: Teoria, v. 1, p. 1, 2018.Qualis: Não identificado (Anais do I Workshop em Blockchain: Teoria)
7. CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; FREDRECHESKI, G. ; ESQUIAGOLA, J. ; CORREA DA SILVA, F. S.. Agile servient integration with the Swarm: Automatic code generation for nodes in the Internet of Things. Em: International Conference on Future Networks and Distributed Systems, v. 1, 2017.Qualis: Não identificado (International Conference on Future Networks and Distributed Systems)
8. VIEIRA, L. C. ; CORREA DA SILVA, F. S.. Assessment of Fun from the Analysis of Facial Expressions to Support Video Game Design. Em: Artificial Intelligence and Simulation of Behaviour 2016, 2016.Qualis: Não identificado (Artificial Intelligence and Simulation of Behaviour 2016)
9. PEREIRA, A. B. C. ; PICONEZ, S. C. B. ; CORREA DA SILVA, F. S.. Mathematics Experiences: pedagogical implications with the use of digital games, m-learning and social networks. Em: XI Conferencia latinoamericana de objetos y tecnologias de aprendizaje, 2016.Qualis: Não identificado (XI Conferencia latinoamericana de objetos y tecnologias de aprendizaje)
10. CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; CORREA DA SILVA, F. S.. Device discovery strategies for the IoT. Em: International Symposium on Consumer Electronics, 2016.Qualis: Não identificado (International Symposium on Consumer Electronics)
11. SULTANA, T. ; LOCORO, A. ; CORREA DA SILVA, F. S.. Time Accounting System: validating a socio-technical solution for service exchange in local communities. Em: XIII Conference of the Italian Chapter of the AIS, 2016.Qualis: Não identificado (XIII Conference of the Italian Chapter of the AIS)
12. PEREIRA, A. B. C. ; CORREA DA SILVA, F. S. ; PICONEZ, S. C. B. ; ZIMMER, J. M.. Jogos Digitais no desenvolvimento de conceitos matemáticos sob perspectiva BYOD e abordagem m-Learning na escola pública. Em: Workshop de informática na escola - Congresso brasileiro de informática na educação, v. 1, 2016.Qualis: Não identificado (Workshop de informática na escola - Congresso brasileiro de informática na educação)
13. CORREA DA SILVA, FLAVIO S.; ROBERTSON, DAVE ; VASCONCELOS, Wamberto. LS2C - A Platform to Design, Implement and Execute Social Computations. Em: International Conference on Agents and Artificial Intelligence, v. 1, p. 196-203, 2015. Qualis: Não identificado (International Conference on Agents and Artificial Intelligence)
14. CORREA DA SILVA, F. S.; VIEIRA, L. C. ; BANDINI, S.. Engagement mechanisms for social machines. Em: Games and Learning Alliance Conference - Games for Health Workshop, 2015.Qualis: Não identificado (Games and Learning Alliance Conference - Games for Health Workshop)
15. VIEIRA, L. C. ; CORREA DA SILVA, F. S.. Assessment of fun in interactive systems: a survey. Em: 10th International Brazilian Meeting on Cognitive Science, 2015.Qualis: Não identificado (10th International Brazilian Meeting on Cognitive Science)
16. CORRÊA, ANDREIWID SHEFFER ; CORRÊA, PEDRO LUIZ PIZZIGATTI ; DA SILVA, FLÁVIO SOARES CORRÊA. Transparency portals versus open government data. Em: the 15th Annual International Conference, p. 178, 2014. Qualis: Não identificado (the 15th Annual International Conference)
17. VIEIRA, L. C. ; CORREA DA SILVA, F. S.. Understanding fun. Em: Videojogos 2014, 2014.Qualis: Não identificado (Videojogos 2014)
18. SATOSHI KAWAMOTO, ANDRE LUIZ ; MARTINS, VALERIA FARINAZZO ; DA SILVA, FLAVIO SOARES CORREA. Converging Natural User Interfaces guidelines and the design of applications for older adults. Em: 2014 IEEE International Conference on Systems, p. 2328, 2014. Qualis: Não identificado (2014 IEEE International Conference on Systems)
19. CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; VASCONCELOS, Wamberto. Experimental Interaction Science. Em: AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour, v. 1, p. 1-5, 2013.Qualis: Não identificado (AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour)
20. KAWAMOTO, A. L. S. ; CORREA DA SILVA, FLÁVIO SOARES. Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada. Em: Tendências e técnicas em realidade virtual e aumentada, v. 3, p. 75-88, 2013.Qualis: C
21. VENERO, M. L. F. ; ARAUJO, C. J. A. ; DAVID, DIEGO MIRA ; CORREA DA SILVA, FLÁVIO SOARES ; MAGALHAES, A. G.. OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. Em: Simpósio Brasileiro de Sistemas de Informação, p. 158-169, 2013.Qualis: Não identificado (Simpósio Brasileiro de Sistemas de Informação)
22. FERNÁNDEZ VENERO, MIRTHA LINA ; CORREA DA SILVA, FLÁVIO SOARES. On the use of SPIN for studying the behavior of nested Petri nets. Em: 16th Brazilian Symposium on Formal Methods, v. 8195, p. 83-98, 2013.Qualis: Não identificado (16th Brazilian Symposium on Formal Methods)
23. SUCA, E. G. ; CORREA DA SILVA, F. S.. An Ontology for Portability and Interoperability Digital Documents. Em: 5th International Conference on Knowledge Management and Information Sharing, 2013.Qualis: Não identificado (5th International Conference on Knowledge Management and Information Sharing)
24. VENERO, M. L. F. ; CORREA DA SILVA, F. S.. Modelling and simulating interaction protocols using Nested Petri Nets. Em: Workshop on Formal Methods in the Development of Software, 2013.Qualis: Não identificado (Workshop on Formal Methods in the Development of Software)
25. ALMEIDA, M. S. O. ; CORREA DA SILVA, FLAVIO S.. A Systematic Review of Game Design Methods and Tools. Em: 12th International Conference on Entertainment Computing, v. 1, p. 17-29, 2013.Qualis: Não identificado (12th International Conference on Entertainment Computing)
26. ANDREWS, P. Y. ; CORREA DA SILVA, F. S.. Using Parliamentary Open Data to Improve Participation. Em: International Conference on Theory and Practice of Electronic Governance, v. 1, p. 1-8, 2013.Qualis: Não identificado (International Conference on Theory and Practice of Electronic Governance)
27. ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Towards a Library of Game Components. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games)
28. ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Requirements for game design tools. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games)
29. ALMEIDA, M. S. O. ; GONCALVES, R. A. ; VALENTIN, L. G. ; CORREA DA SILVA, F. S.. Towards a Game Design Patterns Suggestion Tool. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games)
30. CARNIELLI, W. ; BUENO-SOLER, J. ; CORREA DA SILVA, F. S.. The King of Reasonshire: a computer game to practice critical thinking. Em: Third International Congress on Tools for Teaching Logic, 2011.Qualis: Não identificado (Third International Congress on Tools for Teaching Logic)
31. ARAUJO, C. J. A. ; CORREA DA SILVA, F. S.. A software platform for governmental virtual institutions. Em: The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011.Qualis: Não identificado (The 4th International Conference on Ubi-media Computing (U-Media 2011))
32. CORREA DA SILVA, F. S.; Bressane Neto, A. F.. Affective agents for empathic interactions. Em: International Conference on Entertainment Computing, v. 6972, 2011.Qualis: Não identificado (International Conference on Entertainment Computing)
33. SUCA, E. G. ; CORREA DA SILVA, F. S.. Interoperabilidade e Portabilidade de Documentos Digitais Usando Ontologias. Em: ONTOBRAS-MOST, p. 117-122, 2011.Qualis: Não identificado (ONTOBRAS-MOST)
34. Bressane Neto, A. F. ; CORREA DA SILVA, F. S.. On the Construction of Synthetic Characters with Personality and Emotion. Em: Brazilian Symposium of Artificial Intelligence, v. 6404, p. 102-111, 2010.Qualis: Não identificado (Brazilian Symposium of Artificial Intelligence)
35. AGUSTI, J. ; CORREA DA SILVA, F. S.. Experimental information and experiential knowledge. Em: European Conference on Philosophy and Computing, 2009.Qualis: Não identificado (European Conference on Philosophy and Computing)
36. E. Passos ; Pozzer, C. ; Montenegro, A. ; CORREA DA SILVA, F. S. ; CLUA, E.. Hierarchical PNF Networks: A Temporal Model of Events for the Representation and Dramatization of Storytelling. Em: 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009.Qualis: Não identificado (8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES)
37. VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S.. A Framework for Execution and 3D Visualization of Situated Cellular Agent Based Crowd Simulations. Em: 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008.Qualis: Não identificado (23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation)
38. CORREA DA SILVA, F. S. Knowledge-based Modality Selection for Information Presentation in a Mobile System for Primary Homecare. Em: Artificial Intelligence and Simulation of Behaviour - Workshop on Multimodal Output Generation, 2008.Qualis: Não identificado (Artificial Intelligence and Simulation of Behaviour - Workshop on Multimodal Output Generation)
39. CORREA DA SILVA, F. S.; VIZZARI, G. ; MOSCA, A.. Coupled MMASS: A Formal Model for Non-deterministic Multi-agent Simulations. Em: Artificial Intelligence and Simulation of Behaviour - Workshop of Logic and the Simulation of Interaction and Reasoning, 2008.Qualis: Não identificado (Artificial Intelligence and Simulation of Behaviour - Workshop of Logic and the Simulation of Interaction and Reasoning)
40. GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S.. Semantic Web Services for Intelligent Responsive Environments. Em: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008.Qualis: Não identificado (Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments)
41. GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S.. A Middleware for Smart Environments. Em: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008.Qualis: Não identificado (Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments)
42. VIZZARI, G. ; BONOMI, A. ; CORREA DA SILVA, F. S.. A Framework for Executing and Visualizing Situated Cellular Agent Based Crowd Simulations. Em: European Meeting on Cybernetics and Systems Research, 2008.Qualis: Não identificado (European Meeting on Cybernetics and Systems Research)
43. MASTHOFF, J. ; VASCONCELOS, Wamberto ; AITKEN, C. ; CORREA DA SILVA, F. S.. Agent-Based Group Modelling for Ambient Intelligence. Em: International Symposium on Affective Smart Environments, 2007.Qualis: Não identificado (International Symposium on Affective Smart Environments)
44. VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S.. A Framework for Interactive Situated Agents in Virtual Environments. Em: Worshop "From Objects to Agents" - WOA, 2007.Qualis: Não identificado (Worshop "From Objects to Agents" - WOA)
45. YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S.. Ambientes Virtuais Contextualizáveis Baseados em Jogos de Computador em Educação. Em: XIV Workshop sobre Educação em Computação - WEI, 2006.Qualis: Não identificado (XIV Workshop sobre Educação em Computação - WEI)
46. CORREA DA SILVA, F. S.; VASCONCELOS, Wamberto. Rule Schemata for Game Artificial Intelligence. Em: SBIA/IBERAMIA - Simpósio Brasileiro de Inteligência Artificial, v. 4140, p. 451-461, 2006.Qualis: Não identificado (SBIA/IBERAMIA - Simpósio Brasileiro de Inteligência Artificial)
47. CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 0-0, 2005.Qualis: Não identificado (2nd International Conference on Informatics in Control)
48. CORREA DA SILVA, F. S.; VASCONCELOS, Wamberto. Agent based management of responsive environments. Em: Congress of the italian association of artificial intelligence, v. 0, p. 0-0, 2005.Qualis: Não identificado (Congress of the italian association of artificial intelligence)
49. TREVISAN, Felipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S.. Low Cost Experiments in Cognitive Robotics for Planning in Hostile Environments with Incomplete Information. Em: CAEPIA 2005 - Conferencia de la Asociacion Espanola para la Inteligencia Artificial, v. 0, p. 0-0, 2005.Qualis: Não identificado (CAEPIA 2005 - Conferencia de la Asociacion Espanola para la Inteligencia Artificial)
50. NAKANISHI, Sérgio Haruo ; CORREA DA SILVA, F. S.. Game-engine as an Educational Tool in Software Engineering Courses. Em: WJogos 2005, v. 0, p. 0-0, 2005.Qualis: Não identificado (WJogos 2005)
51. YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S.. Ambientes Virtuais Contextualizáveis para Validação de Técnicas de Inteligência Artificial. Em: WJogos 2005, v. 0, p. 0-0, 2005.Qualis: Não identificado (WJogos 2005)
52. CORREA DA SILVA, F. S.; JORGE, Tiago Motta. Towards Complex Reasoning Agents for Action Games. Em: Wjogos 2005, v. 0, p. 0-0, 2005.Qualis: Não identificado (Wjogos 2005)
53. SILVA, Filipe Correa Lima da ; CORREA DA SILVA, F. S.. Um Ambiente Virtual Baseado em Jogos para o Aprendizado de Inteligência Artificial. Em: WJogos 2005, v. 0, p. 0-0, 2005.Qualis: Não identificado (WJogos 2005)
54. IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar. AcMus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. Em: IV Congresso Iberoamericano de Acústica, v. 1, p. 1-8, 2004.Qualis: Não identificado (IV Congresso Iberoamericano de Acústica)
55. CORREA DA SILVA, F. S.; MENESES, E. X.. Expressing Systems Capabilities for Knowledge Coordination. Em: Agents Architectures and Multi-Agent Systems, 2002.Qualis: Não identificado (Agents Architectures and Multi-Agent Systems)
56. CORREA DA SILVA, F. S. Towards a Logic of Perishable Propositions. Em: WORKCOMP, 2002.Qualis: Não identificado (WORKCOMP)
57. SILVA, Flávio Soares Corrêa da ; MENESES, Eudênia X ; MELO, Ana C. V. de. Capabilities in Formal Knowledge Coordination for Business Integration. Em: 17th Annual ACM Conference on Object-oriented Programming, 2002.Qualis: Não identificado (17th Annual ACM Conference on Object-oriented Programming)
58. MENESES, E. X. ; CORREA DA SILVA, F. S.. Um Modelo para Cooperação entre Sistemas Baseados em Conhecimento Baseado em Capacidades. Em: ENIA - Encontro Nacional de Inteligência Artificial, 2001.Qualis: Não identificado (ENIA - Encontro Nacional de Inteligência Artificial)
59. IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S.. ACMUS: Design and Simulation of Musical Listening Environments. Em: Eighth Brazilian Symposium of Computer Music, 2001.Qualis: Não identificado (Eighth Brazilian Symposium of Computer Music)
60. CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; AGUSTI, J. ; ARAUJO, R. C.. Knowledge Sharing Between a Probabilistic Logic and a Bayesian Belief Network. Em: International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems, p. 1299-1306, 2000.Qualis: Não identificado (International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems)
61. CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de. A Lightweight Capability Communication Mechanism. Em: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, v. 1821, p. 660-670, 2000.Qualis: A1 (ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE)
62. CORREA DA SILVA, F. S.; VITORINO, S. A.. Remarks on Reasoning with Progressively Obsolete Information. Em: SBIA/IBERAMIA, 2000.Qualis: Não identificado (SBIA/IBERAMIA)
63. CORREA DA SILVA, F. S.; ZANUTTO, J.. Calculo de Equivalencia de Operadores Morfologicos via Sistemas de Re-escrita de Termos. Em: LAPTEC 2000, 2000.Qualis: Não identificado (LAPTEC 2000)
Resumos expandidos publicados em anais de congressos (9)
1. BANDINI, S. ; CROCIANI, L. ; VIZZARI, G. ; CORREA DA SILVA, F. S. ; GORRINI, A.. The Role of Compliance in Heterogeneous Interacting Agents: Data from Observations. Em: AAMAS 2017 - workshop Agent based modeling for urban systems, 2017, São Paulo. AAMAS 2017 - workshop Agent based modeling for urban systems, v. 1, 2017. Qualis: Não identificado (AAMAS 2017 - WORKSHOP AGENT BASED MODELING FOR URBAN SYSTEMS, 2017, SÃO PAULO. AAMAS 2017 - WORKSHOP AGENT BASED MODELING FOR URBAN SYSTEMS)
2. CORREA DA SILVA, F. S.; CHUNG, P. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, D. S. ; VASCONCELOS, W. W.. Hazard identication for UAVs based on soft institutions. Em: AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, 2017, Sao Paulo. AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, v. 1, 2017. Qualis: Não identificado (AAMAS 2017 - WORKSHOP COORDINATION, ORGANISATIONS, INSTITUTIONS AND NORMS, 2017, SAO PAULO. AAMAS 2017 - WORKSHOP COORDINATION, ORGANISATIONS, INSTITUTIONS AND NORMS)
3. SUCA, E. G. ; CORREA DA SILVA, F. S.. A logical approach for preserving confidentiality in shared knowledge bases. Em: ONTOBRAS - Seminário de pesquisa em ontologias do Brasil, 2016, Curitiba, PR - Brasil. Proceedings ONTOBRAS 2016, 2016. Qualis: Não identificado (ONTOBRAS - SEMINÁRIO DE PESQUISA EM ONTOLOGIAS DO BRASIL, 2016, CURITIBA, PR - BRASIL. PROCEEDINGS ONTOBRAS 2016)
4. CORREA, ANDREIWID SHEFFER ; CORREA, PEDRO L.P. ; SILVA, DANIEL L. ; SILVA, FLAVIO SOARES CORREA DA. Really Opened Government Data: A Collaborative Transparency at Sight. Em: 2014 IEEE International Congress on Big Data (BigData Congress), 2014, Anchorage. 2014 IEEE International Congress on Big Data, p. 806-807, 2014. Qualis: Não identificado (2014 IEEE INTERNATIONAL CONGRESS ON BIG DATA , 2014, ANCHORAGE. 2014 IEEE INTERNATIONAL CONGRESS ON BIG DATA)
5. KAWAMOTO, A. L. S. ; MARTINS, V. F. ; CORREA DA SILVA, FLAVIO S.. Usability Evaluation of an Application Designed for the Older Adults. Em: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, v. 1, p. 189-192, 2013. Qualis: Não identificado (12TH INTERNATIONAL CONFERENCE ON ENTERTAINMENT COMPUTING, ICEC 2013, 2013, SÃO PAULO. 12TH INTERNATIONAL CONFERENCE, ICEC 2013, SÃO PAULO, BRAZIL, OCTOBER 16-18, 2013. PROCEEDINGS. ALEMANHA: SPRINGER)
6. Bressane Neto, A. F. ; CORREA DA SILVA, F. S.. Synthetic characters with personality and emotion. Em: Intelligent Virtual Agents, 2009, Amsterdam. Intelligent Virtual Agents. Berlin: Springer LNAI, v. 5773, p. 533-534, 2009. Qualis: Não identificado (INTELLIGENT VIRTUAL AGENTS, 2009, AMSTERDAM. INTELLIGENT VIRTUAL AGENTS. BERLIN: SPRINGER LNAI)
7. ARAUJO, C. J. A. ; CORREA DA SILVA, F. S.. Governmental virtual institutions. Em: International conference on theory and practice of electronic governance, 2009, Bogotá. Proceedings of international conference on theory and practice of electronic governance, 2009. Qualis: Não identificado (INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE, 2009, BOGOTÁ. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE)
8. VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S.. A Framework for Situated Crowd Behavior in Virtual Environments. Em: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007. Qualis: Não identificado (SBGAMES - SIMPÓSIO BRASILEIRO DE JOGOS DE COMPUTADOR, 2007, SÃO LEOPOLDO. ATAS DO SBGAMES)
9. CLUA, D. M. G. ; BERTONI, V. D. ; SILVA, R. A. ; CORREA DA SILVA, F. S.. ViDa - Jogo de Simulação de Vida e Evolução utilizando. Em: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007. Qualis: Não identificado (SBGAMES - SIMPÓSIO BRASILEIRO DE JOGOS DE COMPUTADOR, 2007, SÃO LEOPOLDO. ATAS DO SBGAMES)
Resumos publicados em anais de congressos (2)
1. SANTANA, E. ; COSTA, F. P. ; SETOGUTE, Y. ; CARVALHO, L. ; LIMA, P. ; SOUSA, M. ; GUNZ, B. ; AZEVEDO, F. ; SABBAGA, J. ; SANTOS, M. ; BIACHI, T. ; JARDIM, D. ; FREITAS, D. ; HORVAT, N. ; OTAVIANO, R. ; TESTAGROSSA, L. ; IEMMA, A. F. ; CORREA DA SILVA, F. S. ; TUSZYNSKI, J.. Exposure to low energy amplitude modulated radiofrequency electromagnetic fields (EMF) is associated with rapid improvement in quality of life (QoL) status in patients with advanced hepatocellular carcinoma (HCC), using various analyses of EORTC-C30. Em: European Society for Medical Oncology Congress 2019, 2019, Barcelona. Proc. ESMO 2019 (poster sessions), 2019.
2. MARTINS, V. ; KAWAMOTO, A. L. S. ; CORREA DA SILVA, F. S.. Guidelines for the Development of Gestural Interface Games for Older Adults. Em: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, v. 1, p. 1-1, 2013.
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (11)
1. CORREA DA SILVA, F. S. Information - Special Issue: Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Basel: MDPI. 2013. Editor convidado - número especial de períodico internacional
2. CORREA DA SILVA, F. S. Matemática discreta - uma introdução. São Paulo: Cengage Learning. 2010. Tradução/Livro
3. CORREA DA SILVA, F. S. Programação em MATLAB para engenheiros (segunda edição). São Paulo: Cengage Learning. 2010. segunda edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro
4. CORREA DA SILVA, F. S. Princípios de sistemas de informação (nona edição). São Paulo: Cengage Learning. 2010. nona edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro
5. VALLE, P. H. C. (tradutor) ; CORREA DA SILVA, F. S.. Fundamentos de Programação - Algoritmos, Estruturas de Dados e Objetos. São Paulo: McGraw-Hill. 2007. Tradução/Livro
6. CORREA DA SILVA, F. S.; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro. Sistemas de Informação. São Paulo: Thomson. 2005. Tradução/Livro
7. CORREA DA SILVA, F. S. Construção de Compiladores. São Paulo: Thomson. 2004. Tradução/Livro
8. CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F.. Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson Pioneira. 2002. Tradução/Livro
9. CORREA DA SILVA, F. S. Programação MATLAB Para Engenheiros. São Paulo: Thomson. 2002. Tradução/Livro
10. NUNES, M. ; CORREA DA SILVA, F. S.. Estruturas de Dados e Algoritmos em C++. São Paulo: Pioneira / Thomson Learning. 2002. Tradução/Livro
11. MENDES, M. A. ; CORREA DA SILVA, F. S.. Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning. 2002. Tradução/Livro

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (1)
1. Anderson Tadeu de Oliveira Vicente. Cidades Inteligentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2023.
  Orientador: Flavio Soares Correa da Silva.
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (3)
1. Andreiwid Sheffer Correa. . Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
  Supervisor: Flavio Soares Correa da Silva.
2. Mirtha Lina Fernández Venero. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
  Supervisor: Flavio Soares Correa da Silva.
3. Pierre Yves Andrews. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
  Supervisor: Flavio Soares Correa da Silva.
Tese de doutorado (16)

João Marcos de Mattos Barguil. Análise de viés em um sistema de crowdsourcing de acessibilidade utilizando jogos sérios. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2023.
Orientadores: Fabio Kon, Flavio Soares Correa da Silva.
Herez Moise Kattan. Mob Programming para escrever código com alta complexidade e trabalho remoto. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
Pablo Cesar Ccori. A framework for device interaction in a network of things. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
Joelma Cristina Costa e Silva. Análise baseada em contexto do movimento de pedestres em terminais de transporte. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
Maricy Caregnato. Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Flavio Soares Correa da Silva.
Luiz Carlos Vieira. Assessment of fun from the analysis of facial images. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Flavio Soares Correa da Silva.
Adalberto Bosco Pereira. Uso de jogos digitais no desenvolvimento de competências curriculares da matemática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Flavio Soares Correa da Silva.
Andreiwid Sheffer Correa. Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2017.
Supervisor: Flavio Soares Correa da Silva.
André Luiz Kawamoto. Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
Marcos Silvano de Almeida. Design de jogos baseado em componentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
Erika Guetti Suca. Gerenciamento de privacidade baseado em ontologias e privacidade diferencial aplicado a sistemas de rastreamento de saúde. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Flavio Soares Correa da Silva.
Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2012.
Orientador: Flavio Soares Correa da Silva.
Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000.
Supervisor: Flavio Soares Correa da Silva.
Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
Dissertação de mestrado (29)

Adauton Heringer. End-to-end learning for autonomous vehicles - a narrow approach. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
Roberto Almeida Shimizu. Creditworthiness using social capital. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
Pamela Rosy Revuelta Quintanilla. Comparing vector document representation methods for authorship identification. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Flavio Soares Correa da Silva.
Vinicius Kiwi Daros. Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Flavio Soares Correa da Silva.
Juliana Sato Yamashita. Visualização de tags para explicar e filtrar recomendações de músicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Flavio Soares Correa da Silva.
Diego Mira David. Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
Erika Guetti Suca. Interoperabilidade de documentos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2012.
Orientador: Flavio Soares Correa da Silva.
Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010.
Orientador: Flavio Soares Correa da Silva.
Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: Flavio Soares Correa da Silva.
Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Flavio Soares Correa da Silva.
Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2008.
Orientador: Flavio Soares Correa da Silva.
Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Flavio Soares Correa da Silva.
Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Flavio Soares Correa da Silva.
Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Flavio Soares Correa da Silva.
Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Flavio Soares Correa da Silva.
Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (19)

2018-2021. Data at the heart of improving health and care: the Brazil-UK secure data sharing network
Descrição: Research project funded under the British Academy of Medical Sciences Gobal Challenges Research Fund Netowrking Grant Scheme. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador / Wamberto Weber Vasconcelos - Integrante / Corri Black - Integrante. Financiador(es): British Academy of Medical Sciences - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2016-2018. Fenômenos em meso-escala: multidões, manadas e congestionamentos de tráfego
Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador.
Membro: Flavio Soares Correa da Silva.
2015-2016. Colaboração acadêmica - Loughborough University (UK) - Newton Fund/FAPESP
Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador / Paul Chung - Integrante.
Membro: Flavio Soares Correa da Silva.
2014-2016. A platform for the management of a distributed cluster for innovative gaming and animation companies
Descrição: Projeto de pesquisas - cooperação internacional - co-financiado por FAPESP e Edinburgh University.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador.
Membro: Flavio Soares Correa da Silva.
2013-2015. Ciência experimental de interações
Descrição: Projeto de pesquisas - auxílio regular - com apoio financeiro da FAPESP.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador.
Membro: Flavio Soares Correa da Silva.
2009-2013. MOBILE - processos musicais interativos
Descrição: projeto temático multidisciplinar - FAPESP. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Integrante / Fernando Iazzetta - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
Descrição: Desenvolvimento de pesquisa científica sobre a utilização de novas tecnologias na produção artística, com foco em música interativa.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (8) / Doutorado: (6) . Integrantes: Fabio Kon - Integrante / Fernando Iazzetta - Coordenador / Nelson Posse Lago - Integrante / Marcelo Gomes de Queiroz - Integrante. Financiador(es): (FAPESP) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Fabio Kon.
2009-2011. Laboratório de Interoperabilidade
Descrição: laboratório de pesquisas. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador. Financiador(es): Microsoft Corporation - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2009-2010. TimeSaver
Descrição: Automação de serviços públicos e e-Gov, oferecidos pela web com interface baseada em mundos virtuais e agentes autônomos inteligentes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Rosa Alarcon - Integrante. Financiador(es): Latin American and Caribbean ICT Research - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2008-2011. JamSession - a decentralized architecture for virtual worlds and the web 3.0
Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) . Integrantes: Flavio Soares Correa da Silva - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Microsoft Research - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2008-2010. Projeto Borboleta - Computação Móvel para Atendimento Domiciliar de Saúde
Situação: Concluído; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Coordenador. Financiador(es): Microsoft Research - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2005-2010. ConsRel - Logical Consequence and Combinations of Logics
Descrição: Projeto de pesquisa multi-institucional (projeto temático FAPESP) envolvendo pesquisadores da USP e da UNICAMP. O tema se refere a lógica formal - fundamentos e aplicações.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Integrante / Walter Carnielli - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 3
Membro: Flavio Soares Correa da Silva.
2005-2010. LCGT - Laboratory for Computer Games Technology
Descrição: Projeto financiado pela Microsoft Research. Tem por objetivo montar laboratório de pesquisas em jogos de computador, visando desenvolver a tecnologia específica para o desenvolvimento de jogos, desenvolver jogos para fins específicos e construir um currículo de ensino especializado em jogos de computador.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Coordenador. Financiador(es): Microsoft Corporation - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2005-2007. EIE - Espaços Inteligentes para Engenharia
Descrição: Espaços inteligentes para engenharia - aplicação de técnicas de inteligência artificial para a construção de espaços interativos de suporte a atividades de engenharia, em especial engenharia de manutenção de grandes estruturas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Crhistian Alberto Noriega Guerra - Integrante / Gustavo Henrique Salazar Torres - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2003-2006. ACMUS
Descrição: ACMUS - Acústica Musical: projeto temático FAPESP, multidepartamental que congrega pesquisadores e estudantes de pós graduação dos departamentos de Ciência da Computação e de Música da USP. O objetivo é construir ferramentas de software e hardware para diagnóstico e sugestões de ações corretivas sobre a qualidade acústica de ambientes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Integrante / Fernando Iazzetta - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 2
Membro: Flavio Soares Correa da Silva.
2003-2005. BIBO - Busca Inteligente Baseada em Ontologias
Descrição: Busca Inteligente Baseada em Ontologias - projeto que trata da organização de informação com base em ontologias para busca na web semântica. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador / Leliane Nunes de Barros - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 1
Membro: Flavio Soares Correa da Silva.
2003-2005. CCC-AHIA
Descrição: CCC-AHIA - Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos. Projeto regular financiado pela FAPESP.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Renata Wasserman - Integrante / Leliane Nunes de Barros - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2003-2004. ECLIPSE IDE para CIAO PROLOG
Descrição: Construção de IDE para desenvolvimento de projetos em CIAO Prolog, usando a plataforma ECLIPSE.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Flavio Soares Correa da Silva.
2003-2004. RC-CAI
Descrição: RC-CAI - Redes de Capacidades para Cooperação entre Agentes Inteligentes. Projeto internacional e multiinstitucional, congregando pesquisadores da USP, da Universidade Autônoma de Barcelona e do Instituto de Pesquisas em Inteligência Artificial da Espanha.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante / Carles Sierra - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro. Número de produções C, T & A: 3
Membro: Flavio Soares Correa da Silva.
2000-2004. Convênio Acadêmico USP/IIIA (Espanha)
Descrição: Convênio acadêmico amplo entre o depto. de ciência da computação da USP (SP) e o IIIA/Espanha. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante. Financiador(es): Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro. Número de produções C, T & A: 13
Membro: Flavio Soares Correa da Silva.

Prêmios e títulos

Total de prêmios e títulos (11)

Scientific and Academic Advisor (reconhecimento acadêmico), Autem Medical LLC, USA.. 2020.
Membro: Flavio Soares Correa da Silva.
AIxIA membro regular, AixIA - Associazione Italiana per l'Intelligenza Artificiale.. 2018.
Membro: Flavio Soares Correa da Silva.
Literati Award 2018 - co-author of "Transparency and open government data", Emerald Publishing co.. 2018.
Membro: Flavio Soares Correa da Silva.
Academic Advisor (reconhecimento acadêmico), Foundation For Social Innovation, USA.. 2015.
Membro: Flavio Soares Correa da Silva.
Best paper award, International Conference on Entertainment Computing.. 2013.
Membro: Flavio Soares Correa da Silva.
Best paper award (2nd place), SBGames Arte e Design.. 2013.
Membro: Flavio Soares Correa da Silva.
Concurso Latinoamericano de Dissertações de Mestrado (2o. Lugar), Centro Latinoamericano de Estudios en Informatica.. 2011.
Membro: Flavio Soares Correa da Silva.
Best paper award, International Conference on Entertainment Computing.. 2011.
Membro: Flavio Soares Correa da Silva.
ACM Senior Member, Association for Computing Machinery (USA).. 2009.
Membro: Flavio Soares Correa da Silva.
AISB Senior Member, AISB - British Society for Studies of Artificial Intelligence and Simulation of Behaviour.. 2009.
Membro: Flavio Soares Correa da Silva.
Prêmio Jabuti 2007 - Primeiro lugar (livro Lógica para Computação), Câmara Brasileira do Livro.. 2007.
Membro: Flavio Soares Correa da Silva.

Participação em eventos

Total de participação em eventos (8)

Autonomous Agents and Multiagent Systems. Autonomous Agents and Multiagent Systems. 2002. (Congresso).
Workcomp - Congresso de Informática. Workcomp - Congresso de Informática. 2002. (Congresso).
Brazilian Symposium of Computer Music. Brazilian Symposium of Computer Music. 2001. (Congresso).
Encontro Nacional de Inteligência Artificial. Encontro Nacional de Inteligência Artificial. 2001. (Congresso).
Information Processing and Management of Uncertainty. Information Processing and Management of Uncertainty. 2000. (Congresso).
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 2000. (Congresso).
Lógica Aplicada - LAPTEC. Lógica Aplicada - LAPTEC. 2000. (Congresso).
Simpósio Brasileiro de Inteligência Artificial - SBIA / IBERAMIA. Simpósio Brasileiro de Inteligência Artificial / IBERAMIA. 2000. (Congresso).

Organização de eventos

Total de organização de eventos (1)

CORREA DA SILVA, F. S.; BANDINI, S.. Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments. 2008. Congresso

Lista de colaborações

Colaborações endôgenas (6)

Flavio Soares Correa da Silva ⇔ Ana Cristina Vieira de Melo (5.0)
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, 2002. Qualis: A1
MELO, Ana Cristina Vieira de ; CORREA DA SILVA, F. S.. Princípios de Linguagens de Programação. 1 ed. São Paulo: Edgard Blucher, 2003. v. 1, p. 212.
SILVA, Flávio Soares Corrêa da ; MENESES, Eudênia X ; MELO, Ana C. V. de. Capabilities in Formal Knowledge Coordination for Business Integration. Em: 17th Annual ACM Conference on Object-oriented Programming, 2002.Qualis: Não identificado (17th Annual ACM Conference on Object-oriented Programming)
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de. A Lightweight Capability Communication Mechanism. Em: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, v. 1821, p. 660-670, 2000.Qualis: A1 (ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE)
CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F.. Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson Pioneira. 2002. Tradução/Livro

Flavio Soares Correa da Silva ⇔ Marcelo Finger (3.0)
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, 2002. Qualis: A1
CORREA DA SILVA, F. S.; FINGER, Marcelo ; MELO, Ana Cristina Vieira de. Lógica para Computação. 1 ed. São Paulo: Thomson Learning, 2006. v. 1, p. 232.
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.Qualis: Não identificado (2nd International Conference on Informatics in Control)

Flavio Soares Correa da Silva ⇔ Fabio Kon (2.0)
IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar. Acmus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. Em: IV Congresso Iberoamericano de Acústica, v. 1, p. 1-8, 2004.Qualis: Não identificado (IV Congresso Iberoamericano de Acústica)
IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S.. ACMUS: Design and Simulation of Musical Listening Environments. Em: Eighth Brazilian Symposium of Computer Music, 2001.Qualis: Não identificado (Eighth Brazilian Symposium of Computer Music)

Flavio Soares Correa da Silva ⇔ Leliane Nunes de Barros (2.0)
TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S.. Designing logic-based robots.. Inteligencia Artificial, Espanha. v. 10, n. 31, p. 11-22, 2006. Qualis: Não identificado (INTELIGENCIA ARTIFICIAL, ESPANHA)
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.Qualis: Não identificado (2nd International Conference on Informatics in Control)

Flavio Soares Correa da Silva ⇔ Marcelo Gomes de Queiroz (1.0)
IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar. Acmus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. Em: IV Congresso Iberoamericano de Acústica, v. 1, p. 1-8, 2004.Qualis: Não identificado (IV Congresso Iberoamericano de Acústica)

Flavio Soares Correa da Silva ⇔ Renata Wassermann (1.0)
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.Qualis: Não identificado (2nd International Conference on Informatics in Control)

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 22/04/2025 21:29:30

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br