Publications

UMDIAR9901
Order-sorted inductive types.
G.Barthe.
Journal of Information and Computation, 1999.

UMDIAR9902
Expanding the cube.
G.Barthe.
In Proceedings of FOSSACS'99, LNCS, Springer, 1999.

UMDIAR9903
Constructor subtyping.
G.Barthe, M.J.Frade.
In Proceedings of ESOP'99, LNCS, Springer, 1999.

UMDIAR9907
Integrating Agent Based Information Outsourcing Techniques on Data Warehousing Systems.
Orlando Belo, Alcino Cunha.
1999 IEEE International Conference on Systems, Man, and Cybernetics (SMC´99), Tokyo, Japan, Oct/1999.

UMDIAR9909
Prototyping Processes.
L.S. Barbosa.
AGP´99 Joint Conference on Declarative Programming, Sep/99.

UMDIAR9910
Coalgebraic Approach to Process Refinement.
L.S. Barbosa.
4th WADT, Bonas, France, Sep/99.

UMDIAR9919
Definição de Contratos de Informação em Sistemas de Data Warehousing Baseados em Agentes.
Orlando Belo, Alcino Cunha.
Jornadas de Engenharia de Telecomunicações e Computadores'99, ISEL, Lisboa, Portugal, Outubro, 1999.

UMDIAR9945
UMLe, Universidade do Minho Layout Learning Environment.
José Augusto Lima, Jorge Duarte Braga.
IEEE/DATC EDP99, Monterey, CA, USA, Abril 1999.

UMDIAR9946
O WorldClass Network: Uma plataforma de TV interactiva par formação interactiva à distância.
José Augusto Lima.
Conferência de Sistemas e Tecnologias de Informação: Desafios para o século XXI, CEPI, Universidade Católica, Lisboa, Outubro 1999.

UMDIAR9804
Modelling Intelligent Decision Making on Electronic Mail Distribution Systems.
Alcino Cunha, Orlando Belo and Alexandre Santos.
Eurosim'98 Congress, Helsinki, Finland, Apr/1998.

