INCT da Internet do Futuro

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 (22/05/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 (30)
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, issn: 2405-9595, 2021.
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, issn: 2405-9595, 2020.
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, issn: 0928-1541, 2020.
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, issn: 0740-624X, 2019.
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, issn: 2525-9063, 2019.
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, issn: 2162-2248, 2018.
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, issn: 0098-3063, 2018.
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, issn: 1750-6166, 2017.
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, issn: 0141-8130, 2017.
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, issn: 1674-9804, 2017.
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, issn: 2473-2621, 2017.
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, issn: 1619-1366, 2016.
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, issn: 1389-0417, 2016.
14. DA SILVA, FLAVIO. Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information. v. 4, p. 31-32, issn: 2078-2489, 2013.
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, issn: 0924-669X, 2012.
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, issn: 0950-7051, 2012.
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, issn: 1539-3100, 2012.
18. CORREA DA SILVA, F. S. Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems. v. 30, p. 1-24, issn: 0219-1377, 2011.
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, issn: 0897-1986, 2010.
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, issn: 0950-7051, 2008.
21. CORREA DA SILVA, F. S.; VASCONCELOS, W. W.. Managing Responsive Environments with Software Agents. Applied Artificial Intelligence. v. 21, p. 469-488, issn: 0883-9514, 2007.
22. CORREA DA SILVA, F. S.; PANIGASSI, R. ; HULOT, C.. Learning Management Systems Desiderata for Competitive Universities. EURODL (Oslo). v. 2007, p. 1, issn: 1027-5207, 2007.
23. TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S.. Designing Logic-based Robots. Inteligencia Artificial. v. 10, n. 31, p. 11-22, issn: 1137-3601, 2006.
24. CORREA DA SILVA, F. S. Towards a Logic of Perishable Propositions. Applied Intelligence (Boston). v. 23, n. 2, p. 121-130, issn: 0924-669X, 2005.
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, issn: 1460-7425, 2005.
26. CORREA DA SILVA, F. S.; AGUSTI, J.. Issues on Knowledge Coordination. Knowledge and Process Management (Online). v. 10, n. 1, p. 37-59, issn: 1099-1441, 2003.
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, issn: 0950-7051, 2002.
28. CORREA DA SILVA, F. S.; CARBOGIM, D. V.. Facts, Annotations, Arguments, and Reasoning. New Generation Computing. v. 19, n. 1, p. 1-22, issn: 0288-3635, 2001.
29. CARBOGIM, D. V. ; CORREA DA SILVA, F. S.. Annotated Logic Applications For Imperfect Information. Applied Intelligence. v. 9, p. 163-172, 1998.
30. CORREA DA SILVA, F. S. On Proof- And Model-Based Techniques For Reasoning With Uncertainty. International Journal of Intelligent Systems. v. 10, p. 561-570, 1995.
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 (11)
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, Estados Unidos. : 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.
7. CORREA DA SILVA, F. S.; KON, F.. A Fuzzy Categorial Grammar For The Harmonisation Of Melodies. Em: D Dubois; H Prade; R R Yager. (Org.). Fuzzy Set Methods in Information Engineering: A Guided Tour of Applications. : John Wiley & Sons, Inc.. 1997.p. 457-466.
8. CORREA DA SILVA, F. S. Fuzzy Logic. Em: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed. : Springer-Verlag. 1997..
9. CORREA DA SILVA, F. S. Probabilistic Logic. Em: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed. 1997..
10. BARRERA, J. ; CORREA DA SILVA, F. S.. Automatic Programming Of Mmachs For Ocr. Em: P Maragos; R W Schafer; M A Butt. (Org.). Mathematical Morphology and its Applications to Image and Signal Processing. 1996..
11. CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J.. Automated Reasoning With Uncertainties. Em: M Masuch; L Pawlos. (Org.). Knowledge Representation and Uncertainty. : Springer-Verlag. 1993.v. 808, .
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 (76)
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.
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.
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.
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.
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.
6. da Conceição, Arlindo F.; SILVA, F. S. C. ; ROCHA, V. ; Angela Locoro ; BARGUIL, J. M. M.. Electronic Health Records using Blockchain Technology. Em: Anais do I Workshop em Blockchain: Teoria, v. 1, p. 1, 2018.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
17. VIEIRA, L. C. ; CORREA DA SILVA, F. S.. Understanding fun. Em: Videojogos 2014, 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
32. CORREA DA SILVA, F. S.; Bressane Neto, A. F.. Affective agents for empathic interactions. Em: International Conference on Entertainment Computing, v. 6972, 2011.
33. SUCA, E. G. ; CORREA DA SILVA, F. S.. Interoperabilidade e Portabilidade de Documentos Digitais Usando Ontologias. Em: ONTOBRAS-MOST, p. 117-122, 2011.
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.
35. AGUSTI, J. ; CORREA DA SILVA, F. S.. Experimental information and experiential knowledge. Em: European Conference on Philosophy and Computing, 2009.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
55. CORREA DA SILVA, F. S.; MENESES, E. X.. Expressing Systems Capabilities for Knowledge Coordination. Em: Agents Architectures and Multi-Agent Systems, 2002.
56. CORREA DA SILVA, F. S. Towards a Logic of Perishable Propositions. Em: WORKCOMP, 2002.
57. CORREA DA SILVA, F. S.; MENESES, E. X. ; MELO, Ana Cristina Vieira de. Capabilities in Formal Knowledge Coordination for Business Integration. Em: Workshop - OOPSLA, 2002.
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.
59. IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S.. ACMUS: Design and Simulation of Musical Listening Environments. Em: VIII Simpósio Brasileiro de Computação e Música, v. 1, p. 1-7, 2001.
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.
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.
62. CORREA DA SILVA, F. S.; VITORINO, S. A.. Remarks on Reasoning with Progressively Obsolete Information. Em: SBIA/IBERAMIA, 2000.
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.
64. CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; AGUSTI, J. ; MELO, Ana Cristina Vieira de. Why Ontologies Are Not Enough For Knowledge Sharing. Em: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999.
65. CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S.. Cooperation Between Knowledge Based Systems. Em: International Congress on Expert Systems, 1998.
66. FINGER, Marcelo ; CORREA DA SILVA, F. S.. Data Obsolescence: Modelling Problems. Em: International Workshop on Temporal Representations and Reasoning, 1998.
67. TOLENTINO, M. V. ; SANTOS, P. E. ; RILLO, M. ; CORREA DA SILVA, F. S.. Actions As Prolog Programs. Em: IEEE Joint Symposia on Intelligence and Systems, 1996.
68. CORREA DA SILVA, F. S.; KON, F.. Stylistic Musical Choices Via Preference Rules. Em: International Fuzzy Systems Association Congress, 1995.
69. CORREA DA SILVA, F. S.; KON, F.. Categorial Grammar And Harmonic Analysis. Em: Brazilian Symposium on Computer Music, 1995.
70. BARRERA, J. ; CORREA DA SILVA, F. S. ; TOMITA, N.. Automatic Programming Of Binary Morphological Machines. Em: International Symposium on Optics, 1995.
71. BARRERA, J. ; CORREA DA SILVA, F. S. ; BANON, G.. Automating Programming Of Binary Morphological Machines. Em: International Symposium on Optics, 1994.
72. WASSERMAN, Renata ; CORREA DA SILVA, F. S.. Towards Efficient Modelling Of Distributed Knowledge Using Equational And Order-Sorted Logic. Em: Brazilian Symposium of Artificial Intelligence, 1994.
73. CORREA DA SILVA, F. S.; PIETRANTONIO, H.. Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. Em: ANPET, 1993.
74. CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J.. Automated Reasoning with Uncertainties. Em: Applied Logic Conference, 1992.
75. CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; CHUNG, P.. Automated Reasoning About an Uncertain Domain. Em: ECSQARU, 1991.
76. CORREA DA SILVA, F. S.; BUNDY, A.. On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. Em: Uncertainty in Artificial Intelligence, 1990.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Resumos publicados em anais de congressos (5)
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.
3. CORREA DA SILVA, F. S. Formalisations Of Uncertain Reasoning. Em: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999.
4. CORREA DA SILVA, F. S. On Reasoning With And Reasoning About Uncertainty In Artificial Intelligence. Em: European Summer Meeting of the Association of Symbolic Logic, 1996.
5. CORREA DA SILVA, F. S.; ABE, J. M. ; RILLO, M.. Paraconsistent Logics Of Knowledge And Belief. Em: International Congress on Logic, Methodology and Philosophy of Science, 1995.
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. 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 (35)

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.
Jefferson Zanutto. Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1999.
Orientador: Flavio Soares Correa da Silva.
Rodrigo de Salvo Braz. Alto Nível Em Redes Neurais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1998.
Orientador: Flavio Soares Correa da Silva.
Paulo Eduardo Santos. Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 1997.
Orientador: Flavio Soares Correa da Silva.
Daniela Vasconcelos Carbogim. Lógicas Anotadas: Teoria e Aplicações. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1996.
Orientador: Flavio Soares Correa da Silva.
Renata Wasserman. A Lógica de Estruturas de Features e Suas Aplicações. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1995.
Orientador: Flavio Soares Correa da Silva.
Roderick Mclean. Testing and Extending the Incidence Calculus. Dissertação - University of Edinburgh, . 1992.
Supervisor: 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 (22)

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: Este projeto tem como tema central a utilização e desenvolvimento de processos interativos no âmbito da produção musical mediada tecnologicamente. São abordados aspectos teóricos e conceituais dos processos interativos, bem como a produção de sistemas interativos de composição, performance e auralização. Os trabalhos estão agrupados em quatro linhas de pesquisa que funcionam de maneira integrada: 1) Sonologia; 2) Desenvolvimento de sistemas interativos; 3) Produção artística com sistemas interativos; 4) Acústica musical, psicoacústica e auralização. O objetivo do projeto é constituir um corpo de pesquisa e criação musical apoiados em processos interativos. Esses processos envolvem questões como mobilidade, espacialidade, criação de sistemas e interfaces, mapeamento de gestos, análise de repertório e produção artística interativa. Embora o foco esteja na produção musical, quatro áreas principais irão atuar de maneira integrada: a música, as artes visuais, a ciência da computação e a engenharia.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fernando Henrique de Oliveira Iazzetta - Coordenador / Silvia Laurentiz - Integrante / Flavio Soares - Integrante / Marcelo Gomes de Queiroz - Integrante / Rogério Luiz Moraes Costa - Integrante / Fabio Kon - Integrante / Cesar Villavicencio - Integrante / Régis Rossi A. Faria - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Fernando Henrique de Oliveira Iazzetta.
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): 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.
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-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-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.
1998-2001. SIDAM
Descrição: SIDAM - Sistema de Informações Distribuídas para Agentes Móveis. Projeto temático 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 - Integrante / Fábio Kon - Integrante / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Siang Wun Song - Coordenador / Alan Mitchel Durham - Integrante / Alfredo Goldman Vel Lejbman - Integrante / Dilma Menezes da Silva - Integrante / Francisco Carlos da Rocha Reverbel - Integrante / Hernan Astudillo - Integrante / João Eduardo Ferreia - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante / Markus Endler - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 4
Membro: Flavio Soares Correa da Silva.
1998-2000. DECAFF-KB
Descrição: Projeto de pesquisas internacional e multi-institucional, co-financiado pela CAPES e pelo Conselho Britânico. O objetivo do projeto foi o estudo de técnicas e métodos computacionais e formais para a cooperação entre sistemas baseados em conhecimento construídos com base em formalismos heterogêneos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / David Stuart Robertson - Integrante / Ana Cristina Vieira de Melo - Integrante / Jaume Agusti Cullell - Integrante / Wamberto Vasconcelos - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Conselho Britanico - Auxílio financeiro. Número de produções C, T & A: 10
Membro: Flavio Soares Correa da Silva.
1994-1996. VERASS
Descrição: VERASS - Verificação de Assinaturas. Projeto financiado pela Olivetti do Brasil, com o objetivo de construir um sistema capaz de reconhecer e verificar assinaturas em documentos.. Situação: Desativado; 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 / Junior Barrera - Integrante / Routo Terada - Coordenador. Financiador(es): Olivetti do Brasil - Auxílio financeiro. Número de produções C, T & A: 6
Membro: Flavio Soares Correa da Silva.

