- A. Sernadas, J. Rasga, C. Sernadas,
L. Alcácer, and A. B. Henriques.
Probabilistic logic of quantum observations.
Preprint, CMAF-CIO and IST - U Lisboa, 1049-001 Lisboa, Portugal, 2016.
Submitted for publication.
Get a preprint: 16-SRSAH-plqo.pdf
- A. Sernadas, J. Rasga, and C. Sernadas.
On probability and logic.
Preprint, SQIG - IT and IST - U Lisboa, 1049-001 Lisboa, Portugal, 2015.
Submitted for publication.
Get a preprint: 15-SRS-opl.pdf
- P. Mateus, A. Sernadas, and A. Souto.
Universality of quantum Turing machines with deterministic control.
Journal of Logic and Computation, 27(1):1--19, 2017.
Get a
preprint: 14-MSS-dcQTM.pdf
- J. Rasga, C. Sernadas, P. Mateus, and
A. Sernadas.
Decision and optimization problems in the unreliable-circuit logic.
Logic Journal of the IGPL, 25(3):283--308, 2017.
Get a
preprint: 16-RSMS-optprobsucl.pdf
- J. Rasga, C. Sernadas, and A. Sernadas.
Preservation of admissible rules when combining logics.
Review of Symbolic Logic, 2016.
Get a preprint: 15-RSS-adm01.pdf
- D. Qiu, L. Li, P. Mateus, and
A. Sernadas.
Exponentially more concise quantum recognition of non-RMM regular languages.
Journal of Computer and System Sciences, 81(2):359--375, 2015.
Get
a preprint: 11-QLMS-1QFAC.pdf
- 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
- A. Sernadas, J. Rasga, C. Sernadas, and
P. Mateus.
Reasoning about logic circuits with independent input errors.
South American Journal of Logic, 1(1):135--162, 2015.
Get a
preprint: 14-SRSM-pcl04d.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Fibring as biporting subsumes asymmetric combinations.
Studia Logica, 102(5):1041--1071, 2014.
Get a preprint: 13-RSS-gtf07b.pdf
- J. Rasga, C. Sernadas, and A. Sernadas.
Craig interpolation in the presence of unreliable connectives.
Logica Universalis, 8(3-4):423--446, 2014.
Get a preprint: 14-RSS-pcl04c.pdf
- A. Sernadas.
Extending
classical logic for reasoning about quantum systems (extended abstract).
The Bulletin of Symbolic Logic, 20(2):211--213, 2014.
Get a
preprint: 13-S-eqpl-LC.pdf
- A. Sernadas, J. Rasga, C. Sernadas, and
P. Mateus.
Approximate
reasoning about logic circuits with single-fan-out unreliable gates.
Journal of Logic and Computation, 24(5):1023--1069, 2014.
Get a
preprint: 13-SRSM-pcl04.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics: Soundness and completeness preservation.
Studia Logica, 101(1):117--155, 2013.
Get a preprint: 11-RSS-gtf07c.pdf
- C. Sernadas, J. Rasga, and A. Sernadas.
Preservation of Craig interpolation by the product of matrix logics.
Journal of Applied Logic, 11(3):328--349, 2013.
Get a
preprint: 12-SRS-pcl02.pdf
- C. Caleiro and A. Sernadas.
Fibring logics.
In J.-Y. Béziau, editor, Universal Logic: An Anthology (From Paul Hertz
to Dov Gabbay), pages 389--396. Birkhauser, 2012.
Get a
preprint: 09-CS-anthology.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics.
Studia Logica, 100(3):545--581, 2012.
Get a preprint: 10-RSS-gtf07a.pdf
- A. Sernadas and C. Sernadas.
Foundations
of Logic and Theory of Computation - Second Edition.
College Publications, London, 2012.
ISBN 978-1-904987-88-8.
- A. Sernadas and C. Sernadas.
Fundamentos de
Lógica e Teoria da Computação - Segunda Edição.
College Publications, London, 2012.
ISBN 978-1-84890-081-3.
- A. Sernadas, C. Sernadas, and J. Rasga.
On
meet-combination of logics.
Journal of Logic and Computation, 22(6):1453--1470, 2012.
Get a
preprint: 11-SSR-pcl01.pdf
- M. Coniglio, A. Sernadas, and
C. Sernadas.
Preservation by fibring of the finite model property.
Journal of Logic and Computation, 21(2):375--402, 2011.
Get a
preprint: 10-CSS-gtf05.pdf
- A. Sernadas, C. Sernadas, and J. Rasga.
On combined
connectives.
Logica Universalis, 5(2):205--224, 2011.
Get a preprint: 11-SSR-pcl00.pdf
- A. Sernadas, C. Sernadas, J. Rasga, and
P. Mateus.
Non-deterministic combination of connectives.
In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without
Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his
60th Birthday, volume 17 of Tribute Series, pages 321--338. College
Publications, London, 2011.
Get a preprint: 11-SSRM-pcl03.pdf
- 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. Mateus, J. Ramos, A. Sernadas, and
C. Sernadas.
Temporal logics for reasoning about quantum systems.
In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum
Computation, pages 389--413. Cambridge University Press, 2010.
Get
a preprint: 08-MRSS-qsec11.pdf
- R. Chadha, P. Mateus, A. Sernadas,
and C. Sernadas.
Extending classical logic for reasoning about quantum systems.
In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic
and Quantum Structures: Quantum Logic, pages 325--372. Elsevier,
2009.
Get a preprint: 05-CMSS-quantlog07.pdf
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
A graph-theoretic account of logics.
Journal of Logic and Computation, 19:1281--1320, 2009.
Get a
preprint: 08-SSRC-gtf01.pdf
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
On graph-theoretic fibring of logics.
Journal of Logic and Computation, 19:1321--1357, 2009.
Get a
preprint: 08-SSRC-gtf02.pdf
- L. Cruz-Filipe, J. Rasga, A. Sernadas, and
C. Sernadas.
A complete axiomatization of discrete-measure almost-everywhere quantification.
Journal of Logic and Computation, 18(6):885--911, 2008.
Get a
preprint: 06-CRSS-folae.pdf
- L. Cruz-Filipe, A. Sernadas, and C. Sernadas.
Heterogeneous fibring of deductive systems via abstract proof systems.
Logic Journal of the IGPL, 16:121--153, 2008.
Get a preprint:
05-CSS-fiblog26.pdf
- A. Sernadas and C. Sernadas.
Foundations of Logic and Theory of Computation.
College Publications, London, 2008.
ISBN 978-1-904987-88-8.
Get a preprint: 08-SS-FLTC.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
- R. Chadha, L. Cruz-Filipe, P. Mateus,
and A. Sernadas.
Reasoning about probabilistic sequential programs.
Theoretical Computer Science, 379(1-2):142--165, 2007.
Get a
preprint: 06-CCMS-quantlog08.pdf
- A. Sernadas, P. Mateus, and Y. Omar.
Quantum computation and information.
In M. S. Pereira, editor, A Portrait of State-of-the-Art Research at the
Technical University of Lisbon, pages 46--65. Springer, 2007.
Get a
preprint: 06-SMO-quantlog09.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 quantum imperative programs.
Electronic Notes in Theoretical Computer Science, 158:19--40, 2006.
Invited talk at the Twenty-second Conference on the Mathematical Foundations of
Programming Semantics, May 24-27, 2006, Genova.
Get a preprint: 06-CMS-quantlog10s.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.
Weakly
complete axiomatization of exogenous quantum propositional logic.
Information and Computation, 204(5):771--794, 2006.
ArXiv math.LO/0503453.
Get a preprint: 05-MS-quantlog01.pdf
- C. Caleiro, A. Sernadas, and C. Sernadas.
Fibring logics: Past, present and future.
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods,
editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume
One, pages 363--388. King's College Publications, 2005.
Get a
preprint: 05-CSS-fiblog27.pdf
- P. Mateus, A. Sernadas, and C. Sernadas.
Exogenous semantics approach to enriching logics.
In G. Sica, editor, Essays on the Foundations of Mathematics and Logic,
volume 1, pages 165--194. Polimetrica,
2005.
Get a preprint: 05-MSS-quantlog03.pdf
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition).
IST Press, 2004.
- 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
- 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
- P. Mateus, A. Sernadas, C. Sernadas, and
L. Viganò.
Modal sequent calculi labelled with truth values: Completeness, duality and
analyticity.
Logic Journal of the IGPL, 12(3):227--274, 2004.
Get a
preprint: 03-MSSV-fiblog19.ps
03-MSSV-fiblog19.pdf
- C. Caleiro, W. A.
Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas.
Fibring non-truth-functional logics: Completeness preservation.
Journal of Logic, Language and Information, 12(2):183--211,
2003.
Get a preprint: 00-CCCSS-fiblog8.ps
00-CCCSS-fiblog8.pdf
- M. E. Coniglio, A. Sernadas, and
C. Sernadas.
Fibring logics with topos semantics.
Journal of Logic and Computation, 13(4):595--624, 2003.
Get a
preprint: 02-CSS-fiblog14.ps
02-CSS-fiblog14.pdf
- P. Mateus, M. Cabral Morais,
C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas.
Categorical foundations for randomly timed automata.
Theoretical Computer Science, 308:393--427, 2003.
Get a
preprint: 00-MMNPSS-rta.ps
00-MMNPSS-rta.pdf
- C. Sernadas, L. Viganò, J. Rasga, and
A. Sernadas.
Truth-values as labels: A general recipe for labelled deduction.
Journal of Applied Non-Classical Logics, 13(3-4):277--315,
2003.
Get a preprint: 02-SVRS-fiblog11.ps
02-SVRS-fiblog11.pdf
- J. Rasga, A. Sernadas, C. Sernadas, and
L. Viganò.
Fibring labelled deduction systems.
Journal of Logic and Computation, 12(3):443--473, 2002.
Get a
preprint: 00-RSSV-fiblog5.ps
00-RSSV-fiblog5.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.-Y. Schobbens, G. Saake, A. Sernadas,
and C. Sernadas.
U2: A two-level temporal logic for evolving specifications.
Information Processing Letters, 83(3):167--172, 2002.
Get a
preprint: 99-SSSS-u2.ps
- A. Sernadas, C. Sernadas, and A. Zanardo.
Fibring modal first-order logics: Completeness preservation.
Logic Journal of the IGPL, 10(4):413--451, 2002.
Get a
preprint: 01-SSZ-fiblog4.ps
01-SSZ-fiblog4.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
- P. Mateus, A. Pacheco, J. Pinto,
A. Sernadas, and C. Sernadas.
Probabilistic situation calculus.
Annals of Mathematics and Artificial Intelligence, 32(1/4):393--431,
2001.
Get a preprint: 00-MPPSS-psc.ps
00-MPPSS-psc.pdf
- A. Zanardo, A. Sernadas, and C. Sernadas.
Fibring: Completeness preservation.
Journal of Symbolic Logic, 66(1):414--439, 2001.
Get a
preprint: 99-ZSS-fiblog3.ps
99-ZSS-fiblog3.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
- J. Pinto, A. Sernadas, C. Sernadas, and
P. Mateus.
Non-determinism and uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based
Systems, 8(2):127--149, 2000.
Full version of pin:acs:css:pmat:99a.
Get a preprint: 99-PSSM-probscx.ps
- A. Sernadas.
Book Review -- Fibring Logics by Dov M. Gabbay.
Journal of Logic, Language, and Information, 9(4):511--513,
2000.
Get a preprint: 00-S-revDG.ps
- A. Sernadas, C. Sernadas, C. Caleiro, and
T. Mossakowski.
Categorial fibring of logics with terms and binding operators.
In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2,
pages 295--316. Research Studies Press, 2000.
Get a preprint: 98-SSCM-fiblog2.ps
- 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. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica (Introduction to
Programming in Mathematica).
IST Press, 1999.
- P. Mateus, A. Sernadas, and C. Sernadas.
Precategories for combining probabilistic automata.
Electronic Notes in Theoretical Computer Science, 29, 1999.
Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998.
Presented at CTCS'99, Edinburgh, September 10-12, 1999.
Get a
preprint: 99-MSS-precat1.ps
- 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
- 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
- A. Sernadas, C. Sernadas, and C. Caleiro.
Fibring of logics as a categorial construction.
Journal of Logic and Computation, 9(2):149--179, 1999.
Get a
preprint: 98-SSC-fiblog.ps
- H.-D. Ehrich, C. Caleiro, A. Sernadas,
and G. Denker.
Logics for specifying concurrent information systems.
In J. Chomicki and G. Saake, editors, Logic for Databases and Information
Systems, pages 167--198. Kluwer Academic Publishers, 1998.
Get a
preprint: 97-ECSD-dtl.ps
- P. B. Menezes, A. Sernadas, and J. F.
Costa.
Nonsequential automata semantics for a concurrent object-based language.
Electronic Notes in Theoretical Computer Science, 14, 1998.
Get a
preprint: 98-MSC-nautilus.ps
- A. Sernadas, C. Sernadas, and C. Caleiro.
Denotational semantics of object specification.
Acta Informatica, 35:729--773, 1998.
Get a preprint: 98-SSC-osli2.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.
Studia Logica, 59(2):217--247, 1997.
Get a preprint: 96-SSC-synclog.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
- 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.
- C. Caleiro, G. Saake, and A. Sernadas.
Deriving liveness goals from temporal logic specifications.
Journal of Symbolic Computation, 22:521--553, 1996.
Get a
preprint: 95-CSS-gdos.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.
- A. Sernadas, C. Sernadas, and J. Ramos.
A temporal logic approach to object certification.
Data and Knowledge Engineering, 19:267--294, 1996.
Get a
preprint: 95-SSR-cert2.ps
- J. F. Costa and A. Sernadas.
Progress assumption in concurrent systems.
Formal Aspects of Computing, 7(1):18--36, 1995.
Get a
preprint: 95-CS-prog.ps
- 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
- M. Ryan, A. Sernadas, and C. Sernadas.
Adjunctions between default frameworks.
In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers,
pages 155--172. World Scientific Publishers, 1995.
- G. Saake, A. Sernadas, and C. Sernadas.
Evolving object specifications.
In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers,
pages 84--99. World Scientific Publishers, 1995.
Get a preprint: 95-SSS-evolv.ps
- A. Sernadas, C. Sernadas, and J. F. Costa.
Object specification logic.
Journal of Logic and Computation, 5(5):603--630, 1995.
Get a
preprint: 95-SSC-osl.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
- 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.
- J. F. Costa, A. Sernadas, and C. Sernadas.
Object inheritance beyond subtyping.
Acta Informatica, 31:5--26, 1994.
Get a preprint: 94-CSS-oibs.ps
- H.-D. Ehrich, R. Jungclaus, G. Denker, and
A. Sernadas.
Object-oriented design of information systems: Theoretical foundations.
In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems,
Implementations and Applications, pages 201--218. Springer,
1994.
Get a preprint: 93-EJDS-OOD.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
- 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. 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, G. Saake, and A. Sernadas.
Concepts of object orientation.
In R. Studer, editor, Informationssysteme und Künstliche
Intelligenz, pages 1--17. Springer, 1992.
- 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.
- J. Fiadeiro, C. Sernadas, T. Maibaum, and
A. Sernadas.
Describing and structuring objects for conceptual schema development.
In P. Loucopoulos and R. Zicari, editors, Conceptual Modelling, Databases
and CASE: An Integrated View of Information Systems Development, pages
117--138. John Wiley, 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. Gouveia, J. Gouveia,
A. Sernadas, and P. Resende.
The reification dimension in object-oriented data base design.
In D. Harper and M. Norrie, editors, Specification of Database Systems,
pages 275--299. Springer, 1992.
- C. Sernadas, P. Gouveia, and A. Sernadas.
Refinement: Layered definition of conceptual schemata.
In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information
System Concepts, pages 19--51. North-Holland, 1992.
- J. Carmo and A. Sernadas.
Formal techniques for systems specification and verification.
Information Systems, 16(3):245--272, 1991.
- 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
- R. Li and A. Sernadas.
Reasoning about objects using tableau method.
Journal of Logic and Computation, 1(5):575--611, 1991.
- G. Lohman, A. Sernadas, and R. Camps, editors.
Proceedings of the Seventeenth International Conference on Very Large Data
Bases. VLDB, 1991.
- G. Saake and A. Sernadas, editors.
Esprit BRA IS-CORE 91 Workshop - Selected Papers. TUBS, 1991.
- A. Sernadas and H.-D. Ehrich.
What is an object, after all?
In R. Meersman, W. Kent, and S. Khosla, editors, Object Oriented Databases:
Analysis, Design and Construction, pages 39--69. North-Holland,
1991.
Get a preprint: 91-SE-what.ps
- C. Sernadas, P. Resende, P. Gouveia, and
A. Sernadas.
In-the-large object-oriented design of information systems.
In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented
Approach in Information Systems, pages 209--232. North-Holland,
1991.
- J. Carmo and A. Sernadas.
Branching versus linear logics yet again.
Formal Aspects of Computing, 2(1):24--59, 1990.
- 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.
- H.-D. Ehrich, A. Sernadas, and C. Sernadas.
From data types to object types.
Journal of Information Processing and Cybernetics EIK, 26(1):33--48,
1990.
- J. Fiadeiro and A. Sernadas.
Logics of modal terms for systems specification.
Journal of Logic and Computation, 1(2):187--227, 1990.
- C. Sernadas, J. Fiadeiro, and A. Sernadas.
Modular construction of logic knowledge bases: An algebraic approach.
Information Systems, 15(1):37--59, 1990.
- C. Sernadas, J. Fiadeiro, and A. Sernadas.
Object-oriented conceptual modeling from law.
In R. Meersman, Z. Shi, and C.-H. Kung, editors, The Role of Artificial
Intelligence in Databases and Information Systems, pages 305--327.
North-Holland, 1990.
- J. Sousa, C. Sernadas, and A. Sernadas.
An object-oriented specification tool for graphical interfaces.
Computers and Graphics, 14(1):29--40, 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 and C. Sernadas.
Abstraction and inference mechanisms for knowledge representation.
In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base
Management, pages 91--111. 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.
- A. Sernadas, J. Fiadeiro, C. Sernadas,
and H.-D. Ehrich.
The basic building blocks of information systems.
In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An
In-Depth Analysis, pages 225--246. North-Holland, 1989.
- C. Sernadas, J. Fiadeiro, R. Meersman, and
A. Sernadas.
Proof-theoretic conceptual modeling: The NIAM case study.
In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An
In-Depth Analysis, pages 1--30. North-Holland, 1989.
- 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.
- R. Carapuça, L. Andrade, and
A. Sernadas.
A database design and construction workbench.
In T. Olle, A. Verrijn-Stuart, and L. Bhabuta, editors, Computerized
Assistance During the Information Systems Life Cycle, pages 261--286.
North-Holland, 1988.
- J. Carmo and A. Sernadas.
A temporal logic framework for a layered approach to systems specification and
verification.
In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in
Information Systems, pages 31--46. North-Holland, 1988.
- H.-D. Ehrich, A. Sernadas, and C. Sernadas.
Abstract object types for databases.
In K. Dittrich, editor, Advances in Object-Oriented Database Systems,
pages 144--149. Springer, 1988.
- J. Fiadeiro and A. Sernadas.
Behavioural aspects of intelligent knowledge-based information systems.
In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in
Information Systems, pages 77--92. North-Holland, 1988.
- J. Fiadeiro and A. Sernadas.
Specification and verification of database dynamics.
Acta Informatica, 25:625--661, 1988.
- 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.
- R. Meersman and A. Sernadas, editors.
Data and Knowledge. North-Holland, 1988.
- A. Sernadas, C. Sernadas, and H.-D. Ehrich.
Object-oriented specification of databases: an algebraic approach.
In P. Hammersley, editor, Very Large Data Bases 87, pages 107--116.
Morgan and Kaufmann, 1987.
- J. Fiadeiro and A. Sernadas.
The infolog linear tense logic of events and transactions.
Information Systems, 11(1):61--85, 1986.
- C. Sernadas and A. Sernadas.
Conceptual modeling abstraction mechanisms as parameterized theories in
institutions.
In R. Meersman and T. Steel, editors, Database Semantics, pages
121--140. North Holland, 1986.
- H. Coelho, A. Rodrigues, and A. Sernadas.
Towards knowledge-based infolog specifications.
Decision Support Systems, 1(2):143--165, 1985.
- A. Sernadas and C. Sernadas.
Capturing knowledge about the organization dynamics.
In L. Methlie and R. Sprague, editors, Knowledge Representation for Decision
Support Systems, pages 255--267. North Holland, 1985.
- A. Sernadas and C. Sernadas.
Conceptual modeling for knowledge-based DSS development.
In C. Holsapple and A. Winston, editors, Decision Support Systems: Theory
and Application, pages 91--135. Springer, 1985.
- A. Sernadas and C. Sernadas.
The use of ER abstractions for knowledge representation.
In P. Chen, editor, Entity-relationship Approach, pages 224--231. IEEE
CS Press / North Holland, 1985.
- A. Sernadas, J. Bubenko, and A. Olivè,
editors.
Theoretical and Formal Aspects of Information Systems. North-Holland,
1985.
- A. Sernadas.
Information systems specification with Infolog.
In J. Hawgood, editor, Evolutionary Information Systems, pages 141--157.
North Holland, 1982.
- A. Sernadas, G. Gaspar, and J. Granado.
Bips: a layered predicative query language for a DBTG database system.
In P. Scheuermann, editor, Improving Database Usability and
Responsiveness, pages 73--93. Academic Press, 1982.
- A. Sernadas.
Systematics: Its syntax and semantics as a query language I.
Computer Journal, 24(1):56--61, 1981.
- A. Sernadas.
Systematics: Its syntax and semantics as a query language II.
Computer Journal, 24(2):125--129, 1981.
- R. Tagg and et al, editors.
Query Language: A Unified Approach. Heyden and Son Ltd, 1981.
A. Sernadas is one of the coeditors.
- A. Sernadas.
Logical Procedure Definition for Information Systems Specification.
PhD thesis, London School of Economics, University of London, 1980.
Supervised by S. Waters.
- A. Sernadas.
Temporal aspects of logical procedure definition.
Information Systems, 5(3):167--197, 1980.
- A. Sernadas, J. Ramos, and P. Mateus.
Linear algebra techniques for deciding the correctness of probabilistic
programs with bounded resources.
Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal,
2008.
Short paper presented at LPAR 2008, Doha, Qatar. November 22-27.
Get a
preprint: 08-SRM-lap01tiny.pdf
- P. Mateus and A. Sernadas.
Complete exogenous quantum propositional logic.
Technical report, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2005.
Extended abstract. Short presentation at LICS 2005, Chicago, USA, June
26-29.
Get a preprint: 05-MS-quantlog01sp.pdf
- M. E. Coniglio, A. T. Martins,
A. Sernadas, and C. Sernadas.
Fibring (para)consistent logics.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2000.
Extended abstract. Presented at II World Congress on Paraconsistency -
WCP'00.
Get a preprint: 00-CMSS-fiblog6.ps
00-CMSS-fiblog6.pdf
- H. Lourenço, A. Sernadas, and
C. Sernadas.
Aggregation and interconnection of hybrid automata: Categorial
characterization.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1998.
Presented at FIREworks Meeting, Magdeburg, May 15-16.
Get a preprint:
98-LSS-hyblog.ps
- A. Sernadas and C. Sernadas.
Theory spaces.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1995.
Presented at 11th ADT Workshop.
- A. Sernadas and C. Sernadas.
Object certification.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1994.
Presented at DAISD Workshop 94.
Get a preprint: 94-SS-cert.ps
- A. Sernadas and C. Sernadas.
Denotational semantics of object specification within an arbitrary temporal
logic institution.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1993.
Presented at IS-CORE Workshop 93.
Get a preprint: 93-SS-osli.ps
- J. Carmo and A. Sernadas.
A completeness result in a mixed branching-linear logic.
Technical report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1989.
Presented at the Logic Colloquium in Memory of Hugo Ribeiro.
- A. Sernadas and C. Sernadas.
Combining logic systems: Why, how, what for?
CIM Bulletin, 15:9--14, December 2003.
Get a preprint: 03-SS-fiblog22.ps
03-SS-fiblog22.pdf
- 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.
- J. F. Costa and A. Sernadas.
Cálculo de actividades e transacções (Calculus of activities and
transactions).
Estudos de Economia, 13(3):293--317, 1993.
Menção Honrosa do Prémio Científico IBM 1992.
- J. F. Costa and A. Sernadas.
A categorial framework of process interconnection.
The INESC Journal of Research and Development, 4(1):81--93,
1993.
Get a preprint: 93-CS-procint.ps
- A. Sernadas, J. F. Costa, and C. Sernadas.
Object specification with diagrams: Oblog approach.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1992.
In Portuguese. Awarded the Descartes Prize by the Data Processing Institute of
the Ministry of Finances of Portugal.
Get a preprint: 92-SCS-oblog.ps
- A. Hespanha and A. Sernadas.
O impacto da computação no direito.
Revista Jurídica, AAFDL, 13/14:179--190, 1990.
Get a
preprint: 90-HS-normlog.pdf
- A. Sernadas, H.-D. Ehrich, and J. F. Costa.
From processes to objects.
The INESC Journal of Research and Development, 1(1):7--27, 1990.
- A. Sernadas.
Introdução aos computadores e programação (Introduction to
computers and programming).
Revista Portuguesa de Informática, 3(2):35--43, 1982.
- C. Caleiro, C. Sernadas, and A. Sernadas.
Mechanisms for combining logics.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1999.
Get a preprint: 99-CSS-comblog.ps
- H. Lourenço and A. Sernadas.
Combining hybrid systems.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1999.
Get a preprint: 99-LS-combhs.ps
- J. Ramos and A. Sernadas.
A brief introduction to Gnome.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1995.
Get a preprint: 95-RS-GnomeInt.ps
- J. F. Costa, A. Sernadas, and C. Sernadas.
OBL-89 users manual.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1989.