1
Material Type:
Artigo de Congresso
Sequence comparison some theory and some practice
Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)
Proceedings Berlin : Springer, 1989
Berlin Springer 1989
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.377 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Artigo de Congresso
Compression and entropy
Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)
Proceedings Berlin : Springer, 1992
Berlin Springer 1992
Localização:
IME - Inst. Matemática e Estatística
(PROD-834804 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Artigo de Congresso
String matching algorithms and automata
Imre Simon 1943-2009 Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz (1994 Graz, Austria)
Proceedings Berlin: Springer, 1994
Berlin Springer 1994
Localização:
IME - Inst. Matemática e Estatística
(PROD-2968564 ) (Acessar)
This feature requires javascript
4
Material Type:
Artigo de Congresso
Achieving optimality for gate matrix layout and pla folding a graph theoretical approach
Afonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)
Proceedings Berlin : Springer, 1992
Berlin Springer 1992
Localização:
IME - Inst. Matemática e Estatística
(PROD-825028 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Artigo
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Renzo Gómez Flavio Keidi Miyazawa; Yoshiko Wakabayashi
Theoretical Computer Science Amsterdam v. 947, artigo n. 113691, p. 1-13, 2023
Amsterdam 2023
Localização:
IME - Inst. Matemática e Estatística
(PROD-3129421 ) (Acessar)
This feature requires javascript
6
Material Type:
Artigo
A tight lower bound for the online bounded space hypercube bin packing problem
Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Yoshiko Wakabayashi
Discrete Mathematics & Theoretical Computer Science Nancy v. 23, n. 3, p.1-13, 2021
Nancy 2021
Localização:
IME - Inst. Matemática e Estatística
(PROD-3052981 ) (Acessar)
This feature requires javascript
7
Material Type:
Artigo de Congresso
Towards MC/DC coverage of properties specification patterns
Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)
Proceedings Cham: Springer, 2016
Cham Springer 2016
Localização:
IME - Inst. Matemática e Estatística
(PROD-2872237 ) (Acessar)
This feature requires javascript
8
Material Type:
Artigo de Congresso
The online multicommodity connected facility location problem
Mário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)
Proceedings Cham: Springer, 2018
Cham Springer 2018
Localização:
IME - Inst. Matemática e Estatística
(PROD-2890482 ) (Acessar)
This feature requires javascript
9
Material Type:
Artigo de Congresso
An argumentation machinery to reason over inconsistent ontologies
Martin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)
Proceedings Berlin : Springer, 2010
Berlin Springer 2010
Localização:
IME - Inst. Matemática e Estatística
(PROD-3008775 ) (Acessar)
This feature requires javascript