2008 |
70 | EE | Miguel M. F. Bugalho,
Arlindo L. Oliveira:
An Evaluation of the Impact of Side Chain Positioning on the Accuracy of Discrete Models of Protein Structures.
BSB 2008: 23-34 |
69 | EE | Ana Graça,
João Marques-Silva,
Inês Lynce,
Arlindo L. Oliveira:
Efficient Haplotype Inference with Combined CP and OR Techniques.
CPAIOR 2008: 308-312 |
68 | EE | Luís M. S. Russo,
Gonzalo Navarro,
Arlindo L. Oliveira:
Dynamic Fully-Compressed Suffix Trees.
CPM 2008: 191-203 |
67 | EE | Xiaoshu Wang,
Jonas S. Almeida,
Arlindo L. Oliveira:
Ontology Design Principles and Normalization Techniques in the Web.
DILS 2008: 28-43 |
66 | EE | Inês Lynce,
Ana Graça,
João Marques-Silva,
Arlindo L. Oliveira:
Haplotype Inference with Boolean Constraint Solving: An Overview.
ICTAI (1) 2008: 92-100 |
65 | EE | Alexandre P. Francisco,
Arlindo L. Oliveira,
Ana T. Freitas:
Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-occurrence Graph.
ISBRA 2008: 220-231 |
64 | EE | Luís M. S. Russo,
Gonzalo Navarro,
Arlindo L. Oliveira:
Fully-Compressed Suffix Trees.
LATIN 2008: 362-373 |
63 | EE | Luís M. S. Russo,
Gonzalo Navarro,
Arlindo L. Oliveira:
Indexed Hierarchical Approximate String Matching.
SPIRE 2008: 144-154 |
62 | EE | Alexandre P. Francisco,
Ricardo A. Baeza-Yates,
Arlindo L. Oliveira:
Clique Analysis of Query Log Graphs.
SPIRE 2008: 188-199 |
61 | EE | André L. Martins,
Helena Sofia Pinto,
Arlindo L. Oliveira:
Using Grammatical Inference Techniques to Learn Ontologies that Describe the Structure of Domain Instances.
Applied Artificial Intelligence 22(1&2): 139-167 (2008) |
60 | EE | Luís M. S. Russo,
Arlindo L. Oliveira:
A compressed self-index using a Ziv-Lempel dictionary.
Inf. Retr. 11(4): 359-388 (2008) |
59 | EE | Pedro T. Monteiro,
Nuno D. Mendes,
Miguel C. Teixeira,
Sofia d'Orey,
Sandra Tenreiro,
Nuno P. Mira,
Hélio Pais,
Alexandre P. Francisco,
Alexandra M. Carvalho,
Artur B. Lourenço,
Isabel Sá-Correia,
Arlindo L. Oliveira,
Ana T. Freitas:
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae.
Nucleic Acids Research 36(Database-Issue): 132-136 (2008) |
2007 |
58 | EE | Ana Graça,
João Marques-Silva,
Inês Lynce,
Arlindo L. Oliveira:
Efficient Haplotype Inference with Pseudo-boolean Optimization.
AB 2007: 125-139 |
57 | EE | Sara C. Madeira,
Arlindo L. Oliveira:
An Efficient Biclustering Algorithm for Finding Genes with Similar Patterns in Time-series Expression Data.
APBC 2007: 67-80 |
56 | EE | Alexandra M. Carvalho,
Arlindo L. Oliveira,
Marie-France Sagot:
Efficient Learning of Bayesian Network Classifiers.
Australian Conference on Artificial Intelligence 2007: 16-25 |
55 | EE | João Marques-Silva,
Inês Lynce,
Ana Graça,
Arlindo L. Oliveira:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.
EPIA Workshops 2007: 621-632 |
54 | EE | Ana Cardoso-Cachopo,
Arlindo L. Oliveira:
Semi-supervised single-label text categorization using centroid-based classifiers.
SAC 2007: 844-851 |
53 | EE | Luís M. S. Russo,
Gonzalo Navarro,
Arlindo L. Oliveira:
Approximate String Matching with Lempel-Ziv Compressed Indexes.
SPIRE 2007: 264-275 |
52 | EE | Luís M. S. Russo,
Arlindo L. Oliveira:
Efficient generation of super condensed neighborhoods.
J. Discrete Algorithms 5(3): 501-513 (2007) |
2006 |
51 | | José M. Fernandes,
Marcelino B. Santos,
Arlindo L. Oliveira,
João C. Teixeira:
Probabilistic Testability Analysis and DFT Methods at RTL.
DDECS 2006: 216-217 |
50 | EE | Luís M. S. Russo,
Arlindo L. Oliveira:
A Compressed Self-index Using a Ziv-Lempel Dictionary.
SPIRE 2006: 163-180 |
49 | EE | Luís Pedro Coelho,
Arlindo L. Oliveira:
Dotted Suffix Trees A Structure for Approximate Text Indexing.
SPIRE 2006: 329-336 |
48 | EE | Nuno D. Mendes,
Ana C. Casimiro,
Pedro M. Santos,
Isabel Sá-Correia,
Arlindo L. Oliveira,
Ana T. Freitas:
MUSA: a parameter free algorithm for the identification of biologically significant motifs.
Bioinformatics 22(24): 2996-3002 (2006) |
47 | EE | Alexandra M. Carvalho,
Ana T. Freitas,
Arlindo L. Oliveira,
Marie-France Sagot:
An Efficient Algorithm for the Identification of Structured Motifs in DNA Promoter Sequences.
IEEE/ACM Trans. Comput. Biology Bioinform. 3(2): 126-140 (2006) |
46 | EE | Miguel C. Teixeira,
Pedro T. Monteiro,
Pooja Jain,
Sandra Tenreiro,
Alexandra R. Fernandes,
Nuno P. Mira,
Marta Alenquer,
Ana T. Freitas,
Arlindo L. Oliveira,
Isabel Sá-Correia:
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae.
Nucleic Acids Research 34(Database-Issue): 446-451 (2006) |
2005 |
45 | EE | Alexandra M. Carvalho,
Ana T. Freitas,
Arlindo L. Oliveira,
Marie-France Sagot:
A highly scalable algorithm for the extraction of CIS-regulatory regions.
APBC 2005: 273-282 |
44 | EE | Luís M. S. Russo,
Arlindo L. Oliveira:
An Efficient Algorithm for Generating Super Condensed Neighborhoods.
CPM 2005: 104-115 |
43 | EE | André L. Martins,
Helena Sofia Pinto,
Arlindo L. Oliveira:
Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications.
EPIA 2005: 325-336 |
42 | EE | Luís M. S. Russo,
Arlindo L. Oliveira:
Faster Generation of Super Condensed Neighbourhoods Using Finite Automata.
SPIRE 2005: 246-255 |
41 | EE | Sara C. Madeira,
Arlindo L. Oliveira:
A Linear Time Biclustering Algorithm for Time Series Gene Expression Data.
WABI 2005: 39-52 |
40 | EE | Miguel M. F. Bugalho,
Arlindo L. Oliveira:
Inference of regular languages using state merging algorithms with search.
Pattern Recognition 38(9): 1457-1467 (2005) |
2004 |
39 | EE | José M. Fernandes,
Marcelino B. Santos,
Arlindo L. Oliveira,
João C. Teixeira:
A Probabilistic Method for the Computation of Testability of RTL Constructs.
DATE 2004: 176-181 |
38 | EE | José Poveda,
Michael Gould,
Arlindo L. Oliveira:
A New Quick Point Location Algorithm.
ER (Workshops) 2004: 184-196 |
37 | EE | Cláudia Antunes,
Arlindo L. Oliveira:
Constraint Relaxations for Discovering Unknown Sequential Patterns.
KDID 2004: 11-32 |
36 | EE | Alexandra M. Carvalho,
Arlindo L. Oliveira,
Ana T. Freitas,
Marie-France Sagot:
A parallel algorithm for the extraction of structured motifs.
SAC 2004: 147-153 |
35 | EE | Alexandra M. Carvalho,
Ana T. Freitas,
Arlindo L. Oliveira,
Marie-France Sagot:
Efficient Extraction of Structured Motifs Using Box-Links.
SPIRE 2004: 267-268 |
34 | EE | Sara C. Madeira,
Arlindo L. Oliveira:
Biclustering Algorithms for Biological Data Analysis: A Survey.
IEEE/ACM Trans. Comput. Biology Bioinform. 1(1): 24-45 (2004) |
33 | EE | Alberto H. F. Laender,
Arlindo L. Oliveira:
Special issue on string processing and information retrieval.
J. Discrete Algorithms 2(1): 1-2 (2004) |
2003 |
32 | | Mario A. Nascimento,
Edleno Silva de Moura,
Arlindo L. Oliveira:
String Processing and Information Retrieval, 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings
Springer 2003 |
31 | EE | Ana T. Freitas,
Arlindo L. Oliveira:
Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation.
DATE 2003: 10764-10769 |
30 | EE | Sara C. Madeira,
Arlindo L. Oliveira,
Catarina S. Conceição:
A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring.
EPIA 2003: 184-188 |
29 | EE | Joel R. Phillips,
João Afonso,
Arlindo L. Oliveira,
Luis Miguel Silveira:
Analog Macromodeling using Kernel Methods.
ICCAD 2003: 446-453 |
28 | EE | Cláudia Antunes,
Arlindo L. Oliveira:
Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints.
MLDM 2003: 239-251 |
27 | EE | Paulo Trezentos,
Arlindo L. Oliveira:
Metrics for Grid Applicability: A Distributed Elliptic Curve Platform Assessment.
PPAM 2003: 864-871 |
26 | EE | Ana Cardoso-Cachopo,
Arlindo L. Oliveira:
An Empirical Comparison of Text Categorization Methods.
SPIRE 2003: 183-196 |
25 | EE | Arlindo L. Oliveira,
Rajeev Murgai:
On the problem of gate assignment under different rise and fall delays.
IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 807-814 (2003) |
2002 |
24 | | Alberto H. F. Laender,
Arlindo L. Oliveira:
String Processing and Information Retrieval, 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002, Proceedings
Springer 2002 |
23 | EE | Cláudia Antunes,
Arlindo L. Oliveira:
Inference of Sequential Association Rules Guided by Context-Free Grammars.
ICGI 2002: 1-13 |
22 | EE | José C. Monteiro,
Arlindo L. Oliveira:
Implicit FSM decomposition applied to low-power design.
IEEE Trans. VLSI Syst. 10(5): 560-565 (2002) |
2001 |
21 | EE | Arlindo L. Oliveira:
Techniques for the creation of digital watermarks in sequentialcircuit designs.
IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1101-1117 (2001) |
20 | | Arlindo L. Oliveira,
João P. Marques Silva:
Efficient Algorithms for the Inference of Minimum Size DFAs.
Machine Learning 44(1/2): 93-119 (2001) |
2000 |
19 | | Arlindo L. Oliveira:
Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000, Proceedings
Springer 2000 |
18 | EE | José C. Monteiro,
Arlindo L. Oliveira:
FSM decomposition by direct circuit manipulation applied to low power design.
ASP-DAC 2000: 351-358 |
17 | | Arlindo L. Oliveira,
Rajeev Murgai:
An Exact Gate Assignment Algorithm for Tree Circuits Under Rise and Fall Delays.
ICCAD 2000: 451-457 |
1999 |
16 | EE | Arlindo L. Oliveira:
Robust Techniques for Watermarking Sequential Circuit Designs.
DAC 1999: 837-842 |
15 | | Antônio Mota,
Nuno Ferreira,
Arlindo L. Oliveira,
José C. Monteiro:
Integrating Dynamic Power Management in the Design Flow.
VLSI 1999: 233-244 |
14 | EE | Jorge M. Pena,
Arlindo L. Oliveira:
A new algorithm for exact reduction of incompletely specified finite state machines.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(11): 1619-1632 (1999) |
1998 |
13 | EE | Rajeev Murgai,
Masahiro Fujita,
Arlindo L. Oliveira:
Using Complementation and Resequencing to Minimize Transitions.
DAC 1998: 694-697 |
12 | EE | José C. Monteiro,
Arlindo L. Oliveira:
Finite State Machine Decomposition For Low Power.
DAC 1998: 758-763 |
11 | EE | Jorge M. Pena,
Arlindo L. Oliveira:
A new algorithm for the reduction of incompletely specified finite state machines.
ICCAD 1998: 482-489 |
10 | | Arlindo L. Oliveira,
João P. Marques Silva:
Efficient Search Techniques for the Inference of Minimum Size Finite Automata.
SPIRE 1998: 81-89 |
9 | | Arlindo L. Oliveira,
Luca P. Carloni,
Tiziano Villa,
Alberto L. Sangiovanni-Vincentelli:
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.
IEEE Trans. Computers 47(11): 1282-1296 (1998) |
1997 |
8 | EE | Vasco M. Manquinho,
Paulo F. Flores,
João P. Marques Silva,
Arlindo L. Oliveira:
Prime Implicant Computation Using Satisfiability Algorithms.
ICTAI 1997: 232-239 |
1996 |
7 | | Arlindo L. Oliveira,
Stephen Edwards:
Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines.
ALT 1996: 59-66 |
6 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs.
Machine Learning 25(1): 23-50 (1996) |
1995 |
5 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Inferring Reduced Ordered Decision Graphs of Minimum Description Length.
ICML 1995: 421-429 |
1993 |
4 | EE | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Learning Complex Boolean Functions: Algorithms and Applications.
NIPS 1993: 911-918 |
1992 |
3 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Constructive Induction Using a Non-Greedy Strategy for Feature Selection.
ML 1992: 355-360 |
1991 |
2 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks.
ICCAD 1991: 130-133 |
1 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Learning Concepts by Synthesizing Minimal Threshold Gate Networks.
ML 1991: 193-197 |