- 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
- R. Chadha, P. Mateus, and A. Sernadas.
Reasoning about states of probabilistic sequential programs.
In Z. Ésik, editor, Computer Science Logic 2006 (CSL06), volume 4207
of Lecture Notes in Computer Science, pages 240--255. Springer,
2006.
Get a preprint: 06-CMS-quantlog08s.pdf
- P. Mateus and A. Sernadas.
Reasoning about quantum systems.
In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence,
Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in
Artificial Intelligence, pages 239--251. Springer, 2004.
Get a
preprint: 04-MS-fiblog24x.ps
04-MS-fiblog24x.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
- C. Caleiro, P. Mateus, J. Ramos, and
A. Sernadas.
Combining logics: Parchments revisited.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development
Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer
Science, pages 48--70. Springer, 2001.
Get a preprint: 01-CMRS-fiblog9.ps
01-CMRS-fiblog9.pdf
- H. Lourenço and A. Sernadas.
An institution of hybrid systems.
In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic
Development Techniques - Selected Papers, volume 1827 of Lecture Notes
in Computer Science, pages 219--236. Springer, 2000.
Get a
preprint: 99-LS-hybint.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
- J. Ramos and A. Sernadas.
The situation and state calculus versus branching temporal logic.
In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques -
Selected Papers, volume 1589 of Lecture Notes in Computer Science,
pages 293--309. Springer, 1999.
Get a preprint: 98-RS-sscbtl.ps
- G. Denker, J. Ramos, C. Caleiro, and
A. Sernadas.
A linear temporal logic approach to objects with transactions.
In M. Johnson, editor, Algebraic Methodology and Software Technology,
volume 1349 of Lecture Notes in Computer Science, pages 170--184.
Springer, 1997.
Get a preprint: 97-DRCS-tosl.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
- P. B. Menezes, J. F. Costa, and
A. Sernadas.
Refinement mapping for (discrete event) system theory.
In F. Pichler, R. Moreno Diaz, and R. Albrecht, editors, Computer Aided
System Technology, EUROCAST'95, volume 1030 of Lecture Notes in
Computer Science, pages 103--116. Springer, 1996.
- H.-D. Ehrich and A. Sernadas.
Local specification of distributed families of sequential objects.
In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data
Type Specification, volume 906 of Lecture Notes in Computer
Science, pages 219--235. Springer, 1995.
Get a preprint: 95-ES-dfso.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
- H.-D. Ehrich, G. Denker, and A. Sernadas.
Constructing systems as object communities.
In M.C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT 93: Theory and Practice
of Software Development, volume 668 of Lecture Notes in Computer
Science, pages 453--467. Springer, 1993.
Get a preprint: 93-EDS-construct.ps
- H.-D. Ehrich, M. Gogolla, and A. Sernadas.
Objects and their specification.
In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type
Specification: 8th Workshop on Specification of Abstract Data Types -
Selected Papers, volume 655 of Lecture Notes in Computer Science,
pages 40--65. Springer, 1993.
- J. Fiadeiro, J. F. Costa, A. Sernadas, and
T. Maibaum.
Process semantics of temporal logic specification.
In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type
Specification: 8th Workshop on Specification of Abstract Data Types -
Selected Papers, volume 655 of Lecture Notes in Computer Science,
pages 236--253. Springer, 1993.
- 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
- H.-D. Ehrich, J. Goguen, and A. Sernadas.
A categorial theory of objects as observed processes.
In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Foundations of
Object-Oriented Languages, volume 489 of Lecture Notes in Computer
Science, pages 203--228. Springer, 1991.
Get a preprint: 91-EGS-REX.pdf
- H.-D. Ehrich and A. Sernadas.
Algebraic implementation of objects over objects.
In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Stepwise
Refinement of Distributed Systems: Models, Formalisms, Correctness,
volume 430 of Lecture Notes in Computer Science, pages 239--266.
Springer, 1990.
- J. Carmo and A. Sernadas.
Inevitability in branching time.
In A. Meyer and M. Taitshin, editors, Logic at Botik 89, volume 363 of
Lecture Notes in Computer Science, pages 41--62. Springer,
1989.
- 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 and A. Sernadas.
Structuring theories on consequence.
In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type
Specification: 5th Workshop on Specification of Abstract Data Types -
Selected Papers, volume 332 of Lecture Notes in Computer Science,
pages 44--72. Springer, 1988.
- 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.