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/
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
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
Trabalho de evento
Adaptive automata for independent autonomous navigation in unknown environment (2000)
Almeida Junior, Jorge Rady de ; José Neto, João ; Hirakawa, André Riyuiti
Source: Proceedings. Conference titles: Iasted International Conference-Applied Simulation and Modelling. Unidade: EP
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA JUNIOR, Jorge Rady de e JOSÉ NETO, João e HIRAKAWA, André Riyuiti. Adaptive automata for independent autonomous navigation in unknown environment. 2000, Anais.. Ananheim: IASTED, 2000. . Acesso em: 21 out. 2025.
APA
Almeida Junior, J. R. de, José Neto, J., & Hirakawa, A. R. (2000). Adaptive automata for independent autonomous navigation in unknown environment. In Proceedings. Ananheim: IASTED.
NLM
Almeida Junior JR de, José Neto J, Hirakawa AR. Adaptive automata for independent autonomous navigation in unknown environment. Proceedings. 2000 ;[citado 2025 out. 21 ]
Vancouver
Almeida Junior JR de, José Neto J, Hirakawa AR. Adaptive automata for independent autonomous navigation in unknown environment. Proceedings. 2000 ;[citado 2025 out. 21 ]
Trabalho de evento
Solving complex problems efficiently with adaptive automata (2000)
José Neto, João
Conference titles: International COnference on Implementation and Application of Automata. Unidade: EP
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JOSÉ NETO, João. Solving complex problems efficiently with adaptive automata. 2000, Anais.. London: University of Western Ontario, 2000. . Acesso em: 21 out. 2025.
APA
José Neto, J. (2000). Solving complex problems efficiently with adaptive automata. In . London: University of Western Ontario.
NLM
José Neto J. Solving complex problems efficiently with adaptive automata. 2000 ;[citado 2025 out. 21 ]
Vancouver
José Neto J. Solving complex problems efficiently with adaptive automata. 2000 ;[citado 2025 out. 21 ]
Tese (Doutorado)
Um formalismo gramatical adaptativo para linguagens dependentes de contexto (2000)
Iwai, Margarete Keiko; José Neto, João (Orientador)
Unidade: EP
Subjects: ENGENHARIA ELÉTRICA, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IWAI, Margarete Keiko. Um formalismo gramatical adaptativo para linguagens dependentes de contexto. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php. Acesso em: 21 out. 2025.
APA
Iwai, M. K. (2000). Um formalismo gramatical adaptativo para linguagens dependentes de contexto (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php
NLM
Iwai MK. Um formalismo gramatical adaptativo para linguagens dependentes de contexto [Internet]. 2000 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php
Vancouver
Iwai MK. Um formalismo gramatical adaptativo para linguagens dependentes de contexto [Internet]. 2000 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Área de concentração

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

Departamento/Programa de Pós Graduação