- J. Rasga, C. Sernadas, and A. Sernadas.
A roadmap to decidability.
In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic,
Studies in Universal Logic, pages 423--445. Birkhäuser Basel, Springer,
2015.
Get a preprint: 15-RSS-gtf03.pdf
- C. Caleiro, P. Mateus, A. Sernadas, and
C. Sernadas.
Quantum institutions.
In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra,
Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the
Occasion of His 65th Birthday, volume 4060 of Lecture Notes in
Computer Science, pages 50--64. Springer, 2006.
Get a preprint:
05-CMSS-quantlog06.pdf
- J. Rasga, A. Sernadas, C. Sernadas, and
L. Viganò.
Labelled deduction over algebras of truth values.
In A. Armando, editor, Frontiers of Combining Systems 4, volume 2309 of
Lecture Notes in Artificial Intelligence, pages 222--238. Springer,
2002.
Get a preprint: 01-RSSV-fiblog11s.ps
01-RSSV-fiblog11s.pdf
- P. Gouveia and C. Sernadas.
Abductive reasoning over temporal specifications of objects.
In M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors,
Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes,
pages 275--300. CSLI Publications, 2001.
Get a preprint: 98-GS-artso.ps
- P. Mateus, A. Sernadas, and C. Sernadas.
Realization of probabilistic automata: Categorical approach.
In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic
Development Techniques - Selected Papers, volume 1827 of Lecture Notes
in Computer Science, pages 237--251. Springer, 2000.
Get a
preprint: 99-MSS-probreal.ps
99-MSS-probreal.pdf
- C. Caleiro, C. Sernadas, and A. Sernadas.
Parameterisation of logics.
In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques -
Selected Papers, volume 1589 of Lecture Notes in Computer Science,
pages 48--62. Springer, 1999.
Get a preprint: 98-CSS-paramlog.ps
- A. Sernadas, C. Sernadas, and C. Caleiro.
Synchronization of logics with mixed rules: Completeness preservation.
In M. Johnson, editor, Algebraic Methodology and Software Technology,
volume 1349 of Lecture Notes in Computer Science, pages 465--478.
Springer, 1997.
Get a preprint: 97-SSC-synclogII.ps
- A. Sernadas, C. Sernadas, and
J. Valença.
A theory-based, topological notion of institution.
In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data
Type Specification, volume 906 of Lecture Notes in Computer
Science, pages 420--436. Springer, 1995.
Get a preprint: 94-SSV-stopi.ps
- A. Sernadas, J. F. Costa, and C. Sernadas.
An institution of object behaviour.
In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type
Specification, volume 785 of Lecture Notes in Computer Science,
pages 337--350. Springer, 1994.
Get a preprint: 94-SCS-iob.ps
- J. F. Costa, A. Sernadas, and C. Sernadas.
Data encapsulation and modularity: Three views of inheritance.
In A. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of
Computer Science 93, volume 711 of Lecture Notes in Computer
Science, pages 382--391. Springer, 1993.
Get a preprint: 93-CSS-3views.ps
- J. F. Costa, A. Sernadas, C. Sernadas, and
H.-D. Ehrich.
Object interaction.
In I. Havel and V. Koubek, editors, Mathematical Foundations of Computer
Science 92, volume 629 of Lecture Notes in Computer Science, pages
200--208. Springer, 1992.
Get a preprint: 92-CSSE-obint.ps
- R. Jungclaus, G. Saake, and C. Sernadas.
Formal specification of object systems.
In S. Abramski and T. Maibaum, editors, TAPSOFT 91: Theory and Practice of
Software Development, volume 494 of Lecture Notes in Computer
Science, pages 60--82. Springer, 1991.
Get a preprint: 91-JSS-formal-spec.ps
- G. Saake, R. Jungclaus, and C. Sernadas.
Abstract data type semantics for many-sorted object query algebra.
In B. Thalheim, J. Demetrovics, and H.-B. Gerhardt, editors, Mathematical
Foundations of Data Base Systems, volume 495 of Lecture Notes in
Computer Science, pages 291--307. Springer, 1991.
Get a
preprint: 91-SJS-adt.ps
- H.-D. Ehrich, A. Sernadas, and C. Sernadas.
Objects, object types and object identity.
In H. Ehrig et al, editor, Categorical Methods in Computer Science with
Aspects from Topology, volume 393 of Lecture Notes in Computer
Science, pages 142--156. Springer, 1989.
- A. Sernadas, J. Fiadeiro, C. Sernadas,
and H.-D. Ehrich.
Abstract object types: A temporal perspective.
In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in
Specification, volume 398 of Lecture Notes in Computer Science,
pages 324--350. Springer, 1989.
- J. Fiadeiro, A. Sernadas, and C. Sernadas.
Knowledgebases as structured theories.
In K. Nori and S. Kumar, editors, Foundations of Software Technology and
Theoretical Computer Science, volume 338 of Lecture Notes in Computer
Science, pages 469--486. Springer, 1988.