Prêmios e títulos

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

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.
Bolsa Individual - Pesquisa (2B), CNPq.. 1997.
Membro: Flavio Soares Correa da Silva.
Bolsa Individual - Pesquisa (2C), CNPq.. 1993.
Membro: Flavio Soares Correa da Silva.
Bolsa para Doutoramento no Exterior, CNPq.. 1989.
Membro: Flavio Soares Correa da Silva.
Bolsa de Iniciação Científica, FAPESP.. 1982.
Membro: Flavio Soares Correa da Silva.

Participação em eventos

Total de participação em eventos (34)

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).
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. 1999. (Congresso).
5th International Workshop on Temporal Representations and Reasoning. 5th International Workshop on Temporal Representations and Reasoning. 1998. (Congresso).
International Congress on Expert Systems. International Congress on Expert Systems. 1998. (Congresso).
seminário para graduação.Computação e Música. 1997. (Seminário).
European Summer Meeting of the ASL. European Summer Meeting of the ASL. 1996. (Congresso).
IEEE Joint Symposia on Intelligence and Systems. IEEE Joint Symposia on Intelligence and Systems. 1996. (Congresso).
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1996. (Congresso).
Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira.Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira. 1996. (Seminário).
10th International Congress on Logic, Methodology and Philosophy of Science. 10th International Congress on Logic, Methodology and Philosophy of Science. 1995. (Congresso).
Brazilian Symposium on Computer Music. Brazilian Symposium on Computer Music. 1995. (Congresso).
International Fuzzy Systems Association World Congress. International Fuzzy Systems Association World Congress. 1995. (Congresso).
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1994. (Congresso).
seminário regular.Duas Alternativas para Representação de Incertezas em Sistemas Baseados em Conhecimento. 1994. (Seminário).
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1994. (Congresso).
Pesquisa e Ensino em Transportes - ANPET. Pesquisa e Ensino em Transportes - ANPET. 1993. (Congresso).
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1993. (Congresso).
Applied Logic Conference. Applied Logic. 1992. (Congresso).
Colóquio de Iniciação Cienífica.Colóquio de Iniciação Científica. 1992. (Seminário).
Departmental Seminar.Program Synthesis for Mathematical Morphology. 1992. (Seminário).
European Conference on Symbolic and Quantitative Aspects of Uncertainty. European Conference on Symbolic and Quantitative Aspects of Uncertainty. 1991. (Congresso).
.A Multivalued Approach to the Representation of Uncertainty. 1990. (Seminário).
.A Framework for Representing Uncertainty in Automated Reasoning Systems. 1990. (Seminário).
6th International Conference - Uncertainty in Artificial Intelligence. 6th International Conference - Uncertainty in Artificial Intelligence. 1990. (Congresso).
Primeiro Encontro Regional Sobre Inteligência Artificial.Primeiro Encontro Regional Sobre Inteligência Artificial. 1986. (Encontro).
Seminário de CAD-CAM.Seminário de CAD-CAM. 1986. (Seminário).
Treinamento Introdutório em Contabilidade e Finanças.Treinamento Introdutório em Contabilidade e Finanças. 1984. (Oficina).

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 (9)

