University of Minho
Publications
Articles
2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 |
UMDIAR2003.01
A Role Based Model for the Normative Specification
of Organized Collective Agency and Agents Interaction
Olga Pacheco and José Carmo
Journal of Autonomous Agents and Multi-Agent Systems,
Vol. 6, Issue 2, pp.145-184, Kluwer, March 2003.
UMDIAR2003.02
Specifying and Reasoning with Institutional Agents
Filipe Santos and Olga Pacheco,
In Proceedings of the 9th International Conference
on Artificial Intelligence and Law (ICAIL 2003),
University of Edinburgh, ACM, 162-170, 2003.
UMDIAR2003.03
Uma abordagem formal à Engenharia da
Usabilidade.
J. C. Campos
In C. Sieckenius, A. Sánchez, S. Barbosa and C.
Gonzalez, editors, /Proceedings of the Latin-American conference
on Human-computer interaction/, pages 17-28. ACM Press.
UMDIAR2003.04
Using task knowledge to guide interactor
specifications analysis.
J. C. Campos
In J. A. Jorge, N. J. Nunes and J. Falcão
e Cunha, editors, /Interactive Systems: Design Specification and
Verification --- 10th International Workshop, DVS-IS 2003/, volume
2844 of /LNCS/, pages 171-186. Springer.
UMDIAR2003.05
Reasoning about Dynamic
Information Displays.
J. C. Campos and G. J. Doherty
In J. A. Jorge, N. J. Nunes and J. Falcão
e Cunha, editors, /Interactive Systems: Design Specification and
Verification --- 10th International Workshop, DVS-IS 2003/, volume
2844 of /LNCS/, pages 171-186. Springer.
UMDIAR2003.06
From HCI to Software
Engineering and back.
J. C. Campos and M. D. Harrison
In /Bridging the Gaps Between Software
Engineering and Human-Computer Interaction, ICSE '2003 workshop/,
pages 49-56.
UMDIAR2003.07
Paperwork on the fly
José Faria, António Aragão,
Pedro Henriques, Luís Barbosa, Carlos Baquero
EUNIS 2003, Amsterdam,
2-4 Jul
UMDIAR2002.01
A Lamarkian Approach for Neural Network Training.
Rocha, M., Cortez, P., Neves, J.
Aceite para publicação na revista Neural Processing Letters em Abril de 2002.
UMDIAR2002.02
G. Barthe, T. Uustalu.
CPS translating inductive and coinductive types (extended abstract).
In Proc. of 2002 ACM SIGPLAN Workshop on Partial
Evaluation and Semantics-Based Program Manipulation, PEPM'02 (Portland, OR,
USA, 14-15 Jan. 2002), pp. 131-142. ACM Press, New York, 2002.
UMDIAR2002.03
T. Uustalu, V. Vene.
Least and greatest fixed-points in intuitionistic natural deduction.
Theoretical Computer Science, 272(1-2):315-339, 2002.
UMDIAR2002.04
T. Uustalu, V. Vene.
The dual of substitution is redecoration. In K. Hammond, S. Curtis, eds.
Trends in Functional Programming 3, pp. 99-110. Intellect, Bristol, 2002.
UMDIAR2002.05
Pre-Argumentative Processes in e-Commerce Systems
Novais, P., Neves, J.
in WTDIA'02 - I Workshop de Teses e Dissertações em Inteligência Artificial
Recife, Brasil, 2002.
UMDIAR2002.06
Argumentative Procedures in e-Commerce Environments
Novais, P., Neves, J., Brito, L., Machado, J.
in IFIP 2002 - The Second IFIP Conference on e-Commerce, e-Business,
Kluwer Academic Publishers, ISBN 1-4020-7239-2, pp 703-716
Lisboa, Portugal, 2002.
UMDIAR2002.07
The Enterprise of Medicine: Stock Taking in Healthcare through Virtual
Marketplaces
Brito, L., Novais, P., Gomes, É , Neves, J.
in AIA02 - IASTED International Conference on Artificial Intelligence and
Applications
Málaga, Spain, 2002.
UMDIAR2002.08
The Concepts of Gratitude, Delegation and Agreement in EC-Environments
Novais, P., Brito, L., Neves, J.
in ICEIS 2002-4th International Conference on Enterprise Information Systems
Ciudad Real, Spain, 2002
UMDIAR2002.09
Generalizing substitution (extended abstract). In Z. Éik and A. Ingólfsdóttir,
Tarmo Uustalu
eds., Prel. Proc. of Wksh. on Fixed Points in Computer Science, FICS'02
(Copenhagen, Denmark, 20-21 July 2002), BRICS Notes Series NS-02-2, pp. 9-11,
Dept. of Computer Science, Univ. of Aarhus, 2002.
UMDIAR2002.10
C++ é Inadequado para Ensinar OO,
Miguel Pessoa Monteiro and Joã£o M. Fernandes,
Ingenium, Ordem dos Engenheiros,
Lisboa, Portugal, 2a. série, n. 69,
76-78, Set/2002, (ISSN 0870-5968).
UMDIAR2002.11
Heterogeneous Information Systems Integration:
Organizations and Tools,
Ricardo J. Machado and João M. Fernandes
4th International Conference on
Product Focused Software Process
Improvement (PROFES 2002),
Ed. M. Oivo and S. Komi-Sirvio,
Lecture Notes in Computer Science, vol. 2559,
pp. 629-43, Springer-Verlag, Dec/2002,
(ISBN 3-540-00234-0).
UMDIAR2002.12
Can UML be a System-Level Language
for Embedded Software?
João M. Fernandes and Ricardo J. Machado
Design and Analysis of Distributed Embedded Systems,
Eds. B. Kleinjohann, K. Kim,
L. Kleinjohann and A. Rettberg,
chapter 1, pp. 1-10, Kluwer Academic Publishers,
Boston, USA,
Aug/2002. (ISBN 1-4020-7156-6).
UMDIAR2001.01
José Carmo e Olga Pacheco
Deontic and Action Logics for Organized Collective Agency, Modeled
through Institutionalized Agents and Roles
Journal Fundamenta Informatica, Volume 48| (Nos. 2, 3),
pp. 129-163, IOS Press, Novembro 2001, ISSN 169-2968
UMDIAR2001.02
On the Logical Aspects of Argument-based Negotiation among Agents
Brito L., Novais P., and Neves J.
in Fifth International Workshop on Cooperative Information Agents
(CIA-2001) Modena, Italy, September 6-8, 2001.
UMDIAR2001.03
Developing Agents for Electronic Commerce - A Constructive Approach
Novais P., Brito, L., and Neves J.
in 5th World Multiconference on Systemics, Cybernetics and Informatics
(SCI 2001) Orlando, USA, July 22-25, 2001.
UMDIAR2001.04
Temporality, Priorities and Delegation in an E-Commerce Environment
Brito L., Novais P., and Neves J.
in 14th Bled Electronic Commerce Conference
Bled, Slovenia, June 25-26, 2001.
UMDIAR2001.05
A Bayesian Runtime Load Manager on a Shared Cluster
Santos, L.P. and Proença
Scheduling and Load Balancing in Clusters (SLAB'2001), special
session in IEEE International Symposium on Cluster Computing and the
Grid (CCGrid'01)
IEEE Computer Society Press, Brisbane, Australia, 15-18 May, 2001
UMDIAR2001.06
Reasoning about Time in Dynamic Information Displays
J. C. Campos and G. J. Doherty
Continuity in Future Computing Systems - Proceedings of I3 Spring Days Workshop
pag. 80-95, RAL-CONF-2001-001
April 2001
UMDIAR2001.07
Model Checking Interactor Specifications
J. C. Campos and M. D. Harrison
Automated Software Engineering, 8(3/4):275-310
August 2001
UMDIAR2001.08
Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organizations
Brito L., Novais P., and Neves J.
in Enterprise Information Systems 2001, Ed. Sharp B., Filipe J., and Cordeiro J.,
Kluwer Academic Publishers, July 2001, ISBN 0-7923-7177-1.
UMDIAR2001.09
Combining Interaction Nets with Externally
Defined Programs
Maribel Fernández, Ian Mackie, and Jorge Sousa Pinto
In Proceedings of AGP'01 Joint Conference on Declarative Programming.
UMDIAR2001.10
Parallel Evaluation of Interaction Nets with MPINE
Jorge Sousa Pinto
In A.Middeldorp, editor,
Proceedings of RTA'01, LNCS 2051, pp 053-. © Springer-Verlag.
UMDIAR2001.11
Parallel Implementation Models for the lambda-calculus Using the Geometry of Interaction
Jorge Sousa Pinto
In S.Abramsky, editor, Proceedings of TLCA'01, LNCS 2044, pp. 385-. © Springer-Verlag.
UMDIAR2001.12
Partial Replication in the Database State Machine
Antonio Sousa, Fernando Pedone, Rui Oliveira, Francisco Moura
The IEEE International Symposium on| Network Computing and Applications
February 11-13, 2002, Royal Sonesta Hotel Cambridge, MA, USA
UMDIAR2001.13
(Co)monads from inductive and coinductive types (extended abstract)
T. Uustalu
L. M. Pereira, P. Quaresma, eds., Proc. of 2001 APPIA-GULP-PRODE Joint Conf. on Declarative Programming
AGP'01 (Évora, Portugal, 26-28 Sept. 2001), pp. 47-61. Dept. of Informatics,
Univ. of Évora, 2001
UMDIAR2001.14
The dual of substitution is redecoration
T. Uustalu, V. Vene
In Proc. of 3rd Scottish Funct. Prog. Workshop, SFP'01 (Stirling, UK, 22-24 Aug. 2001),
pp. 201-211. Dept. of| Comp. Sci. and Math., Univ. of Stirling, 2001
UMDIAR2001.15
Recursion schemes from comonads
T. Uustalu, V. Vene, A. Pardo
Nordic J. of Computing, v. 8, n. 3,
pp. 366-390, 2001.
UMDIAR2001.16
Type isomorphisms and proof reuse in dependent type theory
G. Barthe, O. Pons
In F. Honsell, M. Miculan, eds., Proc. of 4th Int. Conf. on
Found. of Software Science and Computation Structures, FoSSaCS'01, Genova,
Italy, 2--6 Apr.\ 2001, v. 2030 of Lect. Notes in Comp. Sci., pp. 57--71
Springer-Verlag, Berlin, 2001
UMDIAR2001.17
System-Level Object-Orientation in the Specification and Validation of Embedded Systems.
João M. Fernandes and Ricardo J. Machado.
14th Symposium on Integrated Circuits and System Design (SBCCI'01),
Pirenópolis, Brasil, IEEE Computer Society Press, Sep/2001, (ISBN
0-7695-1333-6).
UMDIAR2001.18
From Use Cases to Objects: An Industrial Information Systems Case Study
Analysis.
João M. Fernandes and Ricardo J. Machado.
7th International Conference on Object-Oriented Information Systems (OOIS
2001), Calgary, Canada, pp. 319-28, Springer-Verlag, Aug/2001, (ISBN
1-85233-546-7).
UMDIAR2001.19
A Petri Net Meta-Model to Develop Software Components for Embedded Systems.
Ricardo J. Machado and João M. Fernandes.
2nd IEEE International Conference on Application of Concurrency to System
Design (ACSD 2001), Newcastle upon Tyne, U.K., pp. 113-22, IEEE Computer
Society Press, Jun/2001, (ISBN 0-7695-1071-X).
UMDIAR2001.20
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML
Approach.
Ricardo J. Machado, João M. Fernandes and Henrique D. Santos.
Architecture and Design of Distributed Embedded Systems, Ed. B. Kleinjohann,
chapter 1, pp. 1-10, Kluwer Academic Publishers, Boston, USA, Apr/2001,
(ISBN 0-7923-7345-6).
UMDIAR2001.21
Evolving Time Series Forecasting Neural Network Model.
Rocha, M., Cortez, P., Neves, J.
In Proceedings of the ISAS-2001, La Habana, Cuba, March 2001.
UMDIAR2001.22
Lamarkian Training of Feedforward Neural Networks.
Rocha, M., Cortez, P., Neves, J.
In Proceedings of the European Symposium on Artificial Neural Networks
(ESANN'2001),
pp. 153-158, Brugges, Belgium, April 2001.
UMDIAR2001.23
A Genetic and Evolutionary Programming Environment
with Spatially Structured Populations and Built-In Parallelism.
Rocha, M. Pereira, F., Afonso, S., Neves, J.
In Engineering of Intelligent Systems - Proceedings of the
Fourteenth International Conference on Industrial & Engineering
Applications of Artificial Intelligence & Expert Systems
(IEA-AIE'2001), Lecture Notes
in Artificial Intelligence 2070, pp. 383-392, Springer, Budapest,
Hungary, June 2001.
UMDIAR2001.24
Genetic and Evolutionary Algorithms for Time Series Forecasting.
Rocha, M., Cortez, P., Neves, J.
In Engineering of Intelligent Systems - Proceedings of the
Fourteenth International Conference on Industrial & Engineering
Applications of Artificial Intelligence & Expert Systems (IEA-AIE'2001),
Lecture Notes
in Artificial Intelligence 2070, pp. 393-402, Springer, Budapest,
Hungary, June 2001.
UMDIAR2001.25
Sitting Guests at a Wedding Party: Experiments on Genetic and
Evolutionary
Constrained Optimization.
Rocha, M., Mendes, R., Cortez, P., Neves, J.
In Proceedings of the Conference of Evolutionary Computation - CEC2001,
Seoul,
Korea, IEEE Press, June 2001.
UMDIAR2001.26
Intelligent Tutoring Systems at work in the Teaching of Mathematics.
Rocha, M., Neves, J., Sousa, A., Mira, J., Almeida, S., Barreto, J.,
Sousa, A., Ribeiro, C.
In Proceedings of the CINTEC'2001, Aveiro, Portugal, July 2001.
UMDIAR2001.27
A Lamarckian Grouping Genetic Algorithm for the Three Matching Problem.
Rocha, M., Abelha, A., Neves, J.
In Proceedings of the Eurogen 2001, Athen, Greece, September 2001.
UMDIAR2001.28
A Meta-Genetic Algorithm for Time Series Forecasting.
P. Cortez, M. Rocha and J. Neves.
To appear in Artificial Intelligence Techniques for
Financial Time Series Analysis (AIFTSA) Workshop of
the 10th Portuguese Conference on Artificial Intelligence (EPIA'01)
UMDIAR2000.01
Functional Incremental Attribute Evaluation.
João Saraiva, Doaitse Swierstra, Matthijs Kuiper.
9th International Conference on Compiler Construction, ETAPS 2000, Berlim, Março, 2000.
UMDIAR2000.02
Monitoring Production Plants Activities in Real Time as a Way to Gather
Decision Support Information in Advance.
Orlando Belo.
In Proceedings of 2st International Conference on Enterprise Information
Systems (ICEIS´2000), Sttaford, United Kingdom, Julho, 2000.
UMDIAR2000.03
Design and Implementation of Intelligent Systems For Computer-Aided
Evaluation.
Orlando Belo, António Nestor Ribeiro.
In Proceedings of Telec'2000 International Conference, Santiago de Cuba,
Cuba, Julho, 2000.
UMDIAR2000.04
Unifying the Patient Record - An Agent Based Approach to Clinical Data
Integration.
Ilídio Castro Oliveira, Orlando Belo, João Paulo Cunha.
In Proceedings of 5th Portuguese Conference on Biomedical Engineering,
Coimbra, Portugal, Maio, 2000.
UMDIAR2000.05
An Intranet Environment for Agent-Based Computer-Aided Evaluation.
Orlando Belo, António Nestor Ribeiro.
In Proceedings of Web Based Learning Environments European Conference
(WBLE'2000), pp 109-115, Porto, Portugal, Junho, 2000.
UMDIAR2000.06
Gathering the Right Information at the Right Time - An Agent Based Approach
to Data Warehouses Loading Processes.
Orlando Belo.
In Enterprise Information Systems, J.Filipe (ed), Kluwer Academic
Publishers, pp 139-145, 2000.
UMDIAR2000.07
Agents Working on the Integration of Heterogeneous Information Sources in
Distributed Healthcare Environments.
Ílidio Castro OIliveira, Orlando Belo, João Paulo Cunha.
In Proceedings of The International Joint Conference
Iberamia'2000/SBIA'2000, Atibaia, S.Paulo, Brasil, Novembro, 2000.
UMDIAR2000.08
Real Time Intelligent Scheduling on a Metallurgic Plant Using Specialized
Data Warehouses.
Orlando Belo.
In Proceedings of Proceedings of 12th European Simulation Symposium &
Exhibition (ESS'2000), Hamburg, Germany, Setembro, 2000.
UMDIAR2000.09
Consensus in Asynchronous Distributed Systems: A concise Guided Tour.
Rachid Gerraoui, Michel Hurfin, Achour Mostefaoui, Rui Carlos Oliveira,
Michel Raynal, Andre Schiper.
Advances in Distributed Systems LNCS 1752.
UMDIAR2000.10
Semantically Reliable Multicast Protocols.
José Orlando Pereira, Luís Rodrigues and Rui Oliveira.
IEEE Intl. Symp. on Reliable Distributed Systems (SRDS'2000), October 2000.
UMDIAR2000.11
Semantically Reliable Multicast: Current Status and Future Work.
José Orlando Pereira, Luís Rodrigues and Rui Oliveira.
14th International Symposium on DIStributed Computing (DISC'2000), Brief
Announcement, October 2000.
UMDIAR2000.12
Fault-Tolerant Replication of High Throughput Services.
José Orlando Pereira.
IEEE Intl. Conf. on Dependable Systems and Networks (FTCS-30 and DCCA-8),
Student Forum, June 2000.
UMDIAR2000.13
Exploring Alternative Devices for Blind Users.
António Ramires Fernandes, Hugo Paredes.
I Proceddings of VSMM2000, Gifu, Japan.
UMDIAR2000.14
Mobile Transaction Management in Mobisnap
Nuno Preguiça, Carlos Baquero, J. Legatheaux Martins, Francisco Moura,
Henrique Domingos, Rui Oliveira, J. Orlando Pereira, and Sergio Duarte.
Extended Abstract, Special Sessions on "Mobile Database Technology" with
ADBIS-DASFAA Symposium, in cooperation with ACM SIGMOD, Prague - Czech
Republic, September 2000
UMDIAR2000.15
Panasync: Dependency tracking among file copies.
Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte.
ACM SIGOPS European Workshop, Denmark, September 2000
UMDIAR2000.16
Polytypic Recursion Patterns.
Luis Barbosa, José Barros e José Almeida.
SBLP'00, Recife, Brasil, May, 2000.
UMDIAR2000.17
Components as Processes: An Exercise in Coalgebraic Modeling.
Luis Barbosa.
FMOODS 2000, Stanford, California, September, 2000.
UMDIAR2000.18
Deontic and Action Logics for Collective Agency and Roles.
José Carmo, Olga Pacheco.
Proceedings of the Fifth International Workshop on Deontic Logic in Computer
Science (DEON'00), R. Demolombe & R. Hilpinen (eds.).
ONERA-DGA, Toulouse, pp. 93-124, January, 2000.
UMDIAR2000.19
Logics for modeling business and agents interaction.
José Carmo, Olga Pacheco.
Internation Conference on Advances in Infrastructure for Electronic
Business, Science and Education on the Internet, SSGRR-2000, Rome, July,
2000.
UMDIAR2000.20
Les Agents Collectifs: du Droit vers l' Intelligence artificielle.
Olga Pacheco & José Carmo
Droit et Intelligence Artificielle - une Revolution de la Connaissance
Juridique, D. Bourcier, P.Hasset and C. Roquilly (eds.),
Editions Romillat, collection "Droit et Technologies", pp. 93-109, May 2000.
UMDIAR2000.21
A Study of Order Based Genetic and Evolutionary Algorithms in Combinatorial
Optimization Problems.
M. Rocha, C. Vilela, J. Neves.
Proceedings of the IEA/AIE-2000: The 13th International Conference on
Industrial & Engineering Applications of Artificial Intelligence & Expert
Systems, New Orleans, Louisiana, USA, Lecture Notes in Artificial
Intelligence, Springer, Jun/2000.
UMDIAR2000.22
The Relationship between Learning and Evolution in Static and Dynamic
Environments.
M. Rocha, P. Cortez, J. Neves.
Proceedings of the Engineering of Intelligent Systems (EIS-2000) Conference,
Paisley, UK, Jul/2000.
UMDIAR2000.23
Viewing the Job-Shop Scheduling Problem through Genetic and Evolutionary
Algorithms.
C. Vilela, P. Cortez, M. Rocha, J. Neves.
Proceedings of the Bio-SP3 Workshop, International Symposyum on Parallel and
Distributed Systems (ISPDS-2000), Cancun, Mexico, Apr/2000.
UMDIAR2000.24
Case Retrieval Nets in AI & Law.
M. Costa, O. Sousa, J. Neves.
8th German Workshop on Case Based Reasoning (GWCBR'2000), Lammerbuckel,
Germany, Mar/2000.
UMDIAR2000.25
An Object-Oriented Agents Architecture for Power Distribution Automation.
O. Sousa, M. Costa, Z. Vale, C. Ramos, J. Neves.
Second International ICSC Symposium on Engineering of Intelligent Systems
(EIS'2000), Paisley, UK, Jul/2000.
UMDIAR2000.26
Foundations for Legal Knowledge Management.
M. Costa, O. Sousa, J. Neves.
The Knowledge Management Conference (KMAC'2000), Birmingham, UK, Jul/2000.
UMDIAR2000.27
A Framework for Legal Knowledge Management.
M. Costa, J. Neves.
Workshop on Flexible Strategies for Maintaining Knowledge Containers (14th
European Conference on Artificial Intelligence - ECAI'2000), Berlin,
Germany, Aug/2000.
UMDIAR2000.28
Practical Knowledge Management in the Legal Domain.
M. Costa, J. Neves.
4th International Conference on Knowledge-based Intelligent Engineering
Systems & Allied Technologies (KES'2000), Sussex, UK, Aug-Set/2000.
UMDIAR2000.29
A Multi-Feature Image Classification System that Reduces the Cost-of-Quality
Expenditure
J. Neves, V. Alves, L. Nelas, M. Maia, R. Cruz
Second International ICSC Symposium on Engineering of Intelligent Systems -
EIS'2000, Paisley, UK, Jul/2000.
UMDIAR2000.30
Mediation, Agreement and Gratitude in Strategic Planning for Virtual
Organizations
L. Brito, P. Novais, J. Neves.
Proceedings of the ICEIS 2000 - International Conference on Enterprise
Information Systems, Stafford, UK, July 4-7, 2000.
UMDIAR2000.31
A General Agent-Based Architecture for Production Planning in Electronic
Commerce Scenarios.
L. Brito, P. Novais, J. Neves.
in Proceedings of the ESM 2000 - 14th European Simulation Multiconference,
Ghent, Belgium, May 23-26, 2000.
UMDIAR2000.32
Experience-Based Mediator Agents as the basis of an Electronic Commerce
System.
P. Novais, L. Brito, J. Neves.
Proceedings of the Workshop 2000 Agent-Based Simulation, Passau, Germany,
May 2-3, 2000.
UMDIAR2000.33
Agreement in Virtual Marketplaces with CBR-Supported Negotiation.
P. Novais, L. Brito, J. Neves.
Proceedings of the PAAM 2000 - The Fifth International Conference and
Exhibition on the Pratical Application of Intelligent Agents and
Multi-Agents, Manchester, UK, Apr/2000.
UMDIAR2000.34
Manufacturing Entities with Incomplete Information.
P. Sousa, C. Ramos, J. Neves.
Studies in Informatics and Control Journal, vol. 9, nº. 2, pp.79-88,
Jun/2000. National Institute for R&D in Infomatics. Roménia.
UMDIAR2000.35
Fabricare: An Integrated View of a Distributed Manufacturing System.
P. Sousa, C. Ramos, J. Neves.
Proceedings of the 6th International Conference on Intelligent Autonomous
Systems (IAS-6), pp.423-428, Veneza, Itália, Jul/2000.
UMDIAR2000.36
Using Genetic Algorithms in a Constraint Programming Framework to Optimise
Facility Layout Design Problems.
J. Tavares, C. Ramos, J. Neves.
The Practical Application of Constraint Technologies and Logic Programming
(PACLP'2000), Manchester, UK, Apr/2000.
UMDIAR2000.37
Addressing the Layout Design Problem Through Genetic Algorithms and
Constraint Logic Programming.
J. Tavares, C. Ramos, J. Neves.
Third IASTED International Conference of Artificial Intelligence and Soft
Computing (ASC'2000), Banff, Alberta, Canada, Jul/2000.
UMDIAR2000.38
Mobile Agent Based Architecture for Virtual Enterprises.
L. Brito, J. Neves, F. Moura.
Proceedings of the 2nd IFIP Working Conference on Infrastructures for
Virtual Enterprises, Florianopolis, Brazil, Dec/2000.
UMDIAR2000.39
Agreement and Coalition Formation in Multiagent-Based Virtual Marketplaces.
L. Brito, J. Neves.
Proceedings of the IEA/AIE-2000: The 13th International Conference on
Industrial & Engineering Applications of Artificial Intelligence & Expert
Systems, New Orleans, Louisiana, USA, Lecture Notes in Artificial
Intelligence, Springer, Jun/2000.
UMDIAR2000.40
Fusion of Overlapped Result Sets.
Joaquim Macedo, António Costa, Vasco Freitas.
4th European Conference on Research and Advanced Technology for Digital
Libraries,
ERCIM, Lisbon, Portugal, Sep 18-20, 2000.
UMDIAR2000.41
Visualização Sistemática de Programas.
M.João Varanda, Pedro Henriques.
SBLP'2000 - Simpósio Brasileiro de Linguagens de Programação, Recife,
Brasil.
UMDIAR2000.42
How to make KDD Process more accessible to Users.
M.Fátima Rodrigues, Carlos Ramos, Pedro Henriques.
In Proceedings of 2st International Conference on Enterprise Information
Systems (ICEIS´2000), Sttaford, United Kingdom, Julho, 2000.
UMDIAR2000.43
A Case Based Reasoning Framework to extract knowledge from data.
M.Fátima Rodrigues, Carlos Ramos, Pedro Henriques.
DM'2000, UK.
UMDIAR2000.44
Coding recursion a la Mendler.
Tarmo Uustalu, Varmo Vene.
In Johan Jeuring, ed, Proceedings 2nd Workshop on Generic Programming,
WGP'2000 (Ponte de Lima, Portugal, 6 July 2000), Tech Report UU-CS-2000-19,
Dept of Computer Science, Utrecht Univ, pp 69-85, June 2000.
UMDIAR2000.45
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML
Approach.
Ricardo J. Machado, João M. Fernandes, and Henrique D. Santos.
2nd IFIP International Workshop on Distributed and Parallel Embedded Systems
(DIPES 2000), Paderborn, Germany, Oct/2000.
UMDIAR2000.46
An Object-Oriented Approach to the Co-Design of Industrial Control-Based
Information Systems.
Ricardo J. Machado, João M. Fernandes, and Henrique D. Santos.
4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000),
Guimarães, Portugal, Oct/2000.
UMDIAR2000.47
Object-Oriented Inheritance of Statecharts for Control Applications.
João M. Fernandes, and Ricardo J. Machado.
4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000),
Guimarães, Portugal, Oct/2000.
UMDIAR2000.48
Sistemas de Informação Industriais Orientados ao Controlo: Perspectivas
Metodológicas para Tecnologias Reconfiguráveis.
Ricardo J. Machado, João M. Fernandes and Henrique D. Santos.
Ingenium, Ordem dos Engenheiros, 2a. série, n. 50, pp. 88-92, Jul-Aug/2000,
(ISSN 0870-5968).
UMDIAR2000.49
Modeling Industrial Embedded Systems with UML.
João M. Fernandes, Ricardo J. Machado, and Henrique D. Santos.
8th ACM/IEEE/IFIP International Workshop on Hardware/Software Codesign
(CODES 2000), San Diego, CA, USA, pp. 18-22, May/2000.
UMDIAR2000.50
An Evolutionary Approach to the Use of Petri Net based Models: From Parallel
Controllers to HW/SW Co-Design.
Ricardo J. Machado, João M. Fernandes, António J. Esteves and Henrique D. Santos.
Hardware Design and Petri Nets, Ed. A. Yakovlev, L. Gomes, L. Lavagno,
chapter 11, pp. 205-22, Kluwer Academic Publishers, Boston, USA, Feb/2000,
(ISBN 0-7923-7791-5).
UMDIAR2000.51
WEBTRIEVE: A Testbed System for Distributed Information Retrieval
Joaquim Macedo, António Costa and Vasco Freitas
3rd Asian Digital Libraries Conference (ICADL), Seoul, Korea,
Dec,6-8, 2000
UMDIAR2000.52
Avaliação de QoS numa Arquitectura Diffserv
José Faria, Alexandre Santos
Conferência sobre Redes de Computadores 2000,Viseu,
Nov,16-17, 2000
UMDIAR2000.53
CoR's Faster Route over Myrinet
António Pina, Albano Alves, Vitor Oliveira and Cecília Moreira
MUG'2000 - First Myrinet User Group Conference(pags. 173-179),
INRIA, Setembro, 2000
UMDIAR2000.54
VRML+ :Uma plataforma de Desenvolvimento Rápido de Mundos em VRML.
Antonio Ramires Fernandes, Hugo Pires.
in proceedings 9º encontro português de computação gráfica,
16-18 fev, Marinha Grande, Portugal
UMDIAR2000.55
Putting Intelligent Personal Assistants Working on Dynamic Hypercube Views Updating.
Orlando Belo
In Proceedings of 2nd International Symposium on Robotics and Automation (ISRA'2000),
Monterrey, México, Novembro, 2000.
UMDIAR2000.56
Sapiens: A Knowledge Extraction System.
Anália Lourenço, Joaquim Gonçalves, Orlando Belo.
In Proceedings of 2nd International Symposium on Robotics and Automation (ISRA'2000),
Monterrey, México, Novembro, 2000.
UMDIAR2000.57
Navigating and Querying over Data Warehousing Structures.
Joaquim Gonçalves, Anália Lourenço, Orlando Belo.
In Proceedings of 2nd International Symposium on Robotics and Automation (ISRA'2000),
Monterrey, México, Novembro, 2000.
UMDIAR2000.58
Povoamento de Sistemas de Dados para Suporte à Decisão Assistido por Agentes.
Anália Lourenço, Joaquim Gonçalves, Orlando Belo.
1ª Conferência da Associação Portuguesa de Sistemas de Informação (APSI'2000),
Guimarães, Portugal, Outubro, 2000.
UMDIAR2000.59
Representational Reasoning and Verification
Gavin J. Doherty and José C. Campos and Michael D. Harrison
Formal Aspects of Computing
journal,volume 12, 2000, pag.260-277
UMDIAR2000.60
Representação de Informação Incompleta
Cesar Analide, José Neves
1ª CAPSI, Conferência da Associação Portuguesa de Sistemas de Informação
25-27 de Outubro, Universidade do Minho, Guimarães, Portugal
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.
UMDIAR9904
Gathering the Right Information at the Right Time - An Agent Based Approach to Data Warehouses Loading Processes.
Orlando Belo.
1st International Conference on Enterprise Information Systems (ICEIS´99), Setúbal, Portugal, Mar/1999.
UMDIAR9905
Agent Based Multidimensional Analysis on a Production System Plant.
Orlando Belo.
International Conference on Promotion and Enhancement of Computational Methods in Engineering and Science (EPMESC VII), Macao, Aug/1999.
UMDIAR9906
Ambientes de Data Warehousing Orientados por Técnicas de Sistemas de Informação Geográfica.
Orlando Belo.
GIS Brasil 99, Salvador, Bahia, Brasil, Jul/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.
UMDIAR9908
Causality in Autonomous Mobile Systems.
Carlos Baquero, Francisco Moura.
Third European Research Seminar on Advances in Distributed Systems, ERSADS´99, Apr/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.
UMDIAR9911
Preventing Premature Convergence to Local Optima in Geneticd Algorithms via Random Offspring Generation.
Miguel Rocha and José Neves.
In Multiple Approaches to Intelligent Systems, Proceedings of the 12th IEA/AIE-99,
LNCS, Springer, 1999.
UMDIAR9912
Adaptive Strategies and the Design of Evolutionary Applications.
José Neves, Miguel Rocha, Hugo Rodrigues, Miguel Biscaia, José Alves.
In Proceedings of the Genetic and Evolutionary Computation Conference
(GECCO-99), July 14-17, Orlando, 1999.
UMDIAR9913
A Unified Framework for Data Modeling on Medical Information Systems.
José Neves, Paulo Cortez, Miguel Rocha, António Abelha, José Machado,
Vitor Alves, Sousa Basto, Henrique Botelho, Joao Neves.
In Proceedings of the MIE'99, Ljubliana, 1999.
UMDIAR9914
An Evolutionary and Connectionist Approach for Time Series Forecasting.
Paulo Cortez, Miguel Rocha, José Neves.
In Proceedings of the 13th International Conference of Systems
Emgineering, August 9-12, Las Vegas, 1999.
UMDIAR9915
An Evolutionary and Genetic View of the Job-Shop Scheduling Problem.
Carla Vilela, Luis Brito, Miguel Rocha, Pedro Goncalves, José Neves.
In Proceedings of the European Simulation Symposium and Exhibition
(ESS-99), 26-28 October, Erlangen, Germany, 1999.
UMDIAR9916
Using Structural Characteristics for Autonomous Operation.
Carlos Baquero, Francisco Moura.
ACM Operating Systems Review, Vol. 33 No. 4, October 1999.
UMDIAR9917
Towards Efficient Time-stamping for Autonomous Versioning.
Carlos Baquero, Paulo Sérgio Almeida.
EPCM'99, Encontro Português de Computação Móvel, Novembro, 1999.
UMDIAR9918
MobiSnap: Managing Database Snapshots in a Mobile Environment.
Nuno Preguiça, Carlos Baquero, José Legatheaux Martins, Francisco Moura, Henrique João, Rui Oliveira, José Orlando Pereira.
EPCM'99, Encontro Português de Computação Móvel, Novembro, 1999.
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.
UMDIAR9920
Monitorização Inteligente de Processos Produtivos em Tempo Real.
Orlando Belo.
Encontro de Engenharia Informática'99, Ordem dos Engenheiros, Universidade do Minho, Braga, Portugal, Dezembro, 1999.
UMDIAR9921
Contracting Tasks between Autonomous Resources - an Application to Scheduling of Manufacturing Orders.
Sousa P., Ramos C., Neves J.
The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-99), April 19-23, London, UK,1999.
UMDIAR9922
Constraint Programming Approach to Solve Facility Layout Design Problems.
Tavares J., Ramos C., Neves J.
The International Symposium on Assembly and Task Planning (ISATP'99), July 21-24, Porto, Portugal, 1999.
UMDIAR9923
An Information System That Supports Knowledge Discovery And Data Mining in Medical Imaging.
Neves J., Alves V., Nelas N., Romeu A., Basto A.
The Workshop on Machine Learning in Medical Applications,July 5-16, Chania, Greece, 1999.
UMDIAR9924
Legal Knowledge Management.
Costa M., Sousa O., Neves J.
The AAAI-99 Workshop on "Exploring Synergies of Knowledge Management and Case-Based Reasoning", July 27-30, Munich, Germany, 1999.
UMDIAR9925
A Model to Solve the Facility Layout Problem using Constraint Logic Programming.
Tavares J., Ramos C., Neves J.
A Conference on the Practical Application of Constraint Technologies and Logic Programming (PACLP-99), April 19-23, London, UK, 1999.
UMDIAR9926
Manufacturing Entities with Incomplete Information.
Sousa P., Ramos C., Neves J.
The Second International. Conference Workshop on Intelligent Manufacturing Systems (IMS99) and 1999 Advanced
Summer Institute (ASI'99), September 22-24, Leuven, Belgium, 1999.
UMDIAR9927
Verification and Normalization of Sentences.
Costa N., Neves J., Sousa O., Santos S.
Seventh International Conference on Artifitial Intelligence and Law, June 14-18, Oslo, Norway, 1999.
UMDIAR9928
An Application of Case-Based Reasoning in the Legal Domain.
Costa M., Sousa O., Neves J.
The IJCAI'99 Affiliate Event: Networks'99, August 9-10, Espoo, Finland, 1999.
UMDIAR9929
An Intelligent Retail Analysis System.
F. Rodrigues, C. Ramos & P. Rangel Henriques.
In Proc. on 1st International Conference on Enterprise and Information Systems, Setubal, Kluwer Academic Publishers,1999.
UMDIAR9930
An Intelligent System to Study Demography Evolution.
F. Rodrigues, C. Ramos & P. Rangel Henriques.
In Proc. on Data Mining and Knowledge Discovery: Theory, Tools, and Technology. SPIE - The International Society for Optical Engineering, 1999.
UMDIAR9931
Type-checking Balloon Types.
P S Almeida.
Mathematical Foundations of Program Semantics XV,Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 20, 1999.
UMDIAR9932
ARDINA - Difusão de Informação em Computação Móvel.
J O Pereira, R Oliveira, A L Sousa, F Moura.
Encontro Português de Computação Móvel, Novembro, 1999.
UMDIAR9933
Towards Multicast Session Directory Service.
Alexandre Santos, Joaquim Macedo and Vasco Freitas.
Terena-NORDUnet Networking Conference 1999, Lund, Sweden,Jun 7-10, 1999.
UMDIAR9934
Dynamic Grain-Size Adaptation on Object- Oriented Parallel Programming - The SCOOPP Approach.
J.Sobral, A.Proença.
Proceedings of the 2nd Merged IPPS/SPDP 1999, Puerto Rico, April 1999.
UMDIAR9935
A Run-time System for Dynamic Grain Packing.
J.Sobral, A. Proença.
Proceedings of the 5th International EuroPar Conference (Euro-Par'99), Toulouse, France, September 1999.
UMDIAR9936
Using Automated Reasoning in the Design fd an Audio-Visual Communication System.
José Creissac Campos, M.D. Harrison.
Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, SpringerWienNewYork, 1999.
UMDIAR9937
Formal Methods for GI Systems Development.
Jorge Rocha, Ana Silva, Ricardo Henriques, José João Almeida, Pedro Henriques.
Conference of the Association of Geographic Information Laboratories for Europe (AGILE), Roma, 1999.
UMDIAR9938
MAPit - A tool set for automatically generation of HTML Maps.
Jorge Rocha, Tiago Pedroso, José João Almeida.
Conference of the Association of Geographic Information Laboratories for Europe (AGILE), Roma, 1999.
UMDIAR9939
Sobre a Utilização de Metodologias Formais no Desenvolvimento de SIG.
Jorge Gustavo Rocha, Ana Silva, José João Almeida, Mário Ricardo Henriques, Pedro Rangel Henriques.
GISBRASIL'99, Salvador, 1999.
UMDIAR9940
Acesso distribuído a colecções: como chegar lá.
Jorge Gustavo Rocha, Pedro Henriques.
Conferência Acesso ao Património Cultural, Porto, 1999.
UMDIAR9941
Museu da Pessoa desembarca no Porto 2001.
Jorge Gustavo Rocha, Karen Workman.
Conferência Acesso ao Património Cultural, Porto, 1999.
UMDIAR9942
Suporte Informático para Trabalhos de Prospecção e Escavação Arqueológica.
Jorge Gustavo Rocha, Maria do Carmo Ribeiro, Pedro Rangel Henriques.
EPCM'99 Encontro Português de Computação Móvel, Tomar, 1999.
UMDIAR9943
Software Aberto: O Futuro da Engenharia Informática?
António Coutinho, Carlos Baquero, Francisco Moura, Victor Fonte.
EEI'99, Encontro de Engenharia Informática, Ordem dos Engenheiros,
Braga, Dezembro 1999.
UMDIAR9944
XML::DT a Perl Down-Translation module.
José João Almeida, José Carlos Ramalho.
Congresso XML-Europe'99',Granada - Espanha, Maio 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.
UMDIAR9947
Desenvolvimento de Assistentes Pessoais para Suporte a Actividades de Bens e Serviços
Novais P., Videira A., Tavares M., and Neves J.
Actas do EEI´99 - Encontro de Engenharia Informática 99,
Ordem dos Engenheiros,
Braga, Portugal, Dezembro 16-18, 1999 (in portuguese).
UMDIAR9801
Putting Intelligent Agents Working on Yeast Identification as Laboratory Assistants.
Orlando Belo.
International ICSC Symposium on Engineering of Intelligent Systems, Tenerife, Spain, Feb/1998.
UMDIAR9802
Modeling Multi-agent Systems Activities Through Colored Petri Nets.
João M. Fernandes and Orlando Belo.
16th IASTED International Conference on Applied Informatics, Garmisch-Partenkirchen, Germany, Feb/1998.
UMDIAR9803
Agents and Classifiers - A Transaction Logic Approach.
Manuel Santos, José Neves and Orlando Belo.
Second International Conference on Knowledge-based Intelligent Electronic Systems (KES'98), Adelaide, Australia, Apr/1998.
UMDIAR9804
Modelling Intelligent Decision Making on Electronic Mail Distribution Systems.
Alcino Cunha, Orlando Belo and Alexandre Santos.
Eurosim'98 Congress, Helsinki, Finland, Apr/1998.
UMDIAR9805
Agents at Work on Medical Diagnostic Support Systems.
Orlando Belo.
12th European Simulation Multiconference (ESM'98), Manchester, United Kingdom, Jun/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.
UMDIAR9807
A Virtual Interactive Art Gallery.
António Ramires Fernandes, Hugo Castelo Pires and Rui Amaral Rodrigues.
Museums & the Web 98, Toronto, Canada, Apr/98.
UMDIAR9808
An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
9th IFAC Symposium on Information Control in Manufacturing (INCOM'98), Nancy and Metz, France, Jun/98.
UMDIAR9809
Hierarchical Mechanisms for High-level Modelling and Simulation of Digital Systems.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98), Lisbon, Portugal, Sep/98.
UMDIAR9810
An Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW/SW Co-Design.
Ricardo J. Machado, João M. Fernandes, António J. Esteves and Henrique D. Santos.
1st Workshop on Hardware Design and Petri Nets, within the Int. Conf. on Application and Theory of Petri Nets 1998, Lisbon, Portugal, Jun/98.
UMDIAR9811
A Framework for the Development of Tolerant Real Time Applications.
Pedro Sousa and Vasco Freitas.
Terena Networking Conference '98 (TNC'98), Dresden, Germany, Oct 5-8, 1998.
Computer Networks and ISDN Systems (30)16, pp 1531-1549,Elsevier Science Pub BV, Sep 1998.
UMDIAR9812
QoS in Web Caching.
Manuel Afonso and Alexandre Santos.
3rd International Caching Conference, U of Manchester, UK, Jun 15-17, 1998.
UMDIAR9813
Performance limitations of a Banyan-based ATM switching system
under multiple, shaped traffic flows.
Paulo Carvalho and Peter Linington.
16th IASTED Int Conf on Applied Informatics, Garmisch-Partenkirchen, Germany, Feb 23-25, 1998.
UMDIAR9814
The PRISMA System - Intelligent Agents Working on Crime Pattern Analysis Supported by Geographic Information Systems.
Maribel Santos, Orlando Belo and Luís Amaral.
GIS Planet'98 - International Conference and Exhibition on Geographic Information, Lisboa, Portugal, Sep 7-11, 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).
UMDIAR9816
Indexing the Law.
M.Costa, J.Neves and O.Sousa.
Proceedings of the 2nd French-American Conference on Law and Artificial Intelligence, Nice, France, 1998.
UMDIAR9817
Using Simulation in the Application of The Law.
M.Costa, O.Sousa and J.Neves.
Proceedings of the Internation ICSC Symposium on Engineering of Intelligent Systems, Tenerife, Spain, 1998.
UMDIAR9818
Combining Genetic Algorithms, Neural Networks and Data Filtering for Time Series Forecasting.
José Neves and Paulo Cortez.
Proceedings of the 2nd International Conference on Circuits, Systems and Computers (an IMACS International Conference), Piraens, Greece, 1998.
Published by World Scientific Publishing Co., ISBN 981-02-3644-1, London, Nikos E. Mastorakis, Ed., pages 382-388, 1998.
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.
UMDIAR9821
Improving Causality Logging in Mobile Computing Networks.
Carlos Baquero and Francisco Moura.
ACM, Mobile Computing and Communications Review, Oct/98.
UMDIAR9822
QoS in Web Caching.
Manuel Afonso, Alexandre Santos and Vasco Freitas.
Computer Networks and ISDN Systems Vol. 30 (22-23) pp.2093-2103, Nov/98.
UMDIAR9823
Building Virtual Interactive 3D Galleries.
António Ramires Fernandes, Hugo Pires and Rui Rodrigues.
VSMM98: Future Vision - Application Realities
for the Virtual Age, Vol I, pp 60-65, IOS Press, ISBN90-5199-470-2, Gifu,
Japão, VSMM98, Nov/98.
UMDIAR9824
Experimentação de um Sistema Distribuido de Recursos de Informação.
José Exposto and Vasco Freitas.
Actas I Conferência de Redes de Computadores (CRC98), pp 131-134, FCCN, Coimbra, Portugal, Nov/98.
UMDIAR9825
WEBTRIEVE - Uma Arquitectura Distribuida de Pesquisa em Bases de Dados de Texto.
Joaquim Macedo, António Costa and Vasco Freitas.
Actas I Conferência de Redes de Computadores (CRC98), pp 127-130, FCCN, Coimbra, Portugal, Nov/98.
UMDIAR9826
Lrc - A Generator for Incremental Language-Oriented Tools.
Matthijs Kuiper and João Saraiva.
7th International Conference on Compiler Construction, ETAPS'98, Apr/98.
UMDIAR9827
Designing and Implementing Combinator Languages.
Doaitse Swierstra, Pablo Azero and João Saraiva.
3rd International Summer School on Functional Programming, Braga, Portugal, Sep/98.
UMDIAR9828
Galerias Virtuais Interactivas em 3D: Expôr e Dispôr Arte na Internet.
António Ramires Fernandes, Hugo Pires and Rui Rodrigues.
Actas do Encontro de Engenharia Informática 98, Aveiro, Portugal, Dec/98.
UMDIAR9829
CAMILA: Uma Abordagem Rigorosa e Moderna para a Engenharia Informática.
F. Mário Martins.
Anais da Engenharia e Tecnologia Electrotécnica, Ano III, nº 6, Mar/98.
UMDIAR9830
Adapting Museum Structures for the Web: No Changes Needed!.
J.G.Rocha, M.R.Henriques, J.C.Ramalho, J.J.Almeida, J.L.Faria, P.R.Henriques.
In Museums and the Web 1998, Toronto, Canada, Jan/1998.
UMDIAR9831
Beyond DTDs: constraining data content.
J.C.Ramalho, P.R.Henriques.
In SGML98 Europe, Paris, France, May/1998.
UMDIAR9832
Generating SGML specific editors: from DTDs to Attribute Grammars.
J.C.Ramalho, A.R. Lopes, P.R.Henriques.
In Markup Technologies 98, Chicago, USA, Nov/1998.
UMDIAR9833
Algebraic specification of documents.
J.C. Ramalho, J.J.Almeida, P.R.Henriques.
In Journal of Theoretical Computer Science: algorithms, automata, complexity and games, Volume 199, Number 1-2, Jun/1998.
UMDIAR9834
Qualidade na Publicação Electrónica: como controlá-la?.
J.C.Ramalho, P.R. Henriques.
In Quatic 98: III Encontro Nacional para a Qualidade nas Tecnologias da Informação e Comunicação, Guimarães, Portugal, Nov/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.
UMDIAR9838
Integration of Data warehouse Data Mining and EIS.
F.Rodrigues, C.Ramos, P.R. Henriques.
Computer Systems and Applications - IASTED International Conference, Mexico, pp 264-268, 1998.
UMDIAR9839
DECADIS a Discovery-Driven System.
F.Rodrigues, C.Ramos, P.R. Henriques.
The Second International Conference on The Practical Application of Knowledge Discovery and Data Mining - PADD98, London, pp 320-325, 1998.
UMDIAR9840
Knowledge Discovery with Retail Basket Analysis.
F.Rodrigues, C.Ramos, P.R. Henriques.
The First International Conference on Data Mining, Brasil, Springer-Verlag, 1998.
UMDIAR9841
Extracting Knowledge Patterns from Ticket Data.
F.Rodrigues, C.Ramos, P.R.Henriques.
The First International Conference on Discovery Science, Japan, Springer-Verlag, 1998.
UMDIAR9842
Knowledge Extraction in Rough Information Systems.
F.Rodrigues, C.Ramos, P.R.Henriques.
Proc. 1th Conference Engineerem Order of Informatic Engeneeriem College (EEI98), Aveiro, Portugal, 1998.
UMDIAR9843
A Framework and Patterns for the Specification of Reactive Systems.
L.Barroca, P.R.Henriques.
IST: Information and Software Technology, pp 135-142, Nr 40, Elsevier, Nov/1998.
UMDIAR9844
Dynamic Dictionary = cooperative information sources.
J.J.Almeida, P.R.Henriques.
II. International Conference on Knowledge-based Intelligent Electronic Systems (KES'98), Adelaide, Australia, Apr/1998.
UMDIAR9845
A Distributed Web-based Water Quality Diagnosis System in Lakes and Reservoirs.
J.Neves, J.Machado, P.Cortez, J.Arteiro, H.Vicente.
In Proceedings of the European Simulation Symposium (ESS'98), The Society for Computer Simulation, Ed., U.K., Oct/1998.
UMDIAR9846
An Architecture to Legal Distributed Case Repositories.
M.Costa, O.Sousa, J.Neves.
In Proceedings of the Jurix 1998 - The Eleventh Conference on Legal Knowledge Based Systems,
Published by Gerad Noodt Institut, Nigmegen, The Netherlands, pages 21-30, Dec/1998.
UMDIAR9847
Parametric Version Space Approach to Concept Learning.
J.Neves, E.Smirnov.
In Journal of Computer and System Sciences International (A journal of the Russian Academy of Sciences),
MaiK Nauka/Interperiodica Publishing Company, Volume 37, number 5, pages 708-728, November, 1998.
UMDIAR9848
Programação de dicionários.
J.J.Almeida.
Actas do XIII Congresso da Associação Portuguesa de Linguística, 1998.
UMDIAR9849
Etiquetador morfo-sintáctico para o Português.
R.Reis, J.J.Almeida.
Actas do XIII Congresso da Associação Portuguesa de Linguística, 1998.
UMDIAR9850
Broms: Gestão Uniorme de um Parque Computacional Multi-Plataforma.
A.Coutinho, A.L.Sousa, C.Baquero, F.Moura, J.P.Oliveira, J.O.Pereira.
Actas do Primeiro Encontro do Colégio de Informática da Ordem dos Engenheiros, Aveiro, Portugal, Dec/1998.
UMDIAR9851
Sistemas de Data Warehousing Suportados por Agentes.
Orlando Belo.
Actas do Primeiro Encontro do Colégio de Informática da Ordem dos Engenheiros, Aveiro, Portugal, Dec/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.
UMDIAR9701
SOFHIA: A CAD Environment to Design Digital Control Systems.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
XIII IFIP Conference on Computer Hardware Description Languages and Their Applications (CHDL'97), Toledo, Spain, Apr/97.
UMDIAR9702
Specification of Industrial Digital Controllers with Object-Oriented Petri Nets.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
IEEE International Symposium on Industrial Electronics (ISIE'97), vol. 1, pp. 78-83, Guimarães, Portugal, Jul/97.
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 Performance
Computing series, Computational Mechanics Publications, pp. 103-112, Jul/97.
UMDIAR9706
Evaluation of the Communication Performance on a Parallel Processing System.
Luís Paulo Santos, Vítor Castro and Alberto Proença.
4th European PVM-MPI Users Group Meeting, Krakow, Poland, Nov/97.
UMDIAR9707
Redes de Petri e VHDL na Prototipagem Rápida de Sistemas Digitais.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
3. Encontro Nacional do Colégio de Engenharia Electrotécnica,
pp. 83-90, Ordem dos Engenheiros, Matosinhos, Portugal, Jun/97.
UMDIAR9708
Genetic regulatory mechanisms by means of Extended Interactive Petri Nets.
António Pina, João M. Fernandes and Ricardo J. Machado.
IEEE International Conference on Systems, Man, and Cybernetics (SMC'97),
Orlando, Florida, USA, Oct/97.
UMDIAR9709
VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers.
João M. Fernandes, Marian Adamski and Alberto J. Proença.
IEE Proceedings: Computers and Digital Techniques, Vol. 144, Issue 2,
pp. 127-137, IEE, Mar/97.
UMDIAR9710
Using Multi-Agent Systems Technology on Cooperative Traffic Control Simulation - A Case Study.
Miguel Pires, J. Dias and Orlando Belo.
16th IASTED International Conference on Modelling, Identification and Control,
Innsbruck, Austria, Feb/97.
UMDIAR9711
An Architecture for Multi-Agent Systems Communities.
Orlando Belo and José Neves.
10th International FLAIRS Conference, Florida, USA, May/97.
UMDIAR9712
Integração de Técnicas de Computação Baseada em Agentes no Desenvolvimento de
Aplicações Industriais.
Orlando Belo.
3. Encontro Nacional do Colégio de Engenharia Electrotécnica,
Ordem dos Engenheiros, Matosinhos, Portugal, Jun/97.
UMDIAR9713
Multi-Agent Systems Interaction Through Intelligent Routing Services.
Orlando Belo and José Neves.
IEEE First International Conference on Intelligent Processing Systems,
Beijing, China, Oct/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.
UMDIAR9717
Formalizing Context in Knowledge Management Systems.
José Neves and José Machado.
International Workshop Distributed Artificial Intelligence and
Multi-Agent Systems (DAIMAS'97). St.Petersburg, Russia, Jun/97.
UMDIAR9718
A Multi-Agent Computational Framework for Dynamic Systems.
José Machado, José Neves and César Analide.
15th IASTED International Conference, Applied Informatics, Innsbruck,
Austria, Feb/1997.
UMDIAR9719
Rapid Prototyping in Concurrent Engineering - A Model and its Language.
José Neves and José Machado.
International Conference on Concurrent Engineering and Electronic Design
Automation, Erlangen, Germany, Mar/1997.
UMDIAR9720
A Informática no Sistema Judiciário.
José Neves, José Machado, António Abelha, Ilídio Frois and Paulo Sousa.
3. Encontro Nacional do Colégio de Engenharia Electrotécnica
Ordem dos Engenheiros, Matosinhos, Portugal, Jun/97.
UMDIAR9721
Extended Logic Programming Appplied to the Specification of Multi-Agent Systems and their Computing Environment.
José Neves, José Machado, César Analide, Paulo Novais and António Abelha.
ICIPS'97, Special Session on Intelligent Network Agent Systems,
Beijing, China, Oct/1997.
UMDIAR9722
The Application of Artificial Intelligence to Law Enforcement.
José Neves, José Machado and António Abelha.
International Conference on Artificial
Intelligence and Law, Melbourne, Australia, Jun/1997.
UMDIAR9723
Step Towards Formalizing Context in Discrete Event Simulation.
José Neves, José Machado and António Abelha.
IASTED International Conference on
Artificial Intelligence and Soft Computing, Banff, Canada, Jul/1997.
UMDIAR9724
The BEABLE System: A Distributed Computational Environment for Multi-Agent Systems
Implementation.
Orlando Belo and José Neves.
The Workshop on "Multi-Agent Systems: Theory and Applications" (MASTA'97),
under the auspices of the Portuguese Conference on Artificial Intelligence (EPIA'97),
Coimbra, Portugal, Oct/97.
UMDIAR9725
Sistema Inteligente para o Processamento de Objectivos.
Paulo Tomé, Luís Amaral and José Neves.
Revista "Sistemas de Informação", n 6, pp. 65-72, 1997.
UMDIAR9726
Parallel Genetic Algorithms in a Networked Workstation Environment.
Vítor Oliveira, António Pina and Alberto Proença.
Applications of High Performance Computing in Engineering V,
H. Power and J.J. Casares Long (editors), vol. 3, Advances in High Performance
Computing series, Computational Mechanics Publications, pp. 93-102, Jul/97.
UMDIAR9727
Detecção de movimento em sequências de imagens usando redes neuronais.
V. Filipe, T. Machado, A.J. Proença and J. Bulas-Cruz.
5as Jornadas Hispano-Lusas de Ingeniería Eléctrica,
Salamanca, Spain, Jul/97.
UMDIAR9728
Porting Khoros Applications to a Parallel Vision Machine.
M.P. Monteiro, J. Bulas-Cruz and A.J. Proença.
Khoros Symposium '97, Albuquerque, New Mexico, Mar/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.
UMDIAR9731
Problems in Group Work at a Business Informatics Course.
N. Janssen, R.M. Vasconcelos and L.A.M. Amaral.
International Conference on Project Work in University Studies, Roskilde
University, Denmark, 1997.
UMDIAR9732
Business Process Models for Process Management.
J. Carvalho, Luís Amaral and Rui D. Sousa.
EURO XV & INFORMS XXXIV 1997 Joint International Meeting, Barcelona,
Spain, Jul/97.
UMDIAR9733
Optical Interference Produced by Artificial Light.
Adriano J.C. Moreira, Rui T. Valadas and A.M. de Oliveira Duarte.
Journal of ACM Wireless Networks, vol. 3, 1997.
UMDIAR9734
Evolução da função SI: uma avaliação nos Serviços de Informática de
Grande Dimensão.
Maribel Santos.
Revista de Informação & Informática, vol. 20, pp. 29-38, 1997.
UMDIAR9735
Contribuições da Universidade de
Aveiro para a Especificação da Rede de Área Local Não-cablada IEEE 802.11.
Rui Valadas, Adriano Moreira, Cipriano Lomba, António Tavares, Luís Moreira,
Carlos Oliveira, Rui Aguiar, Amaro de Sousa and A. M. de Oliveira Duarte.
Revista de Electrónica e Telecomunicações, vol. 1, nº 7, 1997.
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.
UMDIAR9737
Redes de Petri e VHDL na Prototipagem Rápida de Sistemas Digitais.
Ricardo J. Machado, João M. Fernandes and Alberto J. Proença.
Revista Anais da Engenharia e Tecnologia Electrotécnica, Colégio de
Engenharia Electrotécnica, Ordem dos Engenheiros, ano II, nº 4, Jul/97.
UMDIAR9738
Projecto de Hardware Digital Orientado por Objectos.
João M. Fernandes and Ricardo J. Machado.
Revista Anais da Engenharia e Tecnologia Electrotécnica, Colégio de
Engenharia Electrotécnica, Ordem dos Engenheiros, ano II, nº 5, Dec/97.
UMDIAR9739
INES: Ambiente para Construção Assistida de Editores Estruturados baseados em SGML.
José Carlos Ramalho, Alda Reis Lopes and Pedro Rangel Henriques.
Universidade de Campinas, S. Paulo, Brazil, Sep/97.
UMDIAR9740
SGML Documents: where does quality go?
José Carlos Ramalho, Jorge Gustavo Rocha, José João Almeida and Pedro Rangel Henriques.
SGML/XML'97 Conference, Washington D. C., USA, Dec/97.
UMDIAR9741
An Artificial Neural-Network Genetic Based Approach for Time Series Forecasting.
José Neves and Paulo Cortez.
IV Brazilian Symposium on Neural Networks, Goiania, Brazil, Dec/97.
UMDIAR9742
Addressing Problem Solving on a Distributed Computational Architecture
.
José Machado, Paulo Novais, António Abelha and José Neves.
Actas do Encontro Brasileiro de Engenharia de Produção, Porto Alegre, Brasil, 1997.
UMDIAR9743
Distributed Interactive Simulation.
José Machado and José Neves.
Proceedings of ESS'97, European Simulation Symposium, Erlangen, Germany, 1997.
UMDIAR9744
A Multi-Agent System for Law Enforcement Simulation.
José Neves, José Machado, Paulo Novais and António Abelha.
Proceedings of ESS'97, European Simulation Symposium, Erlangen, Germany, 1997.
UMDIAR9745
Server Selection on the Internet Using Passive Probing.
José Afonso and Vasco Freitas.
Multimedia Computing and Networking Conf 1997,
SPIE/ACM SIG Multimedia, 10 pp, San José, California, USA,
Feb 10-12, 1997.
UMDIAR9746
Serviços de Telecomunicações em Redes Inteligentes.
Carlos Moura and Vasco Freitas.
I Conferência Nacional de Telecomunicações, Aveiro, Portugal,
Abril 10-11, 1997.
UMDIAR9747
>A Distributed Weighted Centroid-based Indexing System.
Miguel Rio, Joaquim Macedo and Vasco Freitas.
Proc 8th Joint European Networking Conference - JENC8,
pp 32201-32210, Terena, Edinburgh, Scotland, May 12-15, 1997.
UMDIAR9748
Cooperative Agents in Distributed Indexing and Retrieval.
Miguel Rio, Joaquim Macedo and Vasco Freitas.
Proc of the 1997 IEEE International Conference on Intelligent
Processing Systems, vol 1, pp 165-169, Beijing, China,
Oct 28-31, 1997.
UMDIAR9749
Balloon Types: Controlling Sharing of State in Data Types.
P.S.Almeida.
In Proceedings ECOOP'97, LNCS, Volume 1241, pp 32-59, Springer-Verlag, Jun/1997.
UMDIAR9750
Magic Sets with Full Sharing.
Paulo J. Azevedo.
The Journal of Logic Programming, vol 30, Number 30, March 1997.
UMDIAR9601
A Distributed Problem Solving Environment for Multi-Agent Systems.
Orlando Belo and José Neves.
Third World Congress on Expert Systems, Seoul, Korea, Feb/96.
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.
UMDIAR9606
A Distributed Multi-Agent System Environment, A Web Approach.
Orlando Belo and António Ribeiro.
IASTED International Conference on Artificial Intelligence, Expert Systems and
Neural Networks, Honolulu, Hawaii, USA, Aug/96.
UMDIAR9607
A Hardmetal Tools and Wear Parts Production System Simulation.
Orlando Belo.
8th European Simulation Symposium (ESS'96), Genoa, Italy, Oct/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.
UMDIAR9609
A Software Agent Distributed System for Dynamic Load Balancing.
José Neves, José Machado, Lino Costa and Paulo Cortez.
Budapest, Hungary, Jun/96.
UMDIAR9610
An Evolutionary Artificial Neural Network Time Series Forecasting System.
Paulo Cortez and José Machado and José Neves.
IASTED International Conference on Artificial Intelligence, Expert Systems and
Neural Networks, Honolulu, Hawaii, Aug/96.
UMDIAR9611
Time Series Forecasting in a Distributed Environment.
P.Cortez and J.Machado and J.Neves.
IBERAMIA 96, Puebla, Mexico, Oct/96.
UMDIAR9612
A Multi-Agent Framework for System Simulation.
J.Neves and J.Machado and A.Abelha and P.Novais.
8th European Simulation Symposium (ESS'96), Genoa, Italy, Oct/96.
UMDIAR9613
The Application of Web-Based Multi-Agent Technology to Simulation Modelling.
José Neves and José Machado.
Euromedia 1996, London, UK, Dec/96.
UMDIAR9614
PLink: An Industrial Architecture for Diagnostics and Process Control.
R.J.Machado.
Diagnostics and Process Control Symposium (PCTL'96), Dallas, USA, Mar/96.
UMDIAR9615
AutoZCal System - A Integração Total.
R.J.Machado.
Journal of Texas Instruments - Samsung Electronics, n. 8, vol. III, Jan/96.
UMDIAR9616
EDgAR: A Platform for Hardware/Software Codesign.
António J. Esteves, João M. Fernandes and Alberto J. Proença.
Fifth Annual Advanced Technology Workshop (ATW'96), Toulouse, France, Jul/96.
UMDIAR9617
Semantic Subsumption for Magic Sets.
P.J.Azevedo.
JSAI (Japanese Society for Artificial Intelligence)
Workshop on Inductive Logic Programming, Sapporo, Japan, 96.
UMDIAR9618
An Efficient Strategy for Dynamic Knowledge Bases.
P.J.Azevedo and D.Montesi.
XI Brazilian Symposium on Database Systems (SBBD'96),
pp. 73-83, S.Carlos, Brazil, 96.
UMDIAR9619
Context-Sensitive User Interfaces.
J.C.Campos and F.M.Martins.
In Book: Formal Aspects of the Human-Computer Interface, Sheffield 1996, Series:Electronic Workshops in Computing, eds C.R.Roast and J.I.Siddiqui, Springer-Verlag, Set/96.
UMDIAR9620
Atomic Updates of Replicated Data.
R.Guerraoui, R.Oliveira and A.Schiper.
Second Europeean Dependable Computing Conference (EDCC-2),
Taormina, Italy, Oct/96.
UMDIAR9621
A Human Centered Perspective for Mobile Information Sharing and Delivery.
A.Sousa, C.Baquero, J.O.Pereira, R.Oliveira and F.Moura.
ECOOP'96 Workshops - II Workshop on Mobility and
Replication, Linz, Austria, Jul/96.
UMDIAR9622
Especificação e Tratamento de Dicionários.
J.J.Almeida.
XI Congresso da Associação Portuguesa de Linguística,
Lisboa 1995, vol 2, 96.
UMDIAR9623
Tratamento automático de termos compostos.
U.Pinto and J.J. Almeida.
XI Congresso da Associação Portuguesa de Linguística,
Lisboa 1995, vol 2, 1996.
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.
UMDIAR9625
Document Semantics: two approaches.
J.C.Ramalho, J.J.Almeida and P.R.Henriques.
SGML'96 Conference, Boston, Nov/96.
UMDIAR9626
Um Serviço Integrado de Comunicação de suporte a Actividades Educacionais.
P.Sousa, R.José, A.Costa and V.Freitas.
Simpósio Investigação e Desenvolvimento de Software
Educativo CICSA, Faculdade de Ciências e Tecnologia, Universidade Nova de
Lisboa, Monte de Caparica, Portugal, Oct/96.
UMDIAR9627
Digital Time-stamping to Support Non Repudiation in Electronic Communications.
F.Pinto and V.Freitas.
14th Worldwide Congress on Computer and Communications Security and Protection
(SECURICOM'96), pp. 397-406, eds MCI (Manifestations & Communications
Internationales), CNIT, Paris, France, Jun/96.
UMDIAR9628
Building an Integrated Communication Environment.
P.Sousa, R.José, A.Costa and V.Freitas.
7th Joint European Networking Conference - JENC7,
pp. 1431-1438, Terena, Budapest, Hungary, May/96.
UMDIAR9629
Document Semantics: two approaches.
J.C. Ramalho, J.J. Almeida and P.R. Henriques.
In book: Celebrating a Decade of SGML, eds Graphic Communications Association, pub ArborText, pp. 473-483, 1996.
UMDIAR9630
O Desenvolvimento de Software Visto como um processo Evolutivo de Manipulação de Representações.
P.Ribeiro and J.A.Carvalho.
Revista de Sistemas de Informação, n. 4, pp. 45-60, 1996.
UMDIAR9631
Estrategias para Lidiar con la Complejidad Utilizadas en el Modelaje de Sistemas de Información.
J.A.Carvalho.
In book: Metodologias de Analisis y Diseño de Sistemas de Información Complejos, eds J.L.Justo, pub. Universidade de Vigo, Spain, 1996.
UMDIAR9632
Regras para a Transformação de um Modelo Conceptual Orientado ao Objecto num Esquema de Base de Dados Relacional.
J.M.Gonçalves and J.A.Carvalho.
Object Oriented Portugal '96 Conference (OOP'96),
Lisbon, Portugal, Oct/96.
UMDIAR9633
"4x4": A Framework for Meta-Modelling and Method Engineering.
M.Brito and J.A.Carvalho.
In Poster Book - Method Engineering'96: Principles for Method
Construction and Tool Support, Atlanta, USA, Aug/96.
UMDIAR9634
Organisational Knowledge and its Manipulation as the
Basis for the Study of Information Technology Applications in Organisations.
J.A.Carvalho and L.Amaral.
4th European Conference on Information Systems (ECIS'96),
pp. 585-592, Lisbon, Portugal, Jul/96.
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.
UMDIAR9636
Expressiveness and Legibility in Conceptual Modelling: A Comparison of Three Techniques.
A.Chaves and J.A.Carvalho.
Workshop on Evaluation of Modeling Methods in Systems Analysis and Design
(EMMSAD'96), within the 8th International Conference on Advanced Information
Systems Engineering (CAiSE'96),
eds K.Siau and Y.Wand, Heraklion, Greece, pp. D1-D13, May/96.
UMDIAR9637
An Assessment of the Applicability of OOA to the Development of Information Systems.
I.Santos and J.A.Carvalho.
International Conference on Requirements Engineering (ICRE'96), pp. 238-244,
eds IEEE Computer Society Press, Colorado Springs, Colorado, USA, Apr/96.
UMDIAR9638
Cooperation Among Opportunistic Agents on a Distributed Environment.
Orlando Belo and José Neves.
In Lecture Notes in Artificial Intelligence (1087). Distributed Artificial Intelligence Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings, eds C. Zhang and D. Lukose, Springer-Verlag,
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.
UMDIAR9640
Licenciatura em Informática de Gestão: Passado, presente e futuro.
L.Amaral.
Revista das III Jornadas de Informática de Gestão, pp. 5-6, Oct/96.
UMDIAR9641
"PRAXIS", Informação & Informática.
L.Amaral.
Revista do Instituto de Informática do Ministério das Finanças, n. 9, 17, pp. 10-21, 1996.
UMDIAR9642
Brief Overview of the Information Systems Field in Portugal.
R.Magalhães and L.Amaral.
Revista de Sistemas de Informação, n. 5, 1996.
UMDIAR9643
A Framework and Patterns for the Specification of Reactive Systems.
L. Barroca and P. Henriques.
EuroPLoP'96, Germany, 96.
UMDIAR9644
Nllex - a tool to generate lexical analysers for natural language.
J.J.Almeida.
XI Congreso SEPLN - Procesamento del lenguaje Natural.
In SEPLN - Procesamento del lenguaje Natural, n. 19, pp. 81-90, Set/96.
UMDIAR9645
Etiquetador para português.
R.Reis and J.J.Almeida.
XII Congresso da Associação Portuguesa de Linguística,
Braga, Portugal, 1996.
UMDIAR9646
Dicionários multi-fonte.
J.J.Almeida.
XII Congresso da Associação Portuguesa de Linguística,
Braga, Portugal, 1996.
UMDIAR9647
Web Core: Forward and Backward navigation on a multigrain web representation.
C.Baquero and J.Portugal.
Poster Proceedings of the Fifth International WWW Conference, May/96.
UMDIAR9648
Matriz Hipermédia para Desenvolvimento de Material Pedagógico.
J. Maia and A.J. Proença.
Simpósio Investigação e Desenvolvimento de Software
Educativo, Costa da Caparica, Oct/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.
UMDIAR9501
A Prolog Implementation of a Distributed Computing Environment for Multi-Agent
Systems Based Applications.
Orlando Belo and José Neves.
The Practical Application of Prolog (PAP'95), Paris, France, Apr/95.
UMDIAR9502
An Extended Magic Sets Strategy for a Rule language with Updates and
Transactions.
Paulo Azevedo and Danilo Montesi.
3rd Workshop of Deductive Databases and Logic Programming under the ICLP'95, Tokyo, Japan, Jun/95.
UMDIAR9503
Multi-Agent Systems Based Distributed Intelligent Simulation - A Case Study.
Orlando Belo and José Neves.
Eurosim Congress'95 (Eurosim'95), Vienna, Austria, Sep/95.
UMDIAR9504
Concurrent Execution of Petri Nets based on Agents.
João M. Fernandes, António M. Pina and Alberto J. Proença.
Workshop Object Oriented Programming & Models of Concurrency within the ICATPN'95, Torino, Italy, Jun/95.
UMDIAR9505
An Object-Oriented Dynamic Logic Based Modeling and Simulation
Environment.
José Neves and José Machado.
3rd Beijing International Conference on System Simulation and Scientific Computation,
Beijing, China, Oct/95.
UMDIAR9506
A Distributed Concurrent Logic Programming Language and its Interpreter.
José Neves and Rui Mendes.
5th International Workshop on DISTRIBUTED DATA PROCESSING (DDP'95),
Novosibirsk, Siberia, Russia, Oct/95.
UMDIAR9507
Integration of Concurrency Control in a Language with Subtyping and Subclassing.
Carlos Baquero, Rui Oliveira and Francisco Moura.
USENIX COOTS'95, Monterey, CA, USA, Jun/95.
UMDIAR9508
MobiScape: WWW Browsing under Disconnected and Semi-Connected Operation.
Carlos Baquero, Victor Fonte, Francisco Moura and Rui Oliveira.
1st Portuguese WWW Conference (CNW3), Braga, Portugal, Jul/95.
UMDIAR9509
A Web-Based Framework for Distributed Expert Systems.
Orlando Belo and António Nestor Ribeiro.
1st Portuguese WWW Conference (CNW3), Braga, Portugal, Jul/95.
UMDIAR9510
Simulação e síntese de controladores paralelos
baseados em redes de Petri.
João M. Fernandes, António M. Pina and Alberto J. Proença.
VII SBAC-PAD, Canela, RS, Brazil, Jul/95.
UMDIAR9511
A Framework for Broadcasting and Management of URIs.
M. Rio, A.L.D. Costa, J.M.H. Macedo and V.L.B. Freitas.
Proc. 6th Joint European Networking Conference (JENC'95), Terena, Tel Aviv, Israel, May/95.
UMDIAR9512
Providing Multiple External Views on Directory User Interfaces.
R.J.P. José, A.L.D. Costa, J.M.H. Macedo and V.L.B. Freitas.
Proc. 6th Joint European Networking Conference (JENC'95), Terena, Tel Aviv, Israel, May/95.
UMDIAR9513
Supporting a URI Infrastructure by Message Broadcasting.
M. Rio, J.M.H. Macedo, A.L.D. Costa and V.L.B. Freitas.
INET'95 - Annual Meeting of the Internet Society, Honolulu, USA, Jun/95.
UMDIAR9514
Páginas Amarelas de Recursos Internet.
Joaquim Macedo, Maria J.N. Pinto, Miguel Rio and Vasco Freitas.
1st Portuguese WWW Conference (CNW3), Braga, Portugal, Jul/95.
UMDIAR9515
BBS-RIA: Um BBS Multimidia baseado no WWW.
A.L.D. Costa, F. Carvalho, L. Fonseca, M. Marinheiro, R.J. José and V.L.B. Freitas.
1st Portuguese WWW Conference (CNW3), Braga, Portugal, Jul/95.
UMDIAR9516
A Fuzzy Query Language for a Software Reuse Environment.
António Nestor Ribeiro, Fernando Mário Martins.
WISR'95 - Workshop International Software Reuse. Chicago, Illinois, USA, Aug/95.
UMDIAR9517
Cooperation Among Opportunistic Agents on a Distributed Environment.
Orlando Belo and José Neves.
First Australian Workshop on Distributed Artificial Intelligence, Canberra, Australia, Nov/95.
UMDIAR9518
Consistency Revision in a Distributed Multi-Agent System Environment.
Orlando Belo and José Neves.
International Workshop on Decentralized Intelligent and Multi-Agent
Systems (DIMAS'95), Krakow, Poland, Nov/95.
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.
UMDIAR9523
A Plataforma EDgAR na Prototipagem Rápida de Sistemas Digitais.
António J. Esteves, João M. Fernandes, Henrique D. Santos and Alberto J. Proença
.
2º Encontro Nacional do Colégio de Engenharia Electrotécnica,
Lisbon, Portugal, Dec/95.
UMDIAR9524
A Heterogeneous Computer Vision Architecture: Implementation Issues.
H.D.Santos, J.C.Ramalho, J.M.Fernandes and A.J.Proença.
Computing Systems in Engineering, vol.6, n.4/5, pp.401-408, 95.
UMDIAR9525
Aplicação da Análise Orientada ao Objecto ao
Desenvolvimento de Produtos de Gestão Financeira.
I.Santos and J.A.Carvalho.
Revista de Sistemas de Informação, vol 3, pp. 63-71, 1995.
UMDIAR9526
An Assessment of the Aplicability of Object-Oriented Analysis to the Development of Information
Systems.
I.Santos and J.A.Carvalho.
In Proceedings of ISAS'95 - Information Systems Analysis and Synthesis, Focus Symposium, 5th
International Symposium on Systems Research, Informatics and Cybernetics
(InterSymp'95), Baden-Baden, Alemanha}, 1995.
UMDIAR9527
Dealing with Different Modelling Concepts in Information Systems Development.
J.A.Carvalho.
Proceedings of the conference "ISCO3 - Information Systems concepts: Towards a
Consolidation of Views, Marburg, Germany, Mar/95.
UMDIAR9528
Specification, Quantification and Provision of Quality of Service and Congestion
Control for New Communication Services.
E.Monteiro, F.Boavida, G.Quadros and V.Freitas.
In Proceedings of the 16th AFCEA Europe Symposium", Association for
Communications, Electronics, Intelligence & Information Systems Professionals/IEEE
ComSoc/IEE, Brussels, Belgic, Oct/95.
UMDIAR9529
Algebraic Specification of Documents.
J.C. Ramalho and J.J. Almeida and P.R. Henriques.
Proceedings of the Algebrai Methods in Language Processing, eds A.Nijholt,
G.Scollo and R.Steetskamp, pub Twente University, Netherlands, pp. 55-64, Dec/95.
UMDIAR9530
YaLG - extending DCG for NLP.
J.J.Almeida.
Actas del XI Congresso de Lenguajes Naturales Y Lenguajes Formales, pp. 621-627, 1995.
UMDIAR9531
Tratamento automatico de termos compostos.
U.Pinto and J.J.Almeida.
Actas do XI Encontro da Associação Portuguesa de Linguística,
Lisboa, Portugal, 1995.
UMDIAR9532
Especificacao e tratamento de dicionarios.
J.J.Almeida.
Actas do XI Encontro da Associação Portuguesa de Linguística
Lisboa, Portugal, 1995.
UMDIAR9533
A Distributed Computacional Environment for Genetic-Based Classifier Systems.
J.Neves and M.Santos.
Proceedings of the Eight Australian Joint Conference on Artificial Intelligence, Canberra,
Australia, Nov/95.
UMDIAR9534
A Many Sorted First-Order Dynamic Logic in Discrete Event Simulation.
J.Neves and J.Machado and A.Ribeiro.
Proceedings of the 7th European Simulation Symposium (ESS'95), Erlangen, Germany, Oct/95.
UMDIAR9535
A Neural Network Based Time Series Forecasting System.
Paulo Cortez, Miguel Rocha, José Machado and José Neves.
Proceedings of the 1995 IEEE International Conference on Neural Networks (ICNN'95), Perth,
Western Australia, Dec/95.
UMDIAR9536
Replica Control in MIo-NFS.
V.Guedes and F.Moura.
Proceedings of the ECOOP'95 Workshop on Mobility and Replication, Aarhus, Denmark, Aug/95.
UMDIAR9537
Concurrent Attribute Evaluation.
J.Saraiva and P.Henriques.
Journal of Computing Systems in Engineering, vol. 6, n 4,5, pp. 451-457, 1995.
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.
UMDIAR9539
Os desafios da Imagem e das Comunicações no ensino dos Anos 90.
A.Machado.
Actas do II Congresso da Sociedade Portuguesa de Ciências da
Educação, vol. 1, pp. 457-466, Braga, Portugal, 1995.
UMDIAR9540
A Telemática: Implicações ao nível da Prática Pedagógica.
A.M.Lopes and A.Machado.
Actas do II Congresso da Sociedade Portuguesa de Ciências da
Educação, vol. 1, Braga, Portugal, 1995.
UMDIAR9541
Que papel para a Telemática na Educação?.
A.M.Lopes and A.Machado.
Revista Informática & Educação, n. 6, pp. 10-15, Braga, Portugal, Dec/95.
UMDIAR9542
Uma experiência de utilização da Internet na gestão pedagógica e sua formalização.
J.A.Saraiva, J.C.Ramalho, P.R. Henriques.
Conferência Nacional WWW - Informação Multimédia na Internet, Universidade do Minho, Braga, Portugal, Jul/1995.
UMDIAR9543
DAVID - Algebraic Specification of Documents.
J.C. Ramalho and J.J. Almeida and P.R. Henriques.
TWLT10 - Algebraic Methods in Language Processing - AMiLP95", A.Nijholt, G.Scollo, R.Steetskamp (eds), nr 10, Twente Workshop on Language Technology Series, Twente University, Holland, Dec/1995.
UMDIAR9401
Gerador Programável de Sequências de Imagens e seu Processamento.
João L. Sobral and Alberto J. Proença.
6º Encontro Português de Computação Gráfica, Braga, Portugal, Jan/94.
UMDIAR9402
Distributed Problem Solving - A Case Study.
Abílio Ribeiro, Victor Alves and José Neves.
Proceedings of the International Training Equipment Conference, 229-235, The Hague, The Netherlands, Apr/94.
UMDIAR9403
Redes de Petri na Especificação e Validação de
Controladores Paralelos.
João M. Fernandes and Alberto J. Proença.
1º Encontro Nacional do Colégio de Engenharia Electrotécnica
(ENCEE'94), Lisbon, Portugal, May/94.
UMDIAR9404
Concurrency Annotations in C++.
Carlos Baquero and Francisco Moura.
SIGPLAN Notices, Jul/94.
UMDIAR9405
A Messages Density Monitoring Strategy for Distributed Memory Parallel Systems.
Luís P. Santos, A. Chalmers and Alberto J. Proença.
2nd Int. Conf. on Software for Multiprocessors and SuperComputers,
Theory, Practice, Experience (SMSTPE'94), Sep/94.
UMDIAR9406
MCBA: Modelo de Computação Baseado em Agentes.
António Pina.
Object-Oriented Portugal (OOP'94), Sep/94.
UMDIAR9407
Variações sobre a Compilação da Linguagem O via Gramáticas de Atributos.
C.Amaral, J.A.Saraiva and P.R.Henriques.
Object-Oriented Portugal (OOP'94), Sep/94.
UMDIAR9408
Uma Abordagem ao Controlo de Concorrência em Orientação por Objectos.
C.Baquero and F.S.Moura.
Object-Oriented Portugal (OOP'94), Sep/94.
UMDIAR9409
Reactive Systems and the Simulation of Industrial Processes - A Dynamic Logic View.
José Neves and Abílio Ribeiro.
Proceedings of the European Simulation Symposium (ESS'94), Vol II, 80-84, Instambul, Turkey, Oct/94.
UMDIAR9410
A Portable Lightweight Approach to NFS Replication.
R.Menezes, C.Baquero and F.S.Moura.
ROSE'94, GURU's 1994 Open Systems Conference, Nov/94.
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.
UMDIAR9412
A Proof Procedure Based on Recomputation-Free Lemmatization.
Paulo J. Azevedo and M.J.Sergot.
Computers and Artificial Intelligence, Vol.13, No.2-3, 257-273, 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.
UMDIAR9414
O Sistema GAMA - Arquitectura e Implementação.
José Creissac Campos and Fernando Mário Martins.
6º Encontro Português de Computação Gráfica, Braga, Portugal, Jan/94.
UMDIAR9415
An Adaptable and Dynamic Architecture for Distributed Problem Solving Based on the Blackboard Paradigm.
J.Neves, M.Santos and V.Alves.
Proceedings of the 7th Australian Joint Conference on Artificial Intelligence (AI'94), 378-385, Armidale, New South Wales, Australia, Nov/94.
UMDIAR9416
Sistema Pericial Genérico para Diagnóstico de Placas de Hardware.
M.Moreira, F.Carvalho and J.Neves.
1º Encontro Nacional do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, 49-54, Lisbon, Portugal, May/94.
UMDIAR9417
A Decision Support System for Blood Gases Analyses.
E.Oliveira, T.Mendes, N.Morujão and J.Neves.
Proceedings of the 2nd World Congress on Expert Systems, Moving Toward Expert Systems Globally in the 21st Century, 1408-1411, Lisbon, Portugal, Feb/94.
UMDIAR9418
Genetic Algorithms, Classifiers and Parallelism.
R.Mendes and J.Neves.
Proceedings of the 2nd World Congress on Expert Systems, Moving Toward Expert Systems Globally in the 21st Century, 1199-1206, Lisboa, Portugal, Feb/94.
UMDIAR9419
Aplicação da Análise Orientada ao Objecto ao Desenvolvimento de Produtos de Gestão
Financeira.
I.Santos and J.Carvalho.
Object-Oriented Portugal (OOP'94), Sep/94 .
UMDIAR9420
Using an Explicit System of Concepts for Information Systems Modelling: COMOD.
J.Carvalho and L.Amaral
Proccedings of the 4th Intenational Conference Information Sistems Development- ISD'94: Methods & Tools, Theory & Practice, Bled, Slovenia, Sep/94.
UMDIAR9421
Microcontroller Strategies in an Associative Array Processor for Computer Vision.
A.J. Proença, H.D. Santos and E.Dagless.
Computer Vision: Specialized Processors for Real-Time Image Analysis, E. Montseny, J. Frau (Eds.), Springer-Verlag, 1994.
UMDIAR9301
Development Stages in Real-Time Computer Vision Architectures.
A.J.Proença.
1st Intern. Meeting on Vector and Parallel Processing (VECPAR'93), Oporto, Portugal, Oct/93.
UMDIAR9302
A Heterogeneous Computer Vision Architecture: Implementation Issues
H.D.Santos, J.C.Ramalho, J.M.Fernandes and A.J.Proença.
1st Intern. Meeting on Vector and Parallel Processing (VECPAR'93), Oporto, Portugal, Oct/93.
UMDIAR9303
A Data Management Strategy for Increased Parallel Processing Efficiency
L.P.Santos, A.Chalmers and A.J.Proença.
1st Intern. Meeting on Vector and Parallel Processing (VECPAR'93), Oporto, Portugal, Oct/93.
UMDIAR9304
A Teaching Lab for Parallel Processing.
L.P.Santos, A.Chalmers and A.J.Proença.
1st Intern. Meeting on Vector and Parallel Processing (VECPAR'93), Oporto, Portugal, Oct/93.
UMDIAR9305
Concurrent Attribute Evaluation.
J.A.Saraiva and P.R.Henriques.
1st Intern. Meeting on Vector and Parallel Processing (VECPAR'93), Oporto, Portugal, Oct/93.
UMDIAR9306
Distributed Problem Solving - A Universal Computer Architecture.
Victor Alves, Abílio Ribeiro and José Neves.
5th Workshop on Logic Programming Environments, Oct/93.
UMDIAR9307
Parallel Distributed Processing in Discrete Event Simulation - A Process Oriented Approach.
Abílio Ribeiro, Victor Alves and José Neves.
Proceedings of the European Simulation Symposium (ESS'93), 135-140, Delft, The Netherlands, Oct/93.
UMDIAR9308
SCBA: Simulação Concorrente Baseada em Agentes.
A. Pina.
XX SEMISH, Florianópolis, Brazil, 93.
UMDIAR9309
The CAMILA Strategy for Software Reusability.
J.Oliveira.
ERCIM News 14, 13-14, Jul/93.
UMDIAR9310
GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces
Utilizador-Sistema.
José Creissac Campos and Fernando Mário Martins.
5º Encontro Português de Computação Gráfica, Aveiro, Portugal, 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.
UMDIAR9202
E-mail services at the University of Minho: A case study.
J.N. Ferreira, A.J.T. Santos and V.L.B. Freitas.
NSC'92 - Network Services Conference 1992, Nov/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.
UMDIAR9102
On the Characterization of Knowledge-Based Control Systems.
P.Garrido and J.Neves.
Proceedings of IMACS MCTS 91, Modelling and Control of Technological Systems, Vol.I, 721-725, Lille, France, May/91.
UMDIAR9103
Amalgamating the Neural and Logic Computing Paradigms.
J.Neves and P.Garrido.
Proceedings of the 1991 International Conference on Artificial Neural Networks (ICANN-91), Vol.2, 1469-1472, Espoo, Finland, Jun/91.
UMDIAR9104
Mapping a Prolog Subset to Neural Networks.
P.Garrido and J.Neves.
Proceedings of Fourth International Conference of Neural Networks & Applications (NEURO-NIMES'91), 315-325, Nimes, France, Nov/91.
UMDIAR9001
A Reification Calculus for Model-Oriented Software Specification.
J.Oliveira.
Formal Aspects of Computing, Vol.2, 1-23, Springer Verlag, 90.
Home Page |
Articles |
PhD Thesis |
MSc Thesis |
PAPCC |
Reports |
Seminars |
Books |
Lec.Material |
Web Maintenance |
Web Design |
E-Mail|
(c) Departamento de Informática 1998