- C. A. Bana e Costa,
P. A. F. Martins, M. D. Oliveira, A. Sernadas, and C. A. Mota Soares.
Faculty evaluation using multicriteria value measurement.
In L. Rogozea, editor, 12th WSEAS International Conference on Mathematical
and Computational Methods in Science and Engineering, pages 287--290.
WSEAS Press, 2010.
Preliminary version appeared at APDIO Boletim.
Get a preprint: 10-CMOSS-decafe01.pdf
- P. Baltazar, R. Chadha, P. Mateus,
and A. Sernadas.
Towards model-checking quantum security protocols.
In P. Dini et al, editor, Proceedings of the First Workshop on Quantum
Security: QSec'07, page 0014. IEEE Press, 2007.
Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6
pages.
Get a preprint: 06-BCMS-quantlog13s.pdf
- P. Mateus and A. Sernadas.
Exogenous quantum logic.
In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings
of CombLog'04, Workshop on Combination of Logics: Theory and
Applications, pages 141--149, 1049-001 Lisboa, Portugal, 2004.
Departamento de Matemática, Instituto Superior Técnico.
Extended abstract.
Get a preprint: 04-MS-fiblog24s.ps
04-MS-fiblog24s.pdf
- J. Pinto, A. Sernadas, C. Sernadas, and
P. Mateus.
Non-determinism and uncertainty in the Situation Calculus.
In A. Kumar and I. Russell, editors, Proceedings of the FLAIRS'99 - the 12th
International Florida AI Research Symposium, pages 454--460. AAAI Press,
1999.
Short version of pin:acs:css:pmat:99b.
Get a preprint: 98-PSSM-probsc.ps
- L. Andrade and A. Sernadas.
Banking and management information system automation.
In J. Gertler, J. Cruz, and M. Peshkin, editors, Proc. 13th World Congress
of International Federation of Automatic Control, pages 133--138. IFAC,
1996.
- K. Böhm and A. Sernadas.
A logic to specify real-time object behaviour.
In A. Verbraeck, H. Sol, and P. Bots, editors, Proceedings of the Fourth
International Working Conference on Dynamic Modelling and Information
Systems, pages 53--69. Delft University Press, 1994.
- K. Böhm and A. Sernadas.
Real-time object specification logic.
In A. Olivé, editor, The Deductive Approach to Information Systems and
Databases 93, pages 159--174. Universitat Politècnica de Catalunya,
1993.
Get a preprint: 93-BS-rtosl.ps
- J. Fiadeiro and A. Sernadas.
Structuring theories for knowledge representation.
In J. Falcão e Cunha, editor, Terceira Escola Avançada em
Inteligência Artificial, pages 21--25. APPIA, 1992.
- G. Reichwein, A. Sernadas, and J. Fiadeiro.
Ensuring and maintaining quality through formal object-oriented design.
In A. Bertolino and M. Fusani, editors, Software Quality Principles and
Techniques, pages 55--67. ERCIM, 1992.
- C. Sernadas, P. Mendes,
A. Hespanha, F. Santos, S. Mascarenhas, and A. Sernadas.
An object-oriented representation of the dogmatics of omission to help in
criminal law.
In A. Martino, editor, Computers, Logic and Law, pages 781--809.
Istituto per la Documentazione Giuridica, Pisa, Italy, 1989.
- P. B. Menezes, A. Sernadas, and J. F.
Costa.
Refinement in a concurrent object-base language.
In R. Bigonha, editor, Proceedings of the First Brazilian Symposium on
Programming Languages, pages 237--250. Sociedade Brazileira de Computação, 1996.