Flavio Soares Correa da Silva ⇔ Fabio Kon (4.0)
CORREA DA SILVA, F. S.; KON, F.. A Fuzzy Categorial Grammar For The Harmonisation Of Melodies. Em: D Dubois; H Prade; R R Yager. (Org.). Fuzzy Set Methods in Information Engineering: A Guided Tour of Applications. : John Wiley & Sons, Inc.. 1997.p. 457-466.
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.
IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S.. ACMUS: Design and Simulation of Musical Listening Environments. Em: VIII Simpósio Brasileiro de Computação e Música, v. 1, p. 1-7, 2001.
CORREA DA SILVA, F. S.; KON, F.. Categorial Grammar And Harmonic Analysis. Em: Brazilian Symposium on Computer Music, 1995.

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, issn: 0950-7051, 2002.
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.

Flavio Soares Correa da Silva ⇔ Arlindo Flavio da Conceição (2.0)
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, Estados Unidos. : Kindle Direct Publishing. 2020.v. 1, p. 33-48.
da Conceição, Arlindo F.; SILVA, F. S. C. ; ROCHA, V. ; Angela Locoro ; BARGUIL, J. M. M.. Electronic Health Records using Blockchain Technology. Em: Anais do I Workshop em Blockchain: Teoria, v. 1, p. 1, 2018.

