Welcome to Arlindo Oliveira's home page
I am an Assistant Professor with the Technical University of Lisbon,
IST, Dept. of
I am also a researcher at INESC and
a member of the Lisbon Center of the Cadence European Laboratories.
Locally available software
Abacus : A free spreadsheet for Linux, with a friendly user
interface, developped in C++ and Tcl/Tk
Pilot Abacus : spreadsheet for the 3Com PalmPilot,
compatible with the Abacus for Linux.
Smog : Selection of Minimal Ordered Graphs based on the work described in
"Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs, Machine Learning, 25, pp. 23-50, 1996".
Lsat : A program for the minimization of two level threshold gate networks, based on the work described in
LSAT: An Algorithm for the Synthesis of Threshold Gate
Networks, International Conference in Computer Aided Design,
Santa Clara, CA, November 1991.
- mmm An explicit search method for the inference of finite state machines, used for comparisons performed in the paper by me and Stephen Edwards,
Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines, Proceedings of the Seventh International Workshop in
Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1160, pp. 59-66, Sydney, Australia, October 1996. Springer.
Benchmarks and other available stuff
You can email me at email@example.com, send me snail mail to: Arlindo Oliveira, INESC, R. Alves Redol 9, 1000 LISBOA, PORTUGAL
call me at 351-1-3100228 of fax me at 351-1-3145843.
Electrónica de Computadores 1995/96
Electrónica de Computadores 1996/97
Electrónica de Computadores 1997/98
Aplicações Avançadas de Microprocessadores 1995/96
Aplicações Avançadas de Microprocessadores 1996/97
Aplicações Avançadas de Microprocessadores 1997/98
Aplicações Avançadas de Microprocessadores 1998/99
You are the
visitor to this page since Dec. 20th 1996.