UMDIAR9806
Intelligent Work Allocation Modeling on a Hardmetal Production Plant.
Orlando Belo and Alcino Cunha.
IEEE International Conference on Intelligent Engineering Systems (INES'98), Vienna, Sep/1998.

UMDIAR9815
A Game-Theoretic Approach to the Socialization of Utility-based Agents.
Alcino Cunha and José Neves.
Proceedings of the Third International Conference on Multi-Agent Systems, Paris, France, 1998 (Poster).

UMDIAR9819
Fractal Types: an Attempt to Generalize Hash Table Calculation
J.N.Oliveira
WGP98, Marstrand, Sweden, June, 1998.

UMDIAR9820
Simulating a Gas Distribution Network in a Distributed Object Oriented System.
António Ribeiro, Alcino Cunha and Orlando Belo.
10th European Simulation Symposium & Exhibition (ESS'98), Nottingham, United Kingdom, Oct 26-28, 1998.

UMDIAR9835
Existence and uniqueness of normal forms in Pure Type Systems with beta-conversion.
G. Barthe.
Manuscript presented at CSL'98, 1998.

UMDIAR9836
The relevance of proof-irrelevance.
G.Barthe.
In Proceedings of ICALP'98, LNCS, Volume 1443, pp 755-768, Springer, 1998.

UMDIAR9837
The semi-full closure of Pure Type Systems.
G.Barthe.
In Proceedings of MFCS'98, LNCS, Volume 1450, pp 316-325, Springer, 1998.

UMDIAR9852
Collective Agents: from Law to AI.
O.Pacheco, J.Carmo.
2nd French-American Conference on Law and Artficial Intelligence, Nice, France, Jun/1998.

UMDIAR9853
Data Quality: Do It Formally?.
F.L.Neves, J.N.Oliveira.
IASTED Conference on Software Engineering, pp 260-262, Las Vegas, USA, Oct/1998.

UMDIAR9854
Art - Um Laboratório de Reificação ´Genética´.
F.L.Neves, J.N.Oliveira.
IBERAMIA´98 - Sixth Ibero-Conference on Artificial Intelligence, Lisboa, Portugal, Oct/1998.

UMDIAR9855
Monadic type systems: Pure Type Systems for Impure Settings.
G.Barthe, J.Hatcliff, P.Thiemann.
Proceedings of HOOTS'97, A.Gordon, A.Pitts, C.Talcott, eds., ENTCS Series, Volume 10, Elsevier, 1998.

UMDIAR9856
On The Development of CAMILA.
Almeida, J.J., L.S. Barbosa, J. B. Barros, F. L. Neves.
Workshop on Research Themes on Functional Programming, AFP98, Minho, Sep/98.

UMDIAR9703
A Multi-Agent Approach for Load Distribution in Multi-Enterprise Environments.
Alcino Cunha and Orlando Belo.
15th IASTED International Conference on Applied Informatics, Innsbruck, Austria, Feb/97.

UMDIAR9704
An Electronic Commerce Framework for Resource Allocation Among Multi-Agent Enterprises.
Alcino Cunha and Orlando Belo.
10th International FLAIRS Conference (FLAIRS'97), Daytona Beach, Florida, USA, May/97.

UMDIAR9705
Parallel Neural Network Recognition - A Multi-Agent System Approach.
Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral and Orlando Belo.
Applications of High Performance Computing in Engineering V, H. Power and J.J. Casares Long (editors), vol. 3, Advances in High PerformanceComputing series, Computational Mechanics Publications, pp. 103-112, Jul/97.

UMDIAR9714
Simulador de Estratégias de Distribuição de Carga.
Alcino Cunha, Luís Paulo Santos and Orlando Belo.
3. Encontro Nacional do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, Matosinhos, Portugal, Jun/97.

UMDIAR9715
Resource Allocation on Agent Meta-Societies.
Alcino Cunha and Orlando Belo.
Portuguese Conference on Artificial Intelligence (EPIA'97), Coimbra, Portugal, Oct/97.

UMDIAR9716
Aprendizagem de DCGs Utilizando Algoritmos Genéticos.
Alcino Cunha.
3. Encontro Nacional do Colégio de Engenharia Electrotécnica Ordem dos Engenheiros, Matosinhos, Portugal, Jun/97.

UMDIAR9729
CAMILA: Formal Software Engineering Supported by Functional Programming.
J.J.Almeida, L.S. Barbosa, F.L.Neves and J.N.Oliveira.
III Congreso Argentino de Ciencias de la Computación (CACIC 97), La Plata, Argentina, Set/97.

UMDIAR9730
Enhancing Load Distribution Strategies Through Simulation.
Alcino Cunha, Luís Paulo Santos and Orlando Belo.
9th European Simulation Symposium (ESS'97), Passau, Germany, Oct/97.

UMDIAR9736
CAMILA: Prototyping and Refinement of Constructive Specifications.
J.J.Almeida, L.S.Barbosa, F.L.Neves and J.N.Oliveira.
In Algebraic Methodology and Software Technology, M.Johnson (ed), Springer, Pro6th International Conference, AMAST'97, Sydney, Australia, Dec/1997.

UMDIAR9602
Using Internet Technology for Course Support.
José Eduardo Miranda and Jorge Sousa Pinto.
SIGCSE/SIGCUE Conference on Integrative Technology into Computer Science Education, Barcelona, Spain, Jun/96.

UMDIAR9603
Audiovisual PLUS Educational On-line Services (A+ Services).
J.Augusto Lima and F.R.Guy.
EDEN 96, Poitiers, France, Jul/96.

UMDIAR9604
A Cell Orientation Based Placement and Routability Evaluation Model.
J.Augusto Lima.
8th International Conference on Microelectronics (ICM96), Dec/96.

UMDIAR9605
Using Syntactic Methods in Global Routing Problem Formulation.
A.Lopes, J.Augusto Lima and Pedro R. Henriques.
8th International Conference on Microelectronics (ICM96), Dec/96.

UMDIAR9608
Simulating the Use of Autonomous Intelligent Agents on Cellular Manufacturing Plant Floors.
Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral and Orlando Belo.
8th European Simulation Symposium (ESS'96), Genoa, Italy, Oct/96.

UMDIAR9624
YaLG a tool for higher-order grammar specification.
J.J.Almeida and J.B.Barros.
II International Conference on Mathematical Linguistics, Tarragona, Spain, 1996.

UMDIAR9635
On the Development of a Meta-CASE Object-Oriented Software Architecture.
F.M.Martins, J.N.Oliveira, L.Neves and A.N.Ribeiro.
Object Oriented Portugal '96 Conference (OOP'96), Lisbon, Portugal, Oct/96.

UMDIAR9639
Semantics of Non-terminating Rewrite Systems using Minimal Coverings.
J.B.Barros and J.Goguen.
In Lecture Notes in Computer Science (1092). Proceedings of the 9th International Workshop, CSL'95. Annual Conference of the EACSL. PaderBorn, Germany, September 1995. Selected Papers, eds Hans Kleine Buning, pp. 16-35, Springer-Verlag, 96.

UMDIAR9649
CPS - Translations and Applications: the cube and beyond.
G.Barthe, J.Hatcliff, M.H. Sorensen.
Proceedings of the Second ACM SIGPLAN Workshop on Continuations, BRICS Notes, NS-96-13, pp 4/1-4/31, O. Danvy ed., 1996.

UMDIAR9519
Fuzzy Object Comparison and Its Application to a Self-Adaptable Query Mechanism.
J.Oliveira.
Proceedings of IFSA'95 - 6th International Fuzzy Systems Association World Congress, S. Paulo, Brazil, Volume I, 245-248, 22-28 Jul/95.

UMDIAR9520
Classifying Internet Objects.
L.Neves and J.Oliveira.
Best Paper Award in Conferencia Nacional "Informação Multimedia na Internet", Braga, Portugal, 6-8 Jul/95.
Paper selected for presentation at the 4th International World Wide Web Conference, ``The Web Revolution'', Boston, Massachusetts, USA, 11-14 Dec/95.

UMDIAR9521
Software Reuse by Model Reification.
L.Neves and J.Oliveira.
In WRIS'95, 6th Annual Workshop on Software Reuse, St.Charles Il, Illinois, USA, 28-30 Aug/95.

UMDIAR9522
Formal Specification and Prototyping of a Building Description Language.
J.Oliveira.
In "Developments in Computer Aided Design and Modelling for Structured Enngineering", 37-51, Volume B of the Proc. of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, 28-30 Aug/95.

UMDIAR9538
An Orientation Independent Canonical Representation for High Order Non-Slicing Floorplan.
J.A.Lima.
Proceedings of the 7th International Conference on Microelectronics, Kuala Lumpur, Malaysia, Dec/95.

UMDIAR9411
A Canonical String Representation for Higher Order Non-Slicing Floorplans.
José A. Lima, C. Y. Roger Chen and Shiu-Kai Chin.
The 6th International Conference on Microelectronics ICM94, Istambul, Turkey, Sep/94.

UMDIAR9413
A theory-based notion of institution.
Amilcar Sernadas, Cristina Sernadas and José Valença.
10th ADT Workshop and 4th COMPASS General Meeting, Lecture Notes on Computer Science, Springer-Verlag, 94.

UMDIAR9309
The CAMILA Strategy for Software Reusability.
J.Oliveira.
ERCIM News 14, 13-14, Jul/93.

UMDIAR9201
Software Reification using the SETS Calculus.
J.Oliveira.
BCS FACS 5th Refinement Workshop, "Theory and Practice of Formal Software Development", London, 140-171, Springer Verlag,8-10 Jan/92.

UMDIAR9101
Historical Records Processing in the HiTeX System.
J.Oliveira, A.Araújo and A.Silva.
In "Yesterday", 149-168, Proc. of the 6th International Conference of the Association of History and Computing (AHC'91), Odense, Denmark, 28-30 Aug/91.

UMDIAR9001
A Reification Calculus for Model-Oriented Software Specification.
J.Oliveira.
Formal Aspects of Computing, Vol.2, 1-23, Springer Verlag, 90.