Flavio Soares Correa da Silva ⇔ Fernando Henrique de Oliveira Iazzetta (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.
IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S.. ACMUS: Design and Simulation of Musical Listening Environments. Em: VIII Simpósio Brasileiro de Computação e Música, v. 1, p. 1-7, 2001.

Flavio Soares Correa da Silva ⇔ Junior Barrera (2.0)
BARRERA, Junior; TOMITA, N. S. T. ; SILVA, F. S. C. ; TERADA, R.. Automatic programming of binary morphological machines by PAC Learning. Em: Conference of the International Society fr Optical Engineering, v. 2568, p. 233-244, 1995.
BARRERA, Junior; SILVA, F. S. C. ; BANON, G. J. F.. Automating Programming Of Binary Morphological Machines. Em: Conference of the International Society for Optical Engineering, v. 2300, p. 229-240, 1994.

Flavio Soares Correa da Silva ⇔ Renata Wassermann (2.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.
WASSERMAN, Renata ; CORREA DA SILVA, F. S.. Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic. Em: Simposio Brasileiro de Inteligencia Artificial, 1994.

Flavio Soares Correa da Silva ⇔ Routo Terada (2.0)
BARRERA, Junior ; Terada, Routo ; Da Silva, Flávio Soares Corrêa ; Tomita, Nina Sumiko. Automatic Programming of MMach¿s for OCR. Em: P Maragos; R W Schafer; M A Butt. (Org.). Mathematical Morphology and its Applications to Image and Signal Processing. : Springer US. 1996.p. 385-392.
BARRERA, Junior; TOMITA, N. S. T. ; SILVA, F. S. C. ; TERADA, R.. Automatic programming of binary morphological machines by PAC Learning. Em: Conference of the International Society fr Optical Engineering, v. 2568, p. 233-244, 1995.

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.

Flavio Soares Correa da Silva ⇔ Nina Sumiko Tomita Hirata (1.0)
BARRERA, Junior; TOMITA, N. S. T. ; SILVA, F. S. C. ; TERADA, R.. Automatic programming of binary morphological machines by PAC Learning. Em: Conference of the International Society fr Optical Engineering, v. 2568, p. 233-244, 1995.

Data de processamento: 01/07/2025 10:12:49

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: kon@ime.usp.br