Resultados de 1 a 10 de 13 para Produção Intelectual da USP
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dissertação de Mestrado
|
|
Padrões de Fluxos de Processos em Banco de Dados RelacionaisBraghetto, Kelly RosaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-06-23Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Artigo de Congresso
|
|
Towards algorithmic generation of business processes from business step dependencies to process algebra expressionsMárcio Katsumi Oikawa João Eduardo Ferreira; Simon Malkowski; Calton Pu; International Conference on Business Process Management - BPM (7. 2009 Ulm, Germany)Proceedings Berlin : Springer, 2009Berlin Springer 2009Localização: IME - Inst. Matemática e Estatística (PROD-1815539 ) e outros locais(Acessar) |
| 3 |
Material Type: Tese de Doutorado
|
|
Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomasCantão, Mauricio EgidioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Bioinformática 2009-12-01Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Dissertação de Mestrado
|
|
ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxoTakecian, Pedro LoscoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-06-03Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Tese de Doutorado
|
|
Formal mutation testing in Circus process algebraAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Artigo
|
|
Fault-based refinement-testing for CSPAna Cavalcanti Adenilso da Silva SimãoSoftware Quality Journal New York : Springer v. 27, n. 2, p. 529-562, 2019New York 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2937713 )(Acessar) |
| 7 |
Material Type: Artigo de Congresso
|
|
NPTool towards scalability and reliability of business process managementKelly Rosa Braghetto João Eduardo Ferreira; Calton Pu; International Conference on E-Business and Telecommunications - ICETE (2008 Porto, Portugal)Proceedings Berlin : Springer, 2009Berlin Springer 2009Localização: IME - Inst. Matemática e Estatística (PROD-3035746 )(Acessar) |
| 8 |
Material Type: Artigo de Congresso
|
|
Implementing rigorous web services with process algebra navigation plan for web servicesMauricio Chui Rodrigues Simon Malkowski; João Eduardo Ferreira; Symposium on Applied Computing - SAC (24. 2009 Honolulu, Hawaii)Proceedings New York : ACM, 2009New York ACM 2009Localização: IME - Inst. Matemática e Estatística (PROD-3035751 )(Acessar) |
| 9 |
Material Type: Artigo de Congresso
|
|
Using process algebra to control the execution of business processesKelly Rosa Braghetto João Eduardo Ferreira; Calton Pu; Symposium on Applied Computing - SAC (2008 Fortaleza, Brasil)Proceedings New York : ACM, 2008New York ACM 2008Localização: IME - Inst. Matemática e Estatística (PROD-3036264 )(Acessar) |
| 10 |
Material Type: Artigo de Congresso
|
|
HIV drug resistance analysis tool based on process algebraLuciano Vieira de Araújo Ester Cerdeira Sabino; João Eduardo Ferreira; Symposium on Applied Computing - SAC (2008 Fortaleza, Brasil)Proceedings New York : ACM, 2008New York ACM 2008Localização: IME - Inst. Matemática e Estatística (PROD-3036221 )(Acessar) |
Resultados de 1 a 10 de 13 para Produção Intelectual da USP
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Assunto
- Álgebra (5)
- Álgebra De Processos (5)
- Process Algebra (5)
- Banco De Dados Relacionais (3)
- Sistemas De Informação Gerencial (2)
- Controle De Processos (2)
- Sistemas De Informação (2)
- Npdl (2)
- Gestão Por Processos (2)
- Business Process Management (1)
- Workflows (1)
- Microarranjo De Dna (1)
- Bancos De Dados Relacionais (1)
- Computadores (1)
- Metagenoma (1)
- Series-Parallel Digraphs (1)
- Padrões De Workflow (1)
- Metagenome (1)
- Semântica De Programação (1)
- Álgebra Computacional (1)
-
Mais opções
Autor/Criador
- Ferreira, J (11)
- Braghetto, K (5)
- Pu, C (5)
- Symposium on Applied Computing - SAC (4)
- Simão, A (2)
- Oikawa, M (2)
- Malkowski, S (2)
- Gauldel, M (1)
- Cantão, M (1)
- Alberto, A (1)
- International Conference on E-Business and Telecommunications - ICETE (1)
- Sabino, E (1)
- Takecian, P (1)
- Araújo, L (1)
- International Conference on Business Process Management - BPM (1)
- Lemos, E (1)
- International Conference on e-Business - ICE-B (1)
- Cavalcanti, A (1)
- Rodrigues, M (1)
-
Mais opções
Data de Publicação
- Antes de2007 (1)
- 2007Até2007 (1)
- 2008Até2008 (5)
- 2009Até2018 (5)
- Após 2018 (1)
-
Mais opções
Biblioteca
Idioma
- Inglês (9)
- Português (4)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 