ReP USP - Resultado da busca

Dissertação (Mestrado)
Metamodelo unificado de linguagens de requisitos (2024)
Amaral, Larissa Mangolim ; Siqueira, Fábio Levy (Orientador) ; Brandão, Anarosa Alves Franco (coorient)
Unidade: EP
Subjects: ENGENHARIA DE REQUISITOS, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AMARAL, Larissa Mangolim. Metamodelo unificado de linguagens de requisitos. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php. Acesso em: 21 out. 2025.
APA
Amaral, L. M. (2024). Metamodelo unificado de linguagens de requisitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
NLM
Amaral LM. Metamodelo unificado de linguagens de requisitos [Internet]. 2024 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
Vancouver
Amaral LM. Metamodelo unificado de linguagens de requisitos [Internet]. 2024 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
Trabalho de evento-resumo
Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab (2022)
Moreira, Gabriel Brandão de Carvalho ; José Neto, João ; Lima, Ariane Machado
Source: 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. Conference titles: Simpósio Internacional de Iniciação Científica e Tecnológica da USP. Unidades: EP, EACH
Subjects: RNA, LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, BIOINFORMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOREIRA, Gabriel Brandão de Carvalho e JOSÉ NETO, João e LIMA, Ariane Machado. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. 2022, Anais.. São Paulo: Escola de Artes, Ciências e Humanidades, 2022. p. 71-72. Disponível em: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf. Acesso em: 21 out. 2025.
APA
Moreira, G. B. de C., José Neto, J., & Lima, A. M. (2022). Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. In 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (p. 71-72). São Paulo: Escola de Artes, Ciências e Humanidades. Recuperado de http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
NLM
Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2025 out. 21 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Vancouver
Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2025 out. 21 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Monografia/livro
Essentials of formal languages and automata (2019)
Rosa, João Luís Garcia
Unidade: ICMC
Subjects: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROSA, João Luís Garcia. Essentials of formal languages and automata. . Saarbrücken: Lambert Academic Publishing - LAP. . Acesso em: 21 out. 2025. , 2019
APA
Rosa, J. L. G. (2019). Essentials of formal languages and automata. Saarbrücken: Lambert Academic Publishing - LAP.
NLM
Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2025 out. 21 ]
Vancouver
Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2025 out. 21 ]
Dissertação (Mestrado)
Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (2018)
Santos, Gilmar Pereira dos; Lima, Ariane Machado (Orientador)
Unidade: EACH
Subjects: RECONHECIMENTO DE PADRÕES, ANÁLISE SINTÁTICA, LINGUAGENS FORMAIS, LINGUAGENS LIVRES DE CONTEXTO, RNA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Gilmar Pereira dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/. Acesso em: 21 out. 2025.
APA
Santos, G. P. dos. (2018). Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
NLM
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Vancouver
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Tese (Doutorado)
Macros como mecanismos de abstração em transformações textuais (2018)
Cereda, Paulo Roberto Massa; José Neto, João (Orientador)
Unidade: EP
Subjects: LINGUAGENS FORMAIS, AUTÔMATOS FINITOS, TRANSFORMAÇÃO DE PROGRAMAS, GRAMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CEREDA, Paulo Roberto Massa. Macros como mecanismos de abstração em transformações textuais. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/. Acesso em: 21 out. 2025.
APA
Cereda, P. R. M. (2018). Macros como mecanismos de abstração em transformações textuais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
NLM
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
Vancouver
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
Tese (Doutorado)
Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (2012)
Silva Filho, Reginaldo Inojosa da; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Subjects: TEORIA DOS AUTÔMATOS, APRENDIZADO COMPUTACIONAL, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA FILHO, Reginaldo Inojosa da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/. Acesso em: 21 out. 2025.
APA
Silva Filho, R. I. da. (2012). Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
NLM
Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
Vancouver
Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
Dissertação (Mestrado)
Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (2012)
Dalla Valle, Luís Emílio Cavechiolli; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Subjects: LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, IMAGEAMENTO DE SATÉLITE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DALLA VALLE, Luís Emílio Cavechiolli. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/. Acesso em: 21 out. 2025.
APA
Dalla Valle, L. E. C. (2012). Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
NLM
Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
Vancouver
Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
Trabalho de evento-resumo
Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade (2011)
Oliveira, Diogo de Queiroz; Sperling, David Moreno
Source: Resumos. Conference titles: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP. Unidade: IAU
Subjects: CONTEMPORANEIDADE, LINGUAGENS FORMAIS, ARQUITETURA, ARTES, CIDADES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Diogo de Queiroz e SPERLING, David Moreno. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. 2011, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2011. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 21 out. 2025.
APA
Oliveira, D. de Q., & Sperling, D. M. (2011). Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
NLM
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Vancouver
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Trabalho de evento
Memórias do WTA 2010: quarto workshop de tecnologia adaptativa (2010)
Rocha, Ricardo Luis de Azevedo da
Source: Workshop de Tecnologia Adaptativa. Conference titles: Workshop de Tecnologia Adaptativa. Unidade: EP
Subjects: ENGENHARIA DE COMPUTAÇÃO, TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Ricardo Luis de Azevedo da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. 2010, Anais.. São Paulo: Escola Politécnica, Universidade de São Paulo, 2010. . Acesso em: 21 out. 2025.
APA
Rocha, R. L. de A. da. (2010). Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. In Workshop de Tecnologia Adaptativa. São Paulo: Escola Politécnica, Universidade de São Paulo.
NLM
Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2025 out. 21 ]
Vancouver
Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2025 out. 21 ]
Tese (Doutorado)
Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (2010)
Martins Junior, José; Caurin, Glauco Augusto de Paula (Orientador)
Unidade: EESC
Subjects: ROBÓTICA, INTERAÇÃO HOMEM-MÁQUINA, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, José. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos. 2010. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/. Acesso em: 21 out. 2025.
APA
Martins Junior, J. (2010). Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
NLM
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Vancouver
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Dissertação (Mestrado)
Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (2008)
Oliveira, Valter Castelhano de; Silva, José Reinaldo (Orientador)
Unidade: EP
Subjects: ENGENHARIA DE REQUISITOS, NEGÓCIOS (MODELAGEM), LINGUAGENS FORMAIS, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Valter Castelhano de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/. Acesso em: 21 out. 2025.
APA
Oliveira, V. C. de. (2008). Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
NLM
Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
Vancouver
Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
Trabalho de evento
Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (2008)
Martins Junior, José; Camolesi Junior, Luiz; Caurin, Glauco Augusto de Paula
Source: Proceedings. Conference titles: ACM Symposium on Applied Computing - SAC. Unidade: EESC
Subjects: ROBÔS, INTERFACE HOMEM-COMPUTADOR, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, José e CAMOLESI JUNIOR, Luiz e CAURIN, Glauco Augusto de Paula. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364062. Acesso em: 21 out. 2025.
APA
Martins Junior, J., Camolesi Junior, L., & Caurin, G. A. de P. (2008). Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. In Proceedings. New York: ACM. doi:10.1145/1363686.1364062
NLM
Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1145/1363686.1364062
Vancouver
Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1145/1363686.1364062
Trabalho de evento-anais periodico
First steps towards tevising ontologies (2006)
Ribeiro, Márcio Moretto ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME
Subjects: REPRESENTAÇÃO DE CONHECIMENTO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Márcio Moretto e WASSERMANN, Renata. First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-03.pdf. Acesso em: 21 out. 2025. , 2006
APA
Ribeiro, M. M., & Wassermann, R. (2006). First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-03.pdf
NLM
Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
Vancouver
Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
Dissertação (Mestrado)
Sistema computacional de representação e manipulação de redes de Petri (2006)
Alves, Gustavo Ribeiro; Santos Filho, Diolino Jose dos (Orientador)
Unidade: EP
Subjects: REDES DE PETRI, LINGUAGENS FORMAIS, MONTADORES E COMPILADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVES, Gustavo Ribeiro. Sistema computacional de representação e manipulação de redes de Petri. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/. Acesso em: 21 out. 2025.
APA
Alves, G. R. (2006). Sistema computacional de representação e manipulação de redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
NLM
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
Vancouver
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
Trabalho de evento-anais periodico
Classifying ontologies (2006)
Kepler, Fábio Natanael ; Paz-Trillo, Christian; Riani, Joselyto; Ribeiro, Márcio Moretto ; Delgado, Karina Valdivia ; Barros, Leliane Nunes de ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME
Subjects: LÓGICA, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KEPLER, Fábio Natanael et al. Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-01.pdf. Acesso em: 21 out. 2025. , 2006
APA
Kepler, F. N., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Delgado, K. V., Barros, L. N. de, & Wassermann, R. (2006). Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-01.pdf
NLM
Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
Vancouver
Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
Relatorio tecnico
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto (2005)
Bravo Pariente, César Alberto; José Neto, João
Unidade: EP
Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAVO PARIENTE, César Alberto e JOSÉ NETO, João. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. . São Paulo: EPUSP. . Acesso em: 21 out. 2025. , 2005
APA
Bravo Pariente, C. A., & José Neto, J. (2005). Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. São Paulo: EPUSP.
NLM
Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2025 out. 21 ]
Vancouver
Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2025 out. 21 ]
Dissertação (Mestrado)
Propriedades de algumas classes de relações racionais (2004)
Souza, Rodrigo Nonamor Pereira Mariano de; Kobayashi, Nami (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Rodrigo Nonamor Pereira Mariano de. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/. Acesso em: 21 out. 2025.
APA
Souza, R. N. P. M. de. (2004). Propriedades de algumas classes de relações racionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
NLM
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Vancouver
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Tese (Doutorado)
Gramáticas livres de contexto adaptativas com verificação de aparência (2004)
Bravo Pariente, César Alberto; José Neto, João (Orientador)
Unidade: EP
Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS, AUTÔMATOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAVO PARIENTE, César Alberto. Gramáticas livres de contexto adaptativas com verificação de aparência. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/. Acesso em: 21 out. 2025.
APA
Bravo Pariente, C. A. (2004). Gramáticas livres de contexto adaptativas com verificação de aparência (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
NLM
Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
Vancouver
Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
Dissertação (Mestrado)
Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (2003)
Mattes, Leonardo; Zuffo, João Antonio (Orientador)
Unidade: EP
Subjects: SEGURANÇA DE REDES, MIDDLEWARE, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATTES, Leonardo. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. . Acesso em: 21 out. 2025.
APA
Mattes, L. (2003). Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2025 out. 21 ]
Vancouver
Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2025 out. 21 ]
Artigo de periodico
Introdução às gramáticas adaptativas (2001)
Iwai, Margarete Keiko; José Neto, João
Source: Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. Unidade: EP
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IWAI, Margarete Keiko e JOSÉ NETO, João. Introdução às gramáticas adaptativas. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, n. 05, 2001Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf. Acesso em: 21 out. 2025.
APA
Iwai, M. K., & José Neto, J. (2001). Introdução às gramáticas adaptativas. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, (05). Recuperado de https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf
NLM
Iwai MK, José Neto J. Introdução às gramáticas adaptativas [Internet]. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. 2001 ;(05):[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf
Vancouver
Iwai MK, José Neto J. Introdução às gramáticas adaptativas [Internet]. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. 2001 ;(05):[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação