• C. Caleiro, F. Casal, and A. Mordido. Classical generalized probabilistic satisfiability. In Proceedings of the 26th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2017), in print.
  Get a preprint: 17-CCM-ijcai.pdf 
• G. Ramos, S. Pequito, and C. Caleiro. The robust minimal controllability problem for switched linear continuous-time systems. In American Control Conference (ACC), 2018, in print.
  Get a preprint: 18-RPC-acc.pdf 
• V. T. Vasconcelos, S. Gay, A. Ravara, N. Gesbert, and A. Z. Caldeira. Dynamic interfaces. In International Workshop on Foundations of Object-Oriented Languages (FOOL'09). ACM SIGPLAN, in print.
  Get a preprint: 09-VGRGC-dynint.pdf 
• J. Saúde, G. Ramos, C. Caleiro, and S. Kar. Reputation-based ranking systems and their resistance to bribery. In Data Mining (ICDM), 2017 IEEE 17th International Conference on, pages 2374--8486, 2017.
  Get a preprint: 17-SRCK-icdm.pdf 
• J. L. Sobrinho, D. Fialho, and P. Mateus. Stabilizing BGP through distributed elimination of recurrent routing loops. In Proceedings of the 25th IEEE International Conference on Network Protocols, page 8117560. IEEE Computer Society, 2017.
• A. Souto. Traffic analysis based on compression. In Proceedings of CRC 2015, volume 1, pages 1--12. U. Évora, 2015. Extended abstract in conference proceedings.
  Get a preprint: 15-S-TABOC.pdf 
• C. Vlachou, J. Rodrigues, P. Mateus, N. Paunkovic, and A. Souto. Quantum walk public-key cryptographic system (extended abstract). In Proceedings of Conftele 2015, page PosterSection:10, 2015.
  Get a preprint: 15-MPRSV-qwpkcs.pdf 
• A. Almeida, R. Loura, N. Paunkovic, N. Silva, N. Muga, P. Mateus, P. André, and A. Pinto. A brief reviow on quantum bit commitment. In SPIE 9286, Second International Conference on Applications of Optics and Photonics, page 92861C, 2014.
  Get a preprint: 14-ALPetall-rqbcom.pdf 
• C. Blasio, C. Caleiro, and J. Marcos. On B-entailment. In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2), 2014.
  Get a preprint: 14-BCM-bent.pdf 
• C. Caleiro and J. Ramos. Classical and intuitionistic propositional logic. In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2), 2014.
  Get a preprint: 14-CR-cipl.pdf 
• S. Marcelino, C. Caleiro, and P. Baltazar. Conservativeness and decidability of fibred logics. In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2), 2014.
  Get a preprint: 14-MCB-lcol.pdf 
• M. Biscaia, P. Baltazar, P. Mateus, and R. Nagarajan. A temporal logic for planning under uncertainty. In C. Boonthum-Denecke and G. M. Youngblood, editors, Proceedings of the FLAIRS'13 - the 26th International Florida AI Research Symposium, pages 591--596. AAAI Press, 2013.
  Get a preprint: 13-BBMN-SATuplan.pdf 
• C. Caleiro, L. Viganò, and M. Volpe. A labeled deduction system for the logic UB. In Proceedings of the 20th Intl. Symp. on Temporal Representation And Reasoning (TIME 2013), pages 45--53. IEEE Computer Society Press, 2013.
  Get a preprint: articleDetails.jsp?arnumber=6786795 
• B. Conchinha, D. Basin, and C. Caleiro. FAST - an efficient decision procedure for deduction and static equivalence. In M. Schmidt-Schauss, editor, Proceedings of the 22nd Intl. Conf. on Rewriting Techniques and Applications (RTA 2011), volume 10, pages 11--20. LIPIcs - Leibniz Int. Proc. in Informatics, 2013.
  Get a preprint: 29.pdf 
• D. S. Graça and A. Pouly. Computational complexity of adaptive methods for solving polynomial differential equations over unbounded domains. In M. Hoyrup, K.-I Jo, R. Rettinger, and N. Zhong, editors, Proceedings of the Tenth International Conference on Computability and Complexity in Analysis (CCA 2013), pages 36--47. FernUniversität in Hagen, 2013.
  Get a preprint: 13-GP-CCA.pdf 
• G. Ramos, S. Pequito, A. P. Aguiar, J. Ramos, and S. Kar. A model checking framework for linear time invariant switching systems using structural systems analysis. In Proc. of the 51st Annual Allerton Conference on Communication, Control, and Computing. University of Illinois at Urbana-Champaign, 2013.
  Get a preprint: 13-RPARK-allerton.pdf 
• O. Bournez, D. S. Graça, and A. Pouly. On the complexity of solving polynomial initial value problems. In Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), 2012.
  Get a preprint: 12-BGP-ivp-complexity.pdf 
• D. Henriques, J. G. Martins, P. Zuliani, A. Platzer, and E. M. Clarke. Statistical model checking for markov decision processes. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, pages 84--93, 2012.
  Get a preprint: CMU-CS-12-122.pdf 
• Andreia Teixeira, Andre Souto, and Armando Matos. Distinguishing probability ensembles. In Proceedings of Computability in Europe 2011, pages 155 -- 164, June 2011.
• O. Bournez, D. S. Graça, and E. Hainry. Robust computations with dynamical systems. In P. Hlinený and A. Kucera, editors, Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), volume 6281 of Lecture Notes in Computer Science ARCoSS, pages 198--208. Springer, 2010.
  Get a preprint: 10-BGH-robust.pdf 
• C. Caleiro and J. Marcos. Two many values: An algorithmic outlook on Suszko's thesis. In Proceedings of the 40th Intl.Symp. on Many-Valued Logics (ISMVL 2010). IEEE Computer Society Press, 2010.
  Get a preprint: 10-CM-ismvl.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 
• Armando Matos, Andreia Teixeira, and Andre Souto. On the largest monochromatic combinatorial rectangles with an application to communication complexity. In Proceedings of Computability in Europe 2010, pages 264--273, June 2010.
• Andre Souto, Andreia Teixeira, and Alexandre Pinto. One-way functions using komogorov complexity. In Proceedings of Computability in Europe 2010, pages 346--355, June 2010.
• Luis Antunes and Andre Souto. Sophisticated infinite sequences. In CiE 08: Proceedings of the fourth Computability in Europe 2008, pages 55 -- 64, Athens, Greece, 2008. Springer.
• D. Basin, C. Caleiro, J. Ramos, and L. Viganò. A labeled tableaux for the distributed temporal logic DTL. In Proceedings of the 15th Intl.Symp. on Temporal Representation and Reasoning (TIME 2008), pages 101--109. IEEE Computer Society Press, 2008.
  Get a preprint: 07-BCRV-dtl-tableaux.pdf 
• D. S. Graça. Computability and dynamical systems: A perspective. In Proceedings of the 26th Weak Arithmetics Days, pages 95--107. Universidad de Sevilla, 2008.
  Get a preprint: 08-G-JAF26.pdf 
• J. Martinho and A. Ravara. Encoding cryptographic primitives in a calculus with polyadic synchronization. In Proceedings the 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), pages 102--109. ISRST, 2008.
  Get a preprint: 08-MR-cepi.pdf 
• Luís Antunes, Lance Fortnow, Alexandre Pinto, and Andre Souto. Low-depth witnesses are easy to find. In 22nd Annual IEEE Conference on Computational Complexity, San Diego, California, USA, pages 46--51, 2007.
• 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 
• M. L. Campagnolo and J. O. Cerdeira. Contextual classification of remotely sensed images with integer linear programming. In Proceedings of CompIMAGE - Computational Modelling of Objects Represented in Images: Fundamentals, Methods and Applications, pages 123--128. Taylor and Francis, 2007.
  Get a preprint: 06-CC-compimage.pdf 
• J. Cederquist, M. Torabi Dashti, and S. Mauw. A certified email protocol using key chains. In Proceedings of the 21st International conference on Advanced Information networking and Applications Workshops/Symposia (AINA'07), pages 525--530. IEEE CS press, 2007.
  Get a preprint: 07-CTM-cem.pdf 
• M. A. C. Decker, J. Cederquist, J. Crampton, and S. Etalle. Extended privilege inheritance in rbac. In R. H. Deng and P. Samarati, editors, Proceedings the 2007 ACM Symposium on Information, Computer and Communications Security, pages 383--385, New York, NY, USA, 2007. ACM Press. Short paper.
  Get a preprint: 07-DCCE-rbac.pdf 
• I. Lanese, V. Vasconcelos, F. Martins, and A. Ravara. Disciplining orchestration and conversation in service-oriented computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, pages 305--314. IEEE, 2007.
  Get a preprint: 07-LVMR-sscc.pdf 
• C. Lourenço. Structured reservoir computing with spatiotemporal chaotic attractors. In M. Verleysen, editor, Proceedings the 15th European Symposium on Artificial Neural Networks (ESANN 2007), pages 501--506, 2007.
  Get a preprint: 07-L-esann.pdf 
• P. Mateus, F. Moura, and J. Rasga. Transferring proofs of zero-knowledge systems with quantum correlations. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0009. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.
  Get a preprint: 06-MMR-quantlog14s.pdf 
• Armando B. Matos, Andreia C. Teixeira, and Andre C. Souto. Non-deterministic communication complexity and instance complexity. In CiE 07: Proceedings of the third Computability in Europe 2007, pages 274--282, Siena, Italy, 2007. Springer.
• J. Cederquist and M. Torabi Dashti. An intruder model for verifying liveness in security protocols. In A. D. Gordon and D. Sands, editors, FMSE '06: Proceedings of the 2006 ACM Workshop on Formal Methods in Security Engineering, pages 23--31, New York, NY, USA, 2006. ACM Press.
  Get a preprint: 06-CT-intruder.ps  06-CT-intruder.pdf 
• D. S. Graça, N. Zhong, and J. Buescu. The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable. In G. Hanrot and P. Zimmermann, editors, Proceedings of the 7th Conference on Real Numbers and Computers (RNC 7), pages 33--40. LORIA/INRIA, 2006.
  Get a preprint: 06-GZB-noncompode-s.pdf 
• C. Lourenço. Dynamical reservoir properties as network effects. In M. Verleysen, editor, Proceedings of the 14th European Symposium on Artificial Neural Networks (ESANN'06), pages 503--508. d-side, 2006.
  Get a preprint: 05-L-esann.pdf 
• C. Lourenço. A very small chaotic neural net. In Proceedings of the 2006 International Joint Conference on Neural Networks (IJCNN'06) at the 2006 IEEE World Congress on Computational Intelligence, pages 8341--8344. IEEE, 2006.
  Get a preprint: 06-L-ijcnn.pdf 
• P. Adão, G. Bana, and A. Scedrov. Computational and information-theoretic soundness and completeness of formal encryption. In Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW), pages 170--184, Aix-en-Provence, France, June 20-22, 2005. IEEE Computer Society Press.
  Get a preprint: 04-ABS-encryption.pdf 
• A. Almeida Matos and G. Boudol. On declassification and the non-disclosure policy. In Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05), pages 226--240. IEEE Computer Society, 2005.
  Get a preprint: 05-AB-declass+nondiscl-CSFW.pdf 
• M. Alves and C. Lourenço. Selenoprotein discovery using neural networks. In N. Guimarães and P. Isaías, editors, Proceedings of the International Conference on Applied Computing (IADIS'05), pages 519--526, Algarve, Portugal, February 22-25, 2005.
  Get a preprint: 05-AL-iadis.pdf 
• J. Cederquist, R. J. Corin, M. A. C. Dekker, S. Etalle, and J. I. den Hartog. An audit logic for accountability. In A. Sahai and W. H. Winsborough, editors, 6th Int. Workshop on Policies for Distributed Systems & Networks, pages 34--43, Los Alamitos, California, 2005. IEEE Computer Society.
  Get a preprint: 05-CCDEH-audit.pdf 
• S. Costa, C. Cardeira, J. Pargana, F. M. Dionísio, and P. A. Santos. Systems and signals online questions and grading. In Lucia lo Bello and Thile Sauter, editors, Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), pages 41--47. IEEE, 2005. Special Session on E-learning and Remote Laboratories.
  Get a preprint: 05-CCPDS-ssoqg.pdf 
• J. Rasga. Cut elimination in propositional based logics. In P. Bruscoli, F. Lamarche, and C. Stewart, editors, Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05), pages 205--214. Technische Universit‰t Dresden, 2005.
  Get a preprint: 05-R-quantfib2s.pdf 
• C. Caleiro and J. Ramos. Cryptofibring. 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 87--92, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CR-fiblog25s.pdf 
• C. Caleiro, L. Viganò, and D. Basin. Towards a metalogic for security protocol analysis. 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 187--196, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CVB-fiblog15s1.pdf 
• W. A. Carnielli, C. Sernadas, and A. Zanardo. Preservation of interpolation by fibring. 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 151--157, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CSZ-fiblog21s.pdf 
• J. Marcos. Possible-translations semantics. 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 119--128, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended version of extended abstract.
  Get a preprint: 04-M-pts.pdf 
• F. Martins and A. Ravara. Typing migration control in lsdpi. In Andrei Sabelfield, editor, Proceedings of FCS'04, Workshop on Foundations Computer Security, volume 31, pages 1--12. Turku Centre for Computer Science, 2004.
  Get a preprint: 04-MR-typingmigration.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 
• D. S. Graça. Computability via analog circuits. In V. Brattka, M. Schröder, K. Weihrauch, and N. Zhong, editors, Procs. International Conference on Computability and Complexity in Analysis, pages 229--240. FernUniversität in Hagen, 2003.
  Get a preprint: 03-G-cca.ps  03-G-cca.pdf 
• Y. Omar, N. Paunkovic, S. Bose, and V. Vedral. Quantum entanglement and particle statistics. In J. H. Shapiro and O. Hirota, editors, Proceedings of the Sixth International Conference on Quantum Communication, Measurement and Computing (QCMC), page 33. Rinton, Princeton, 2003.
• L. Cruz-Filipe. Formalizing real calculus in Coq. In V. Carreõ, C. Munõz, and S. Tahar, editors, Procs. 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs2002). NASA, 2002.
  Get a preprint: 02-C-contmaths.ps 
• P. Mateus, A. Pacheco, and J. Pinto. Observations and the probabilistic situation calculus. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, Procs. Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 327--338. Morgan Kaufmann, 2002.
  Get a preprint: 01-MPP-obspsc.ps  01-MPP-obspsc.pdf 
• P. Menezes, A. Costa, L. Machado, and J. Ramos. Nautilus: A concurrent anticipatory programming language. In D. Dubois, editor, Computing Anticipatoty Systems: CASYS'01 - Fifth International Conference, volume 627 of AIP Conference Proceedings, pages 553--564. American Institute of Physics, 2002.
  Get a preprint: 02-MCMR-anticipatory.pdf 
• A. M. Santos, P. A. Santos, F. M. Dionísio, and P. Duarte. Online assessment in undergraduate mathematics. In C. Tzanakis, editor, Procs. 2nd International Conference on the Teaching of Mathematics (ICTM2). University of Crete, 2002.
  Get a preprint: 02-SSDD-oaum.ps 
• C. Caleiro and J. Marcos. Non-truth-functional fibred semantics. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), volume II, pages 841--847. CSREA Press, Athens GA, USA, 2001.
  Get a preprint: 01-CM-fiblog10.ps  01-CM-fiblog10.pdf 
• W. A. Carnielli and J. Marcos. Ex contradictione non sequitur quodlibet. In R. L. Epstein, editor, Proceedings of the II Annual Conference on Reasoning and Logic, held in Bucharest, RO, July 2000, volume 1, pages 89--109. Advanced Reasoning Forum, 2001.
  Get a preprint: 01-CM-ECNSQL.pdf 
• W. A. Carnielli and J. Marcos. Tableaux for logics of formal inconsistency. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), volume II, pages 848--852. CSREA Press, Athens GA, USA, 2001.
  Get a preprint: 01-CM-tableaux.pdf 
• M. L. Campagnolo, C. Moore, and J. F. Costa. An analog characterization of the subrecursive functions. In P. Kornerup, editor, Proc. 4th Conference on Real Numbers and Computers, pages 91--109. Odense University Press, 2000.
  Get a preprint: 00-CMC-linear.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. Cederquist, T. Coquand, and S. Negri. The hahn-banach theorem in type theory. In G. Sambin and J. Smith, editors, Proceedings of Twenty-Five Years of Constructive Type Theory, pages 57--72. Oxford University Press, 1998.
  Get a preprint: 98-CCN-hahnbanach.ps  98-CCN-hahnbanach.pdf 
• F. M. Dionísio, S. Brass, M. Ryan, and U. Lipeck. Hypothetical reasoning with defaults. In I. Niemelä and T. Schaub, editors, Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 9--15. Helsinki University of Technology, 1998.
  Get a preprint: 98-DBRL-hrd.ps 
• C. Hermida, M. Makkai, and P. Power. Higher-dimensional multigraphs. In Logic in Computer Science (LICS) '98. IEEE, 1998.
• A. Ravara, P. Resende, and V. Vasconcelos. Towards an algebra of dynamic object types. In ICALP'98 workshop Semantics of Objects as Processes. BRICS Note Series, 1998.
  Get a preprint: 98-RRV-tota.ps 
• M. L. Campagnolo and M. Caetano. Expert maps: an alternative for integrating expert knowledge in satellite imagery classification. In T. I. Stein, editor, Proceedings of the 1997 International Geoscience and Remote Sensing Symposium, volume 2, pages 680--682. IEEE, 1997.
• J. Ramos. The situation and state calculus. In A. Drewery, G.-J. Kruijff, and R. Zuber, editors, Proceedings of the Second ESSLII Student Session, 1997.
  Get a preprint: 97-R-ssc.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.
• A. Ravara and V. Vasconcelos. Operational semantics and type system for Gnome on TYped Concurrent Objects. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming. Dpunkt, 1996. Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP'96). Available as Research Report DM-IST 17/96.
  Get a preprint: 96-RV-ostas.ps 
• S. Sakadzic, N. Paunkovic, Dj. Sarac, and Z. Petrovic. Electron transport in ammonia. In B. Vujicic, S. Djurovic, and J. Puric, editors, Contributed Papers and Abstracts of Invited Lectures and Progress Reports, 18th SPIG (Summer School and International Symposium on the Physics of Ionized Gases), page 132, 1996.
• P. Gouveia and C. Sernadas. Abduction in temporal object specification using tableaux. In P. Baumgartner, R. Hahnle, and J. Possega, editors, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers, pages 43--48. University of Koblenz, 1995.
• 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 
• F. M. Dionísio, S. Brass, and M. Ryan. Reasoning about extensions. In U. Lipeck and G. Koschorreck, editors, IS-CORE'93 - Proceedings, pages 178--196. University of Hannover, 1993.
  Get a preprint: 93-DBR-RE.ps 
• P. Gouveia and C. Sernadas. Reasoning aspects in information systems and databases. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 201--224. Universitat Politècnica de Catalunya, 1993.
• P. Gouveia, C. Sernadas, J. Gomes, and J. Apolinário. Tableaux for reasoning about objects. In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind, editors, Theorem Proving with Analytic Tableaux and Related Methods, pages 113--125. Max-Planck-Institut für Informatik, 1993.
  Get a preprint: 93-GSGA-tfrab.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. Gouveia, and M. A. Lopes. Gentzen-type system for verification in conceptual modeling. In J. Göers, A. Heuer, and G. Saake, editors, Foundations of Models and Languages for Data and Objects, pages 215--228. TU Clausthal, 1991.
• C. Sernadas, P. Gouveia, L. Silva, and M. A. Lopes. Objects as structuring units for incorporating dynamics in deductive conceptual modeling. In The Deductive Approach to Information Systems and Databases 90, pages 93--110. Universitat Politècnica de Catalunya, 1990.
• 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.
• H. Coelho, G. Gaspar, and C. Sernadas. Societies of knowledge based systems. In Proceedings of EuropIA. Hermes Editions, 1988.
• P. Gouveia, F. M. Dionísio, and J. Marcos. Teaching and experimenting with deductive systems using a generic proof assistant. In XIII Simposio Latinoamericano de Lógica Matemática, volume 1 of Proceedings of the XIII SLALM, pages 49--50, Oaxaca, México, 2006.
  Get a preprint: 06-DGM-slalm.pdf 
• P. B. Menezes, K. G. Roggia, and J. H. A. P. Machado. Hierarquia de modelos para concorrência. In WMF'2002: V Workshop de Métodos Formais, volume 1 of Proceedings of the 5th Workshop on Formal Methods, pages 3--3, Porto Alegre, 2002. Instituto de Informática da UFRGS.
• 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.
• A. Kurucz and S. Marcelino. Finite frames for k4.3xs5 are decidable. In S.Ghilardi T.Bolander, T.Braüner and L.Moss, editors, Advances in Modal Logic, Volume 9, pages 411--436. College Publications, 2012.
  Get a preprint: 12-MK-finitefr.pdf 
• Luís Antunes and Lance Fortnow. Worst-case running times for average-case algorithms. In 24th Annual IEEE Conference on Computational Complexity. IEEE Computer Society, 2009.
• Ana Ferreira, Luís Antunes, Catarina Pinho, Catarina Sá, Edite Mendes, Emanuel Santos, Fátima Silva, Filipa Sousa, Filipe Gomes, Fernando Abreu, Fernando Mota, Francisca Aguiar, Francisco Faria, Francisco Macedo, Simão Martins, and Ricardo João Cruz Correia. Who should access electronic patient records. In Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Volume 1, pages 182--185, 2008.
• Ana Ferreira, Ricardo Cruz-Correia, David Chadwick, and Luís Antunes. Improving the implementation of access control in emr. In 42nd Annual IEEE International Carnahan Conference on Security Technology, pages 47--50, 2008.
• Pedro Manuel Vieira Marques, Arthur Cunha, Luís Antunes, Ricardo João Cruz Correia, and Altamiro da Costa Pereira. A first approach for a regional wide vepr. In Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Volume 1, pages 215--218, 2008.
• Ricardo Santos, M.E. Correia, and Luís Antunes. Securing a health information system with a government issued digital identification card. In 42nd Annual IEEE International Carnahan Conference on Security Technology, pages 135--141, 2008.
• Luís Antunes, Sophie Laplante, Alexandre Pinto, and Liliana Salvador. Cryptographic security of individual instances. In International Conference on Information Theoretic Security. To appear.. LNCS, Springer., 2007.
• Ana Ferreira, Luis Barreto, Pedro Brandao, Ricardo Correia, Susana Sargento, and Luís Antunes. A secure wireless architecture to access a virtual electronic patient record. In Pervasive Health Conference and Workshops, 2006, pages 1--8. IEEE, 2006.
• Ana Ferreira, Ricardo João Cruz Correia, Luís Antunes, P. Farinha, E. Oliveira-Palhares, David W. Chadwick, and Altamiro da Costa Pereira. How to break access control in a controlled manner. In 19th IEEE International Symposium on Computer-Based Medical Systems, Salt Lake City, Utah, USA, pages 847--854, 2006.
• C. Costa Santos, J. Bernardes, Paul M. B. Vitányi, and Luís Antunes. Clustering fetal heart rate tracings by compression. In 19th IEEE International Symposium on Computer-Based Medical Systems, Salt Lake City, Utah, USA, pages 685--690, 2006.
• A. Almeida Matos, G. Boudol, and I. Castellani. Typing noninterference for reactive programs. In A. Sabelfield, editor, Proceedings of the Workshop on Foundations of Computer Security, volume 31, pages 205--221. Turku Center for Computer Science, 2004.
  Get a preprint: 04-ABC-nonint+react-FCS.pdf 
• Ana Ferreira, Ricardo João Cruz Correia, Luís Antunes, Ernesto Palhares, Pedro Manuel Vieira Marques, Pedro Costa, and Altamiro da Costa Pereira. Integrity for electronic patient record reports. In 17th IEEE Symposium on Computer-Based Medical Systems, Bethesda, MD, USA, pages 4--9, 2004.
• Luís Antunes and Lance Fortnow. Sophistication revisited. In Automata, Languages and Programming, 30th International Colloquium, Eindhoven, The Netherlands. Proceedings, volume 2719 of Lecture Notes in Computer Science, pages 267--277. Springer, 2003.
• Luís Antunes, Lance Fortnow, and N. V. Vinodchandran. Using depth to capture average-case complexity. In Fundamentals of Computation Theory, 14th International Symposium, Malmö, Sweden, volume 2751 of Lecture Notes in Computer Science, pages 303--310. Springer, 2003.
• Luís Antunes, Lance Fortnow, and Dieter van Melkebeek. Computational depth. In IEEE Conference on Computational Complexity, pages 266--273, 2001.