%%%%%%% %%%%%%% Publications by current members of the %%%%%%% Logic and Computation Group %%%%%%% NOTE: pubs by YASSER at the end of the file until inserted in the right places %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Submitted %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @techreport{acs:css:jfr:mconiglio:08a, address = {1049-001 Lisboa, Portugal}, author = {A. Sernadas and C. Sernadas and J. Rasga and M. Coniglio}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Graph-theoretic fibring of logics {P}art {I} - {C}ompleteness}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-SSRC-gtf01.pdf}, st = {s}, proj = {t4,qsec,t2,klog,gtf,fiblog,taskA}, } @techreport{pc:dsg:08a, author = {P. Collins and D. S. Gra{\c{c}}a}, title = {Effective Computability of Solutions of Differential Inclusions ---The Ten Thousand Monkeys Approach}, type = {Preprint}, institution = {SQIG - IT}, address = {1049-001 Lisboa, Portugal}, year = {2008}, note = {Submitted for publication}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/08-CG-TTMA.pdf}, st = {s}, proj = {contcomp,t3,taskB}, } @techreport{jcederquist:mdashti:08, address = {1049-001 Lisboa, Portugal}, author = {J. Cederquist and M. T. Dashti}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Fairness constraints for the Dolev-Yao attacker model}, type = {Preprint}, year = {2008}, pdf = {}, st = {s}, proj = {t1,taskD}, } @techreport{ccal:rgon:08a, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and R. Gon{\c{c}}alves}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Behavioral algebraization of da Costa's $\mathcal{C}$-systems}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/08-CG-behAlgDaCosta.pdf}, st = {s}, proj = {quantfib,klog,t1,taskA}, } @techreport{acs:css:jfr:mconiglio:08b, address = {1049-001 Lisboa, Portugal}, author = {A. Sernadas and C. Sernadas and J. Rasga and M. Coniglio}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Graph-theoretic fibring of logics {P}art {I}{I} - {C}ompleteness preservation}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-SSRC-gtf02.pdf}, st = {s}, proj = {t4,qsec,t2,klog,gtf,fiblog,taskA}, } @techreport{acs:jabr:pmat:08a, address = {1049-001 Lisboa, Portugal}, author = {A. Sernadas and J. Ramos and P. Mateus}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-SRM-lap01short.pdf}, st = {s}, proj = {t4,qsec,t2,klog,lap,t0,quantlog,taskA}, } @techreport{ccal:rgon:08, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and R. Gon{\c{c}}alves}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {An algebraic perspective on valuation semantics}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/08-CG-algebraicValuation.pdf}, st = {s}, proj = {quantfib,klog,t1,taskA}, } @techreport{pbtz:pmat:08a, address = {1049-001 Lisboa, Portugal}, author = {P. Baltazar and P. Mateus}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Verifying probabilistic systems with {EpCTL}}, type = {Preprint}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/08-BM-qsec09.pdf}, st = {s}, proj = {qsec,t2,t0,taskA}, } @techreport{pmat:treis:vig:07, address = {1049-001 Lisboa, Portugal}, author = {P. Mateus and T. Reis and L. Vigan{\`{o}}}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Protocol Insecurity with Cost-Sensitive Guessing Intruder is {NP}-Complete}, type = {Preprint}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/07-MRV-quantana2.pdf}, st = {s}, proj = {quantlog,qsec,t2,taskD}, } @techreport{pmat:vau:07, address = {1049-001 Lisboa, Portugal}, author = {P. Mateus and S. Vaudenay}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication - only abstract is available for download}, title = {The Trusted Agent Model - Defeating Privacy Enhancement using Seals}, type = {Preprint}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/07-MV-qsec05.pdf}, st = {s}, proj = {quantlog,qsec,t2,taskD}, } @techreport{ccal:mpg:jabr:07, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and P. Gouveia and J. Ramos}, institution = {SQIG - IT and IST - TU Lisbon}, note = {Submitted for publication}, title = {Hierarchical Logical Consequence}, type = {Preprint}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/07-CGR-hlc.pdf}, st = {s}, proj = {quantfib,klog,t4,taskA}, } @techreport{fmoura:07a, title = {Perturbative stability and absorption cross section in string corrected black holes}, author = {F. Moura}, institution = {SQIG - IT and IST}, address = {1049-001 Lisboa, Portugal}, type = {Preprint}, year = {2007}, note = {Submitted for publication}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/07-M-pert.pdf}, st = {s}, proj = {t5,taskC}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%% In print %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{wcarnielli:jfr:css:08, author = {W. Carnielli and J. Rasga and C. Sernadas}, journal = {Mathematical Logic Quarterly}, title = {Interpolation via translations}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/08-CRS-interpviatranslations.pdf}, st = {a}, proj = {klog,qsec,t2,t4,quantfib,taskA}, } @article{mlc:ko:08, author = {M. L. Campagnolo and K. Ojakian}, title = {Characterizing Computable Analysis with differential equations}, year = {in print}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Presented at the Fifth International Conference on Computability and Complexity in Analysis (CCA 2008)}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/08-CO-CCADE.pdf}, st = {a}, proj = {contcomp,t3,taskB} } @article{pc:dsg:08, author = {P. Collins and D. S. Gra{\c{c}}a}, title = {Effective Computability of Solutions of Ordinary Differential Equations --- The Thousand Monkeys Approach}, year = {in print}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Presented at the Fifth International Conference on Computability and Complexity in Analysis (CCA 2008)}, pdf = {}, st = {a}, proj = {contcomp,t3,taskB} } @article{dsg:jb:mlc:08, author = {D. S. Gra{\c{c}}a and J. Buescu and M. L. Campagnolo}, title = {Computational bounds on polynomial differential equations}, journal = {Applied Mathematics and Computation}, volume = {}, number = {}, pages = {}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/08-GBC-boundsode.pdf}, st = {a}, proj = {contcomp,t3,taskB}, } @article{padao:ban:her:sce:05a, author = {P. Ad{\~a}o and G. Bana and J. Herzog and A. Scedrov}, title = {Soundness and completeness of formal encryption: the cases of key-cycles and partial information leakage}, year = {in print}, journal = {Journal of Computer Security}, volume = {}, pages = {}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/05-ABHS-encryption-cycles.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/05-ABHS-encryption-cycles.ps}, st = {a}, proj = {quantfib,t1,klog,qsec,taskD} } @article{amatos:gb:06, author = {A. {Almeida Matos} and G. Boudol}, title = {On declassification and the non-disclosure policy}, journal = {Journal of Computer Security}, year = {in print}, volume = {}, pages = {}, publisher = {IOS Press}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/06-AB-declass+nondiscl-JCS.pdf}, st = {a}, proj = {taskD} } @article{dsg:nz:jb:06a, author = {D. S. Gra{\c{c}}a and N. Zhong and J. Buescu}, title = {Computability, noncomputability and undecidability of maximal intervals of {IVP}s}, journal = {Transactions of the American Mathematical Society}, volume = {}, number = {}, pages = {}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/06-GZB-noncompode.pdf}, st = {a,taskB}, proj = {contcomp,t3}, } @incollection{pmat:jabr:acs:css:08, author = {P. Mateus and J. Ramos and A. Sernadas and C. Sernadas}, title = {Temporal logics for reasoning about quantum systems}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-MRSS-qsec11.pdf}, booktitle = {Semantics of Quantum Computation}, editor = {I. Mackie and S. Gay}, publisher = {Cambridge University Press}, pages = {}, st = {a}, proj = {klog,qsec,t0,t1,t2,quantlog,taskC,taskA}, } @misc{ccal:rgon:08b, author = {C. Caleiro and R. Gon{\c{c}}alves}, howpublished = {To be published in the Bulletin of Symbolic Logic}, title = {Behavioral algebraization of the $\mathcal{C}_n$ Systems of da {C}osta (abstract)}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/08-CG-behAlgCSystems.pdf}, st = {a}, proj = {quantfib,klog,t0,taskA}, } @misc{ccal:rgon:08c, author = {C. Caleiro and R. Gon{\c{c}}alves}, howpublished = {To be published in the Bulletin of Symbolic Logic}, title = {An algebraic perspective on valuation semantics (abstract)}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/08-CG-AlgPerspValuation.pdf}, st = {a}, proj = {quantfib,klog,t0,taskA}, } @article{ccal:rgon:mmartins:07, author = {C. Caleiro and R. Gon{\c{c}}alves and M. Martins}, institution = {SQIG - IT and IST - TU Lisbon}, journal = {Studia Logica}, title = {Behavioral Algebraization of Logics}, year = {in print}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/07-CGM-behAlgLogics.pdf}, st = {a}, proj = {klog,t1,quantfib,taskA}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Published %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{rchadha:pmat:acs:css:05, author = {R. Chadha and P. Mateus and A. Sernadas and C. Sernadas}, title = {Extending classical logic for reasoning about quantum systems}, year = {2009}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CMSS-quantlog07.pdf}, booktitle = {Handbook of Quantum Logic and Quantum Structures: Quantum Logic}, editor = {K. Engesser, D. Gabbay and D. Lehmann}, publisher = {Elsevier}, pages = {325--372}, st = {p}, proj = {quantlog,klog,qsec,t0,t1,t2,taskA,taskC}, } @incollection{pbtz:pmat:08b, author = {P. Baltazar and P. Mateus}, booktitle = {Logic Foundations of Computer Science 2009}, title = {Temporalization of probabilistic propositional logic}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, editor = {S. Artemov and A. Nerode}, year = {2009}, volume = {5407}, pages = {46--60}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/08-BM-qsec09s.pdf}, proj = {qsec,t2,taskA}, } %%%%% 2008 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{wcarnielli:mconiglio:gab:mpg:css:06, author = {W. A. Carnielli and M. E. Coniglio and D. Gabbay and P. Gouveia and C. Sernadas}, title = {Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems}, publisher = {Springer}, series = {Applied Logic}, volume = {35}, year = {2008}, url = {http://www.springer.com/west/home/math?SGWID=4-10042-22-173762910-0}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/06-CCGGS-fibringbook.pdf}, st = {p}, proj = {fiblog,quantfib,t4,quantlog,taskA}, } @book{acs:css:07, author = {A. Sernadas and C. Sernadas}, title = {Foundations of Logic and Theory of Computation}, publisher = {College Publications, London}, ISBN = {978-1-904987-88-8}, note = {ISBN 978-1-904987-88-8}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-SS-FLTC.pdf}, st = {p}, proj = {t4,taskA}, } @article{pbtz:05b, author = {P. Baltazar}, title = {M-solid varieties of languages}, journal = {Acta Cybernetica}, number = {4}, volume = {18}, pages = {719--731}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/BaltazarP/05-B-msolid.pdf}, st = {p}, proj = {t2}, } @article{mlc:ko:07, author = {M. L. Campagnolo and K. Ojakian}, title = {The elementary computable functions over the real numbers: Applying two new techniques}, year = {2008}, volume = {46}, number = {7-8}, pages = {593--627}, journal = {Archive for Mathematical Logic}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/07-CO-elem.pdf}, st = {p}, proj = {contcomp,t3,taskB} } @article{fmoura:07c, title = {One loop superstring effective actions and N=8 supergravity}, author = {F. Moura}, journal = {Physical Reviews D}, year = {2008}, volume = {77}, pages = {125011}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/07-M-loopsup.pdf}, st = {p}, proj = {t5,qsec,taskC}, } @article{lcf:jfr:acs:css:06, author = {L. Cruz-Filipe and J. Rasga and A. Sernadas and C. Sernadas}, journal = {Journal of Logic and Computation}, title = {A Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CRSS-folae.pdf}, st = {p}, volume = {18}, number = {6}, pages = {885--911}, proj = {quantfib,t1,klog,qsec,t2,t4,quantlog,taskA}, } @article{npaunkovic:pds:pnog:vrv:vkd:07, author = {N. Paunkovic and P. D. Sacramento and P. Nogueira and V. R. Vieira and V. K. Dugaev}, title = {Fidelity between partial states as signature of quantum phase transitions}, journal = {Physical Review A}, year = {2008}, volume = {77}, pages = {052302}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/07-PSNVD-parfid.pdf}, note = {ArXiv 0708.3494 [quant-ph]}, st = {p}, proj = {qsec,t2,t5,taskC}, } @article{lcf:acs:css:05, author = {L. Cruz-Filipe and A. Sernadas and C. Sernadas}, journal = {Logic Journal of the IGPL}, pages = {121-153}, title = {Heterogeneous fibring of deductive systems via abstract proof systems}, volume = {16}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CSS-fiblog26.pdf}, st = {p}, proj = {fiblog,quantfib,t4,taskA}, } @article{wcarnielli:jfr:css:04, author = {W. A. Carnielli and J. Rasga and C. Sernadas}, journal = {Journal of Logic and Computation}, year = {2008}, title = {Preservation of interpolation features by fibring}, volume = {18}, number = {1}, pages = {123-151}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/04-CRS-fiblog21.pdf}, st = {p}, proj = {fiblog,quantfib,t4,taskA}, } @article{npaunkovic:vrv:07, author = {N. Paunkovic and V. R. Vieira}, title = {Macroscopic distinguishability between quantum states defining different phases of matter: {F}idelity and the {U}hlmann geometric phase}, journal = {Physical Review E}, volume = {77}, pages = {011129}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/07-PV-terfid.pdf}, note = {ArXiv 0707.4667 [quant-ph]}, st = {p}, proj = {qsec,t2,t5,taskC}, } @article{dsg:mlc:jb:06a, author = {D. S. Gra{\c{c}}a and M. L. Campagnolo and J. Buescu}, title = {Computability with Polynomial Differential Equations}, journal = {Advances in Applied Mathematics}, year = {2008}, volume = {40}, number = {3}, pages = {330–-349}, publisher = {Elsevier}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/06-GCB-Poly.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @article{bou:pmat:npaunkovic:jfr:08, author = {J. Bouda and P. Mateus and N. Paunkovic and J. Rasga}, title = {On the power of quantum tamper-proof hardware}, journal = {International Journal of Quantum Information}, number = {2}, volume = {6}, pages = {219--236}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/08-BMNR-qsec02a.pdf}, st = {p}, proj = {qsec,t2,quantlog,taskC,taskD}, } @article{pbtz:rchadha:pmat:08, author = {P. Baltazar and R. Chadha and P. Mateus}, title = {Quantum Computation Tree Logic -- Model checking and complete calculus}, journal = {International Journal of Quantum Information}, number = {2}, volume = {6}, pages = {281--302}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/08-BCM-qsec10.pdf}, st = {p}, proj = {qsec,t2,t0,quantlog,taskA,taskC}, } @incollection{lcf:ivan:fmartins:amar:vv:08, author = {L. Cruz-Filipe and I. Lanese and F. Martins and A. Ravara and V. Vasconcelos}, booktitle = {Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)}, editor = {G. Barthe and F. de Boer}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Behavioural theory at work: program transformations in a service-centred calculus}, pages = {59--77}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/08-CLMRV-progtransf.pdf}, st = {p}, proj = {sensoria,space-time-types,taskA}, } @incollection{bou:mlc:07, author = {O. Bournez and M. L. Campagnolo}, title = {A survey on continuous time computations}, year = {2008}, editor = {Cooper, S.B. and L{\"o}we, B. and Sorbi, A.}, pages = {383--423}, publisher = {Springer-Verlag}, booktitle = {New Computational Paradigms: Changing Conceptions of What is Computable}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/07-BC-survey.pdf}, st = {p}, proj = {t3,taskB}, } @incollection{csl:08, author = {C. Louren{\c{c}}o}, booktitle = {Proceedings of the 18th International Conference in Artificial Neural Networks - ICANN 2008}, editor = {V. Kurkov\'a and R. Neruda and J. Koutn\'\i k}, title = {{EEG} switching: three views from dynamical systems}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, pages = {665--674}, volume = {5164}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/08-L-switch.pdf}, st = {p}, proj = {t3,taskB}, } @inproceedings{jmar:amar:08, author = {J. Martinho and A. Ravara}, booktitle = {Proceedings the 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08)}, publisher = {ISRST}, title = {Encoding cryptographic primitives in a calculus with polyadic synchronization}, pages = {102-109}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/08-MR-cepi.pdf}, st = {p}, proj = {sensoria,taskD}, } @inproceedings{dsg:07, author = "D. S. Gra\c{c}a", title = "Computability and Dynamical Systems: A Perspective", booktitle = "Proceedings of the 26th Weak Arithmetics Days", year = "2008", pages = "95--107", editors = {A. Cord\'{o}n-Franco and A. Fern\'{a}ndez-Margarit and F. F. Lara-Mart\'{\i}n}, publisher = {Universidad de Sevilla}, st = "p", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/08-G-JAF26.pdf}, proj = {sensoria,taskB}, } @inproceedings{bas:ccal:jabr:vig:07, author = {D. Basin and C. Caleiro and J. Ramos and L. Vigan\`{o}}, title = {Labeled tableaux for distributed temporal logic}, booktitle = "Proceedings of the 15th Intl.Symp. on Temporal Representation and Reasoning (TIME 2008)", pages = "101-109", editors = {S. Demri and C. S. Jensen}, publisher = {IEEE Computer Society Press}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/07-BCRV-dtl-tableaux.pdf}, st = {p}, proj = {klog,t1,t4,taskA}, } @phdthesis{rgon:08, author = {R. Gon{\c{c}}alves}, note = {Supervised by C. Caleiro}, title = {Behavioral algebraization of logics}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GoncalvesR/08-G-PhDthesis.pdf}, st = {p}, proj = {quantfib,klog,t1,taskA}, } @mastersthesis{bmon:08, author = {B. Montalto}, note = {Supervised by C. Caleiro}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, title = {Modelling an attacker with Cryptanalytical capbilities}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MontaltoB/08-M-MScThesis.pdf}, st = {p}, proj = {klog,taskD}, } @techreport{wcar:jfr:css:08ita, address = {1049-001 Lisboa, Portugal}, author = {W. Carnielli and J. Rasga and C. Sernadas}, institution = {SQIG-IT, DM, IST}, note = {Appendix to the paper~\cite{wcarnielli:jfr:css:08} with the full details of the proofs that are just sketched or not proved at all in that paper in order to simplify the presentation since they follow in an expected way.}, title = {Appendix on {I}nterpolation via translations: proofs as expected}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/08-CRS-it-appendix.pdf}, st = {i}, proj = {t4,qsec,t2,klog,gtf,quantfib,taskA}, } @techreport{acs:jabr:pmat:08b, address = {1049-001 Lisboa, Portugal}, author = {A. Sernadas and J. Ramos and P. Mateus}, institution = {SQIG - Instituto de Telecomunicações, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Short paper presented at LPAR 2008, Doha, Qatar. November 22-27}, title = {Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/08-SRM-lap01tiny.pdf}, st = {c}, proj = {qsec,lap,klog,t1,t2,quantlog,taskA}, } %%%%% 2007 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{amatos:gb:ic:06, author = {A. {Almeida Matos} and G. Boudol and I. Castellani}, title = {Typing noninterference for reactive programs}, journal = {Journal of Logic and Algebraic Programming}, volume = {72}, number = {2}, pages = "124--156", publisher = {Elsevier Science}, note = {Special Issue on Programming Language Interference and Dependence}, year = "2007", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/06-ABC-nonint+react-JLAP.pdf}, st = {p}, proj = {t1,taskD}, } @article{jfr:06, author = {J. Rasga}, journal = {Annals of Pure and Applied Logic}, number = {1-3}, pages = {81--99}, publisher = {Elsevier}, title = {Sufficient conditions for cut elimination with complexity analysis}, volume = {149}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf }, st = {p}, proj = {qsec,quantfib,t2,t4,taskA}, } @article{fmoura:07b, title = {Type {II} and heterotic one loop string effective actions in four dimensions}, author = {F. Moura}, journal = {Journal of High Energy Physics}, year = {2007}, volume = {06}, pages = {052}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/07-M-tII.pdf}, st = {p}, proj = {t5,taskC}, } @article{pbtz:pmat:nara:pap:07, author = {P. Baltazar and P. Mateus and R. Nagarajan and N. Papanikolaou}, title = {Exogenous Probabilistic Computation Tree Logic}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {3}, pages = {95-110}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/07-BMNP-quantlog15s.pdf}, st = {p}, proj = {quantlog,t0,t1,t2,qsec,taskA}, } @article{cic:pal:zar:yo:vie:07, author = {F. Ciccarello and M. Palma and M. Zarcone and Y. Omar and V. Rocha Vieira}, title = {Static Disorder in a 1D Wire with two Quantum Scattering Centers}, journal = {Laser Physics}, year = {2007}, volume = {17}, number = {6}, pages = {889-892}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OmarY/07-CPZOV-LP.pdf}, st = {p}, proj = {quantlog,t5,taskC}, } @article{bou:mlc:dsg:hai:06b, author = {O. Bournez and M. L. Campagnolo and D. S. Gra{\c{c}}a and E. Hainry}, title = {Polynomial differential equations compute all real computable functions on computable compact intervals}, journal = {Journal of Complexity}, volume = {23}, pages = {317-335}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/06-BCGH-GPAC.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @article{rchadha:lcf:pmat:acs:06, title = {Reasoning about probabilistic sequential programs}, author = {R. Chadha and L. Cruz-Filipe and P. Mateus and A. Sernadas}, journal = {Theoretical Computer Science}, volume = {379}, number = {1-2}, pages = {142--165}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CCMS-quantlog08.pdf}, st = {p}, proj = {quantlog,t0,t1,t2,taskA}, } @article{padao:pmat:05, author = {P. Ad{\~a}o and P. Mateus}, title = {A process algebra for reasoning about quantum security}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {170}, pages = {3--21}, year = {2007}, note = {Preliminary version presented at 3rd International Workshop on Quantum Programming Languages, June 30 - July 1, 2005, Chicago, Affiliated Workshop of LICS 2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/05-AM-quantlog04.pdf}, st = {p}, proj = {quantlog,t2,taskC,taskD}, } @article{csl:07a, author = {C. Louren{\c{c}}o}, journal = {Neurocomputing}, title = {Dynamical computation reservoir emerging within a biological network}, volume = {70}, pages = {1177--1185}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/07-L-neurocomp.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @article{bar:bug:mlc:cer:06, title = {Using {N}-alkanes to estimate diet composition of herbivores: a novel mathematical approach}, author = {P. Barcia and M. N. Bugalho and M. L. Campagnolo and J. O. Cerdeira}, journal = {Animal}, volume = {1}, pages = {141--149}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/06-BBCC-alcanos.pdf}, st = {p}, proj = {contcomp,t3}, } @article{mlc:ko:06s, author = {M. L. Campagnolo and K. Ojakian}, title = {The methods of approximation and lifting in real computation}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {167}, pages = {387--423}, year = {2007}, note = {Preliminary version presented at the Third International Conference on Computability and Complexity}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/06-CO-realrec.pdf}, st = {p}, url = {http://www.sciencedirect.com/science/issue/13109-2007-998329999-642147}, proj = {contcomp,t3,taskB}, } @article{ccal:jabr:05, author = {C. Caleiro and J. Ramos}, journal = {Logica Universalis}, title = {From fibring to cryptofibring: a solution to the collapsing problem}, number = {1}, pages = {71--92}, volume = {1}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CR-fib2crypto.pdf}, st = {p}, proj = {quantfib,t4,taskA}, } @article{fmoura:sch:06, title = {Higher-derivative corrected black holes: Perturbative stability and absorption cross-section in heterotic string theory}, author = {F. Moura and R. Schiappa}, journal = {Classical and Quantum Gravity}, volume = {24}, number = {2}, pages = {361--386}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/06-MS-hepth0605001.pdf}, st = {p}, proj = {t5,taskC}, } @article{dsg:jb:mlc:07, author = {D. S. Gra{\c{c}}a and J. Buescu and M. L. Campagnolo}, title = {Boundedness of the domain of definition is undecidable for polynomial ODEs}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Proceedings of the 4th International Conference of Computability and Complexity in Analysis (CCA 2007)}, volume = {202}, year = {2008}, pages = {49--57}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/07-GBC-bounded.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @article{mr:fmd:fmf:apires:07, author = {M. Rocheta and F. M. Dion{\'\i}sio and L. Fonseca and A. M. Pires}, title = {Paternity analysis in Excel}, journal = {Computer Methods and Programs in Biomedicine}, volume = {88}, number = {3}, pages = {234-238}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/07-RDFP-paternity.pdf}, } @article{janc:cor:mac:eta:har:len:07, author = {J. Cederquist and R. J. Corin and M. A. C. Dekker and S. Etalle and J. I. den Hartog and G. Lenzini}, title = {Audit-based Compliance Control}, journal = {International Journal of Information Security}, volume = {6}, number = {2-3}, pages = {133-151}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/07-CCDEHL-audit.pdf}, st = {p}, proj = {t1,t2,taskD}, } @incollection{ccal:jabr:07, author = {C. Caleiro and J. Ramos}, title = {Combining classical and intuitionistic implications}, booktitle = {Frontiers of Combining Systems 07}, editor = {B. Konev and F. Wolter}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer}, year = {2007}, pages = {118-132}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/07-CR-classint-imp.pdf}, st = {p}, proj = {klog,t4,fiblog,taskA}, } @incollection{ccal:rgon:06, author = {C. Caleiro and R. Gon{\c{c}}alves}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, editor = {J. Fiadeiro and P.-Y. Schobbens}, title = {On the algebraization of many-sorted logics}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, pages = {21--36}, volume = {4409}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/06-CG-manysorted.pdf}, st = {p}, proj = {quantfib,t4,taskA}, } @inproceedings{janc:mtd:mau:07, title = {A Certified Email Protocol using Key Chains}, author = {J. Cederquist and M. Torabi Dashti and S. Mauw}, year = {2007}, booktitle = {Proceedings of the 21st International conference on Advanced Information networking and Applications Workshops/Symposia (AINA'07)}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/07-CTM-cem.pdf}, pages = {525--530}, publisher = {IEEE CS press}, st = {p}, proj = {t1,t2,taskD}, } @inproceedings{mac:janc:cra:eta:07, author = {M. A. C. Decker and J. Cederquist and J. Crampton and S. Etalle}, title = {Extended Privilege Inheritance in RBAC}, booktitle = {Proceedings the 2007 ACM Symposium on Information, Computer and Communications Security}, editor = {R. H. Deng and P. Samarati}, publisher = {ACM Press}, address = {New York, NY, USA}, year = {2007}, pages = {383--385}, note = {Short paper}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/07-DCCE-rbac.pdf}, st = {p}, proj = {t1,t2,taskD}, } @inproceedings{mlc:cer:06, author = "M. L. Campagnolo and J. O. Cerdeira", title = "Contextual classification of remotely sensed images with integer linear programming", booktitle = "Proceedings of CompIMAGE - Computational Modelling of Objects Represented in Images: Fundamentals, Methods and Applications", year = "2007", pages = "123--128", editors = {J.M.Tavares and R.M. Natal Jorge}, publisher = {Taylor and Francis}, st = "p", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/06-CC-compimage.pdf}, } @incollection{csl:07c, author = {C. Louren{\c{c}}o}, booktitle = {Computation and Logic in the Real World}, editor = {S.B. Cooper and B. L{\"{o}}we and A. Sorbi}, title = {How can natural brains help us compute?}, publisher = {Universita di Siena}, series = {Quaderni del Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari"}, pages = {257--262}, volume = {}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/07-L-cie.pdf}, st = {p}, proj = {t3,taskD}, } @inproceedings{lan:vv:mar:amar:07, title = {Disciplining orchestration and conversation in service-oriented computing}, author = {I. Lanese and V. Vasconcelos and F. Martins and A. Ravara}, booktitle = {5th IEEE International Conference on Software Engineering and Formal Methods}, pages = {305--314}, year = {2007}, publisher = {IEEE}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/07-LVMR-sscc.pdf}, st = {p}, proj = {sensoria,sttypes,t1}, } @inproceedings{pbtz:rchadha:pmat:acs:06, author = {P. Baltazar and R. Chadha and P. Mateus and A. Sernadas}, booktitle = {Proceedings of the First Workshop on Quantum Security: QSec'07}, title = {Towards model-checking quantum security protocols}, editor = {P. Dini et al}, pages = {0014}, publisher = {IEEE Press}, year = {2007}, note = {Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-BCMS-quantlog13s.pdf}, st = {p}, proj = {quantlog,qsec,t0,t2,taskA,taskC,taskD}, } @inproceedings{pmat:fmoura:jfr:06, author = {P. Mateus and F. Moura and J. Rasga}, booktitle = {Proceedings of the First Workshop on Quantum Security: QSec'07}, title = {Transferring proofs of zero-knowledge systems with quantum correlations}, editor = {P. Dini et al}, publisher = {IEEE Press}, pages = {0009}, year = {2007}, note = {Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/06-MMR-quantlog14s.pdf}, st = {p}, proj = {quantlog,qsec,t2,taskC,taskD}, } @inproceedings{csl:07b, author = {C. Louren{\c{c}}o}, title = {Structured reservoir computing with spatiotemporal chaotic attractors}, booktitle = {Proceedings the 15th European Symposium on Artificial Neural Networks (ESANN 2007)}, editor = {M. Verleysen}, year = {2007}, pages = {501--506}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/07-L-esann.pdf}, st = {p}, proj = {t3,taskB}, } @phdthesis{dsg, author = {D. S. Gra{\c{c}}a}, title = {Computability with Polynomial Differential Equations}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2007}, note = {Supervised by M. Campagnolo and J. Buescu}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/07-G-PhDthesis.pdf}, proj = {contcomp,t3,taskB}, } @mastersthesis{tcarv:07, author = {T. Carvalho}, note = {Supervised by A. Ravara}, school = {IST, Universidade Técnica de Lisboa}, title = {Spatial Types for Concurrency: A Spatial Logic to Specify and Verify Distributed Systems}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CarvalhoT/07-C-MScThesis.pdf}, st = {p}, proj = {space-time-types,taskA}, } %%%%% 2006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{lcf:let:05, author = {L. Cruz-Filipe and P. Letouzey}, note = {Presented at CALCULEMUS 2005, July 18-19, 2005, Newcastle upon Tyne, Affiliated Workshop of Formal Methods 2005}, title = {A Large-Scale Experiment in Executing Extracted Programs}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {151}, number = {1}, pages = {75--91}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/05-CL-extrcomp.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/05-CL-extrcomp.ps}, st = {p}, proj = {quantfib,t4}, } @article{val:vv:amar:05, author = {A. Vallecillo and V. Vasconcelos and A. Ravara}, journal = {Fundamenta Informaticae}, title = {Typing the behavior of software components using session types}, note = {Full version of \cite{val:vv:amar:02}}, year = {2006}, volume = {73}, number = {4}, pages = {64--87}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/05-VVR-compsessions.pdf}, st = {p}, proj = {mikado,profundis,t1}, } @article{padao:pmat:treis:vig:06, author = {P. Ad{\~a}o and P. Mateus and T. Reis and L. Vigan{\`o}}, title = {Towards a quantitative analysis of security protocols}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2006}, volume = {164}, number = {3}, pages = {3-25}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/06-AMRV-quantanas.pdf}, st = {p}, proj = {quantlog,t1,t2,taskD}, } @article{cic:pal:zar:yo:vie:06, author = {F. Ciccarello and M. Palma and M. Zarcone and Y. Omar and V. Rocha Vieira}, title = {Entanglement Controlled Single-Electron Transmittivity}, journal = {New Journal of Physics}, year = {2006}, volume = {8}, pages = {214}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OmarY/06-CPZOV-0603456.pdf}, st = {p}, proj = {quantlog,t5,taskC}, } @article{rchadha:pmat:acs:06b, author = {R. Chadha and P. Mateus and A. Sernadas}, title = {Reasoning about quantum imperative programs}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {158}, number = {}, pages = {19-40}, year = {2006}, note = {Invited talk at the Twenty-second Conference on the Mathematical Foundations of Programming Semantics, May 24-27, 2006, Genova}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CMS-quantlog10s.pdf}, st = {p}, proj = {quantlog,t0,t1,t2,taskA,taskC}, } @article{vv:amar:gay:04b, author = {V. T. Vasconcelos and A. Ravara and S. Gay}, note = {Full version of \cite{vv:amar:gay:04a}}, title = {Session types for functional multithreading}, journal = {Theoretical Computer Science}, volume = {368}, number = {1-2}, pages = {64-87}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/04-VRG-sessions-full.pdf}, st = {p}, proj = {sensoria,sttypes,mikado,mimo,profundis,t1,taskA}, } @article{pmat:acs:05, author = {P. Mateus and A. Sernadas}, note = {ArXiv math.LO/0503453}, title = {Weakly complete axiomatization of exogenous quantum propositional logic}, journal = {Information and Computation}, volume = {204}, number = {5}, pages = {771-794}, year = {2006}, url = {http://www.elsevier.com/wps/find/journaldescription.cws_home/622844/description#description}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-MS-quantlog01.pdf}, st = {p}, proj = {quantlog,t0,t1,t2,taskA,taskC}, } @article{cos:bos:yo:05, author = {A. T. Costa Jr and S. Bose and Y. Omar}, title = {Entanglement of Two Impurities through Electron Scattering}, publisher = {APS}, year = {2006}, journal = {Physical Review Letters}, volume = {96}, number = {23}, numpages = {4}, pages = {230501}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OmarY/06-CBO-230501.pdf}, proj = {quantlog,t5,taskC}, } @article{car:per:mlc:shi:06, author = {J. M. B. Carreiras and J. M. C. Pereira and M. L. Campagnolo and Y. E. Shimabukuro}, title = {Assessing the extent of agriculture/pasture and secondary succession forest in the {B}razilian {L}egal {A}mazon using {SPOT} {VEGETATION} data}, journal = {Remote Sensing of Environment}, volume = {101}, number = {}, pages = {283-298}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/06-CPCS-amazon.pdf}, st = {p}, proj = {}, } @article{ccal:vig:bas:05b, author = {C. Caleiro and L. Vigan{\`o} and D. Basin}, title = {On the semantics of {A}lice{\&}{B}ob specifications of security protocols}, journal = {Theoretical Computer Science}, volume = {367}, number = {1-2}, pages = {88-122}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CVB-expressiveness.pdf}, st = {p}, proj = {quantfib,t1,taskD}, } @article{oma:npaunkovic:she:bos:04, author = {Y. Omar and N. Paunkovic and L. Sheridan and S. Bose}, journal = {Physical Review A}, title = {Quantum Walk on a Line with Two Entangled Particles}, volume = {74}, pages = {042304}, year = {2006}, note = {ArXiv 0411065 [quant-ph]}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/04-OPSB-qwalk.pdf}, st = {p}, proj = {quantlog,t5,taskC}, } @article{she:npaunkovic:oma:bos:06, author = {L. Sheridan and N. Paunkovic and Y. Omar and S. Bose}, journal = {International Journal of Quantum Information}, volume = {4}, number = {3}, pages = {573-583}, year = {2006}, title = {Discrete Time Quantum Walk on a Line with Two Particles}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/06-SPOB-qwalk2.pdf}, st = {p}, proj = {quantlog,t5,taskC}, } @incollection{fmoura:06, author = {F. Moura}, title = {Perturbation theory and stability analysis for string- corrected black holes in arbitrary dimensions}, booktitle = {Proceedings of the 28th Spanish Relativity Meeting (ERE05): A Century of Relativity Physics}, editor = {L. Mornas and J. D. Alonso}, series = {AIP conference proceedings}, publisher = {American Institute of Physics}, volume = {841}, year = {2006}, pages = {542-545}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/06-M-hepth0608009.pdf}, st = {p}, proj = {t5,taskC}, } @incollection{pmat:yo:05s, author = {P. Mateus and Y. Omar}, title = {A quantum algorithm for closest pattern matching}, booktitle = {Quantum Information Processing - From Theory to Experiment}, editor = {D. Angelakis and M. Christandl and A. Ekert and A. Kay and S. Kulik}, pages = {180--183}, publisher = {IOS Press}, volume = {199}, series = {NATO Science Series, III: Computer and Systems Sciences}, year = {2006}, note = {Short version of \cite{pmat:yo:05}}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/05-MO-quantlog05s.pdf}, st = {p}, proj = {quantlog,t2,t5,taskC}, } @incollection{acs:pmat:yo:06, author = {A. Sernadas and P. Mateus and Y. Omar}, title = {Quantum computation and information}, booktitle = {A Portrait of State-of-the-Art Research at the Technical University of Lisbon}, editor = {M. S. Pereira}, pages = {46-65}, publisher = {Springer-Verlag}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-SMO-quantlog09.pdf}, st = {p}, proj = {quantlog,t1,t2,t5,taskC}, } @incollection{bor:amar:vv:etal:06, author = {M. Boreale and R. Bruni and L. Caires and R. {de Nicola} and I. Lanese and M. Loreti and F. Martins and U. Montanari and A. Ravara and D. Sangiorgi and V. Vasconcelos and G. Zavattaro}, title = {{SCC}: a Service Centered Calculus}, booktitle = {Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, editor = {Mario Bravetti and Manuel N{\'u}{\~n}ez and Gianluigi Zavattaro}, year = {2006}, volume = {4184}, pages = {38-57}, st = {p}, proj = {sensoria,t1,taskA}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/06-sensoria-core-calculus.pdf}, } @incollection{rchadha:pmat:acs:06a, author = {R. Chadha and P. Mateus and A. Sernadas}, booktitle = {Computer Science Logic 2006 (CSL06)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Reasoning about states of probabilistic sequential programs}, editor = {Z. {\'E}sik}, volume = {4207}, year = {2006}, pages = {240-255}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CMS-quantlog08s.pdf}, st = {p}, proj = {quantlog,t1,t2,taskA}, } @incollection{padao:fou:06a, author = {P. Ad{\~a}o and C. Fournet}, title = {Cryptographically sound implementations for communicating processes}, booktitle = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06)}, editor = {M. Bugliese and B. Preneel and V. Sassone and I. Wegener}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = {4052}, pages = {83-94}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/06-AF-implementations.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/06-AF-implementations.ps}, st = {p}, proj = {quantfib,t1,taskD}, } @incollection{ccal:pmat:acs:css:05, author = {C. Caleiro and P. Mateus and A. Sernadas and C. Sernadas}, booktitle = {Algebra, Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, editor = {K. Futatsugi and J.-P. Jouannaud and J. Meseguer}, series = {Lecture Notes in Computer Science}, title = {Quantum institutions}, publisher = {Springer-Verlag}, volume = {4060}, pages = {50-64}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CMSS-quantlog06.pdf}, st = {p}, proj = {quantlog,t1,taskA,taskC}, } @incollection{bou:mlc:dsg:hai:06, author = {O. Bournez and M. L. Campagnolo and D. S. Gra{\c{c}}a and E. Hainry}, title = {The {G}eneral {P}urpose {A}nalog {C}omputer and {C}omputable {A}nalysis are two equivalent paradigms of analog computation}, booktitle = {Theory and Applications of Models of Computation TAMC'06}, editor = {J.-Y. Cai and S. B. Cooper and A. Li}, pages = {631-643}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3959}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/06-BCGH-tamc.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @inproceedings{janc:mtd:06, author = {J. Cederquist and M. Torabi Dashti}, title = {An Intruder Model for Verifying Liveness in Security Protocols}, booktitle = {FMSE '06: Proceedings of the 2006 ACM Workshop on Formal Methods in Security Engineering}, editor = {A. D. Gordon and D. Sands}, publisher = {ACM Press}, address = {New York, NY, USA}, year = {2006}, pages = {23--31}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/06-CT-intruder.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/06-CT-intruder.ps}, st = {p}, proj = {t1,taskD}, } @inproceedings{dsg:nz:jb:06as, author = {D. S. Gra{\c{c}}a and N. Zhong and J. Buescu}, title = {The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable}, booktitle = {Proceedings of the 7th Conference on Real Numbers and Computers (RNC 7)}, editor = {G. Hanrot and P. Zimmermann}, pages = {33-40}, publisher = {LORIA/INRIA}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/06-GZB-noncompode-s.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @inproceedings{csl:05, author = {C. Louren{\c{c}}o}, title = {Dynamical reservoir properties as network effects}, booktitle = {Proceedings of the 14th European Symposium on Artificial Neural Networks (ESANN'06)}, editor = {M. Verleysen}, pages = {503-508}, publisher = {d-side}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/05-L-esann.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @inproceedings{csl:06, author = {C. Louren{\c{c}}o}, title = {A very small chaotic neural net}, booktitle = {Proceedings of the 2006 International Joint Conference on Neural Networks (IJCNN'06) at the 2006 IEEE World Congress on Computational Intelligence}, editor = {}, pages = {8341-8344}, publisher = {IEEE}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/06-L-ijcnn.pdf}, st = {p}, proj = {contcomp,t3,taskB}, } @techreport{pbtz:jabr:css:06, author = {P. Baltazar and J. Ramos and C. Sernadas}, title = {Probability and quantum institutions revisited}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, type = {Preprint}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/06-BRS-quantlog12.pdf}, st = {c}, proj = {quantlog,t1}, note = {Presented at WADT'06, La Roche en Ardenne, Belgium, June 1-3, 2006}, } @techreport{padao:fou:06b, address = {1049-001 Lisboa, Portugal}, author = {P. Ad{\~a}o and C. Fournet}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Extended abstract. Presented at the 2nd Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of ICALP'06, July 9, Venice, Italy}, title = {Language Design for Computationally Sound Communications Abstractions}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/06-AF-design.pdf}, st = {c}, proj = {quantlog,t1,taskD}, } @inproceedings{mpg:fmd:jmarcos:06, address = {Oaxaca, M\'exico}, author = {P. Gouveia and F. M. Dion{\'\i}sio and J. Marcos}, booktitle = {XIII Simposio Latinoamericano de L\'ogica Matem\'atica}, pages = {49-50}, series = {Proceedings of the XIII SLALM}, title = {Teaching and experimenting with deductive systems using a generic proof assistant}, volume = {1}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/06-DGM-slalm.pdf}, st = {c}, proj = {taskA}, } @phdthesis{padao:06, author = {P. Ad{\~a}o}, title = {Formal Methods for the Analysis of Security Protocols}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2006}, note = {Supervised by P. Mateus and A. Scedrov}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/06-A-PhDthesis.pdf}, st = {p}, proj = {fiblog,quantlog,t1,t2,taskD}, } @phdthesis{amatos:06, author = {A. {Almeida Matos}}, title = {Typing secure information flow: declassification and mobility}, school = {École Nationale Supérieure des Mines de Paris}, institution = {INRIA Sophia Antipolis}, note = {Supervised by G. Boudol and I. Castellani}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/06-A-types+iflow-thesis.pdf}, st = {p}, proj = {taskD}, } @techreport{smarc:06, author = {S. Marcelino}, title = {Applications of Supported Quantales to Modal Logic}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2006}, note = {Diploma thesis. Supervised by P. Resende}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcelinoS/06-M-DiplomaThesis.pdf}, st = {p}, project = {} } %%%%% 2005 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{yo:05b, author = {Y. Omar}, title = {Indistinguishable particles in quantum mechanics: {A}n introduction}, journal = {Contemporary Physics}, volume = {46}, number = { }, pages = {437-448}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OmarY/05-O-0511002.pdf}, st = {p}, proj = {quantlog,t5}, } @article{yo:05a, author = {Y. Omar}, title = {Particle statistics in quantum information processing}, journal = {International Journal of Quantum Information}, volume = {3}, number = {1}, year = {2005}, pages = {201-205}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OmarY/04-O-0412213.pdf}, st = {p}, proj = {quantlog,t5}, } @techreport{pmat:05, author = {P. Mateus}, title = {Attacking zero-knowledge proof systems}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2005}, note = {In Portuguese. Awarded the Portuguese IBM Scientific Prize 2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/05-M-IBM.pdf}, st = {n}, project = {quantlog,t2} } @proceedings{wcarnielli:pmat:05, editor = {W. A. Carnielli and P. Mateus}, title = {Selected papers from CombLog'04}, series = {Logic Journal of the IGPL}, volume = {13(6) -- Special issue}, year = {2005}, url = {http://jigpal.oxfordjournals.org/content/vol13/issue6/index.dtl?etoc}, st = {p}, proj = {fiblog,quantfib} } @article{ccal:vig:bas:04c, author = {C. Caleiro and L. Vigan{\`o} and D. Basin}, journal = {Logic Journal of the {IGPL}}, title = {Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis}, year = {2005}, volume = {13}, number = {6}, pages = {637-664}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CVB-fiblog15s3.pdf}, st = {p}, proj = {fiblog,quantfib,t1}, } @article{pmat:jfr:css:04, author = {P. Mateus and J. Rasga and C. Sernadas}, title = {Modal Sequent Calculi Labelled with Truth Values: Cut Elimination}, journal = {Logic Journal of the {IGPL}}, volume = {13}, number = {2}, pages = {173-199}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/04-MRS-fiblog20.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/04-MRS-fiblog20.ps}, st = {p}, proj = {fiblog,quantfib,t4}, } @article{ccal:vig:bas:05, author = {C. Caleiro and L. Vigan{\`o} and D. Basin}, title = {Deconstructing {A}lice and {B}ob}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Preliminary version presented at ICALP'05 ARSPA Workshop}, year = {2005}, volume = {135}, number = {1}, pages = {3-22}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CVB-alice&bob.pdf}, st = {p}, proj = {quantfib,t1}, } @article{ccal:vig:bas:04b, author = {C. Caleiro and L. Vigan{\`o} and D. Basin}, title = {Metareasoning about security protocols using distributed temporal logic}, note = {Preliminary version presented at IJCAR'04 ARSPA Workshop}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2005}, volume = {125}, number = {1}, pages = {67-89}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CVB-fiblog15s2.pdf}, st = {p}, proj = {fiblog,t1}, } @incollection{amatos:05, author = {A. {Almeida Matos}}, title = {Non-disclosure for distributed mobile code}, booktitle = {Proceedings of the 25th International Conference: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005)}, editor = {R. Ramanujam and S. Sen}, series = {Lecture Notes in Computer Science}, volume = {3821}, pages = {177-188}, year = {2005}, publisher = {Springer-Verlag}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/05-A-nondiscl+mobil-FSTTCS.pdf}, st = {p}, } @incollection{ccal:wcarnielli:jfr:css:04, author = {C. Caleiro and W. A. Carnielli and J. Rasga and C. Sernadas}, editor = {D. Gabbay and F. Guenthner}, publisher = {Springer}, booktitle = {Handbook of Philosophical Logic, 2nd Edition}, title = {Fibring of logics as a universal construction}, volume = {13}, pages = {123-187}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/04-CCRS-fiblog23.pdf}, st = {p}, proj = {fiblog,quantfib,t4}, } @incollection{ccal:acs:css:05, author = {C. Caleiro and A. Sernadas and C. Sernadas}, title = {Fibring logics: {P}ast, present and future}, editor = {S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods}, publisher = {King's College Publications}, booktitle = {We Will Show Them: Essays in Honour of Dov Gabbay, Volume One}, pages = {363-388}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CSS-fiblog27.pdf}, st = {p}, proj = {quantfib,fiblog,t4}, } @incollection{dsg:mlc:jb:05a, author = {D. S. Gra{\c{c}}a and M. L. Campagnolo and J. Buescu}, title = {Robust simulations of {T}uring machines with analytic maps and flows}, booktitle = {Proceedings of CiE'05, New Computational Paradigms}, editor = {B. Cooper and B. L{\"{o}}we and L. Torenvliet}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3526}, pages = {169-179}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/05-GCB-stable.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/05-GCB-stable.ps}, st = {p}, proj = {contcomp,t3}, } @incollection{padao:ban:her:sce:05, author = {P. Ad{\~a}o and G. Bana and J. Herzog and A. Scedrov}, booktitle = {Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS)}, editor = {S. De Capitani di Vimercati and P. Syverson and D. Gollmann}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Soundness of formal encryption in the presence of key-cycles}, volume = {3679}, pages = {374-396}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/05-ABHS-cycles.pdf}, st = {p}, proj = {quantfib,t1}, } @incollection{ccal:jabr:04a, author = {C. Caleiro and J. Ramos}, title = {Cryptomorphisms at work}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, editor = {J. Fiadeiro and P. Mosses and F. Orejas}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3423}, pages = {45-60}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CR-fiblog17.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CR-fiblog17.ps}, st = {p}, proj = {fiblog,quantfib,t4}, } @incollection{pmat:acs:css:05a, author = {P. Mateus and A. Sernadas and C. Sernadas}, title = {Exogenous semantics approach to enriching logics}, booktitle = {Essays on the Foundations of Mathematics and Logic}, editor = {G. Sica}, publisher = {Polimetrica}, wpub = {http://polimetrica.com/}, volume = {1}, pages = {165-194}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-MSS-quantlog03.pdf}, st = {p}, proj = {quantlog,t0,t4,t1}, } @incollection{ccal:rgon:05b, author = {C. Caleiro and R. Gon{\c{c}}alves}, booktitle = {Logica Universalis}, editor = {J.-Y. B{\'e}ziau}, pages = {99-112}, publisher = {Birkh\"auser Verlag}, title = {Equipollent logical systems}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CG-equipollence.pdf}, st = {p}, proj = {fiblog,quantfib,t4}, } @incollection{ccal:wcarnielli:mconiglio:jmarcos:05, author = {C. Caleiro and W. A. Carnielli and M. E. Coniglio and J. Marcos}, booktitle = {Logica Universalis}, editor = {J.-Y. B{\'e}ziau}, pages = {169-189}, publisher = {Birkh\"auser Verlag}, title = {Two's company: ``{T}he humbug of many logical values"}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CCCM-dyadic.pdf}, st = {p}, proj = {fiblog,quantfib,t4}, } @incollection{fmd:mpg:jmarcos:04, author = {F. M. Dion{\'\i}sio and P. Gouveia and J. Marcos}, booktitle = {Computing, Philosophy, and Cognition}, editor = {L. Magnani and R. Dossena}, pages = {271-293}, publisher = {King's College Publications}, title = {Defining and using deductive systems with {Isabelle}}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/04-DGM-dlogisa.pdf}, st = {p}, proj = {fiblog,t4}, } @incollection{janc:cor:mtd:05b, author = {J. Cederquist and R. Corin and M. Torabi Dashti}, title = {On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol}, booktitle = {7th International Conference on Information and Communications Security}, editor = {S. Qing and W. Mao and J. Lopez and G. Wang}, series = {Lecture Notes in Computer Science}, volume = {3783}, publisher = {Springer-Verlag}, year = {2005}, pages = {27--39}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/05-CCT-nonrep.pdf}, st = {p}, proj = {t1,t2}, } @inproceedings{amatos:gb:05, author = {A. {Almeida Matos} and G. Boudol}, title = {On declassification and the non-disclosure policy}, booktitle = {Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05)}, pages = {226-240}, year = {2005}, publisher = {IEEE Computer Society}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/05-AB-declass+nondiscl-CSFW.pdf}, st = {p}, } @inproceedings{janc:cor:mac:eta:har:05a, author = {J. Cederquist and R. J. Corin and M. A. C. Dekker and S. Etalle and J. I. den Hartog}, title = {An Audit Logic for Accountability}, booktitle = {6th Int. Workshop on Policies for Distributed Systems \& Networks}, editor = {A. Sahai and W. H. Winsborough}, publisher = {IEEE Computer Society}, address = {Los Alamitos, California}, year = {2005}, pages = {34--43}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/05-CCDEH-audit.pdf}, st = {p}, proj = {t1}, } @inproceedings{alv:csl:05, author = {M. Alves and C. Louren{\c{c}}o}, title = {Selenoprotein discovery using neural networks}, booktitle = {Proceedings of the International Conference on Applied Computing (IADIS'05)}, year = {2005}, editor = {N. Guimar{\~a}es and P. Isa{\'i}as}, pages = {519-526}, address = {Algarve, Portugal, February 22-25}, publisher = {}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/05-AL-iadis.pdf}, st = {p}, proj = {contcomp,t3} } @inproceedings{padao:ban:sce:04, author = {P. Ad{\~a}o and G. Bana and A. Scedrov}, title = {Computational and information-theoretic soundness and completeness of formal encryption}, booktitle = {Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW)}, year = {2005}, editor = {}, pages = {170-184}, address = {Aix-en-Provence, France, June 20-22}, publisher = {IEEE Computer Society Press}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/04-ABS-encryption.pdf}, st = {p}, proj = {fiblog,quantfib,t1} } @inproceedings{jfr:05a, author = {J. Rasga}, title = {Cut elimination in propositional based logics}, booktitle = {Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05)}, editor = {P. Bruscoli and F. Lamarche and C. Stewart}, publisher = {Technische Universität Dresden}, year = {2005}, pages = {205-214}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/05-R-quantfib2s.pdf}, st = {p}, proj = {quantfib,fiblog,t4}, } @inproceedings{scos:ccard:jparg:fmd:pasan:05, author = {S. Costa and C. Cardeira and J. Pargana and F. M. Dion{\'\i}sio and P. A. Santos}, title = {Systems and Signals Online Questions and Grading}, booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005)}, editor = {Lucia lo Bello and Thile Sauter}, publisher = {IEEE}, pages = {41-47}, year = {2005}, note = {Special Session on E-learning and Remote Laboratories}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/05-CCPDS-ssoqg.pdf}, st = {p}, proj = {cal}, } @techreport{pmat:acs:05sp, address = {1049-001 Lisboa, Portugal}, author = {P. Mateus and A. Sernadas}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Extended abstract. Short presentation at LICS 2005, Chicago, USA, June 26-29}, title = {Complete exogenous quantum propositional logic}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-MS-quantlog01sp.pdf}, st = {c}, proj = {quantlog,t1,t2}, } @techreport{ccal:rgon:05a, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and R. Gon{\c{c}}alves}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Presented at 1st World Congress on Universal Logic, Montreux, Switzerland, March 31 - April 3, 2005. Extended abstract.}, title = {On the algebraization of valuation semantics}, type = {Preprint}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CG-valuation.pdf}, st = {c}, proj = {fiblog,quantfib,t4}, } @techreport{amatos:gb:ic:05, author = {A. {Almeida Matos} and Boudol, G. and I. Castellani}, title = {Typing noninterference for reactive programs}, type = {Technical Report}, institution = {Institut National de Recherche en Informatique et en Automatique (INRIA)}, address = {06902 Sophia Antipolis, France}, number = {RR-5594}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/05-ABC-nonint+react-INRIA.pdf}, status = {c}, } @techreport{jfr:05c, address = {1049-001 Lisboa, Portugal}, author = {J. Rasga}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, type = {Preprint}, note = {Extended abstract. Presented at PCC -- Proof, Computation, Complexity, July 16-17, Lisboa, Affiliated Workshop of ICALP'05}, title = {Complexity analysis of cut elimination in first order based logics}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/05-R-quantfib04s.pdf}, st = {c}, proj = {quantfib,fiblog,t4}, } @techreport{lcf:css:05b, address = {1049-001 Lisboa, Portugal}, author = {L. Cruz-Filipe and C. Sernadas}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, title = {Sequent calculi based on derivations}, type = {Preprint}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/05-CS-quantfib01.pdf}, st = {i}, proj = {quantfib,t4}, } @techreport{pmat:yo:05, author = {P. Mateus and Y. Omar}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, note = {ArXiv quant-ph/0508237. Full version of \cite{pmat:yo:05s}}, title = {Quantum pattern matching}, type = {Preprint}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/05-MO-quantlog05.pdf}, url = {http://arxiv.org/abs/quant-ph/0508237}, st = {i}, proj = {quantlog,t2}, } @phdthesis{jmarcos:05, author = {J. Marcos}, title = {Logics of Formal Inconsistency}, school = {IFCH, Universidade Estadual de Campinas and IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2005}, note = {Supervised by W. A. Carnielli and C. Caleiro}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/05-M-PhDthesis.pdf}, st = {p}, proj = {fiblog,t4}, } @mastersthesis{pbtz:05a, author = {P. Baltazar}, title = {Variedades {M}-s\'olidas de Linguagens}, school = {FCUL, Universidade de Lisboa}, year = {2005}, note = {Supervised by M. Ramalho}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/BaltazarP/05-B-MScThesis.pdf}, st = {p}, proj = {}, } @techreport{treis:05, author = {T. Reis}, title = {Quantitative Analysis of Security Protocols}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2005}, note = {Diploma thesis. Supervised by P. Mateus}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/ReisT/05-R-DiplomaThesis.pdf}, st = {p}, proj = {quantlog,t2}, } %%%%% 2004 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{jcc:acs:css:fmd:ccal:04, author = {J. Carmo and A. Sernadas and C. Sernadas and F. M. Dion{\'\i}sio and C. Caleiro}, title = {Introdu{\c c\~a}o \`a Programa{\c c\~a}o em {Mathematica} -- Segunda Edi{\c c\~a}o (Introduction to Programming in {Mathematica} -- Second Edition)}, publisher = {IST Press}, year = 2004, st = {p}, } @proceedings{wcarnielli:fmd:pmat:04, title = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/04-CDM-comblog.pdf}, st = {p}, proj = {fiblog}, } @article{pmat:acs:css:vig:03, author = {P. Mateus and A. Sernadas and C. Sernadas and L. Vigan{\`o}}, title = {Modal sequent calculi labelled with truth values: Completeness, duality and analyticity}, journal = {Logic Journal of the {IGPL}}, volume = {12}, number = {3}, pages = {227-274}, year = {2004}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/03-MSSV-fiblog19.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/03-MSSV-fiblog19.pdf}, st = {p}, proj = {fiblog,t4}, } @article{dsg:03b, author = {D. S. Gra{\c{c}}a}, title = {Some recent developments on {S}hannon's {G}eneral {P}urpose {A}nalog {C}omputer}, journal = {Mathematical Logic Quarterly}, year = {2004}, volume = {50}, number = {4-5}, pages = {473-485}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/03-G-ccaXL.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/03-G-ccaXL.pdf}, st = {p}, proj = {contcomp,t3}, } @article{mpg:jabr:03, author = {P. Gouveia and J. Ramos}, title = {Multi-agent systems specification and certification: {A} situation and state calculus approach}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {2004}, volume = {41}, number = {2-4}, pages = {301-338}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/03-GR-ssccert.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/03-GR-ssccert.ps} , st = {p}, proj = {fiblog,t1}, } @article{mlc:03, author = {M. L. Campagnolo}, title = {Continuous time computation with restricted integration capabilities}, journal = {Theoretical Computer Science}, year = {2004}, volume = {317}, pages = {147-165}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/03-C-restricted.pdf}, st = {p}, proj = {contcomp,t3}, } @article{chermida:pmat:00b, author = {C. Hermida and P. Mateus}, title = {Paracategories {II}: {A}djunctions, fibrations and examples from probabilistic automata theory}, journal = {Theoretical Computer Science}, year = {2004}, volume = {311}, pages = {71-103}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/02-HM-paracat2.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/02-HM-paracat2.pdf}, st = {p}, proj = {problog,fiblog,t4,t2}, } @article{csl:02, author = {C. Louren{\c{c}}o}, title = {Attention-locked computation with chaotic neural nets}, journal = {International Journal of Bifurcation and Chaos}, year = {2004}, volume = {14}, number = {2}, pages = {737-760}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/04-L-ijbc.pdf}, st = {p}, proj = {contcomp,t3}, } @incollection{pmat:acs:04b, author = {P. Mateus and A. Sernadas}, title = {Reasoning about quantum systems}, booktitle = {Logics in Artificial Intelligence, Ninth European Conference, JELIA'04}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, editor = {J. Alferes and J. Leite}, volume = {3229}, year = {2004}, pages = {239-251}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/04-MS-fiblog24x.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/04-MS-fiblog24x.pdf}, st = {p}, proj = {fiblog,quantlog,t1,t2}, } @incollection{lcf:geu:wie:04, author = {L. Cruz-Filipe and H. Geuvers and F. Wiedijk}, title = {{C-CoRN}, the {C}onstructive {C}oq {R}epository at {N}ijmegen}, booktitle = {Mathematical Knowledge Management}, editor = {A. Asperti and G. Bancerek and A. Trybulec}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3119}, pages = {88-103}, year = {2004}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-CGW-ccorn.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-CGW-ccorn.pdf}, st = {p}, proj = {fiblog,t4}, } @incollection{lcf:wie:04, author = {L. Cruz-Filipe and F. Wiedijk}, title = {Hierarchical Reflection}, booktitle = {Theorem Proving in Higher Order Logics (17th International Conference, TPHOLs 2004)}, editor = {K. Slind and A. Bunker and G. Gopalakrishnan}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3223}, pages = {66-81}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-CW-hrefl.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-CW-hrefl.ps} , st = {p}, proj = {fiblog,t4}, } @incollection{vv:amar:gay:04a, author = {V. T. Vasconcelos and A. Ravara and S. Gay}, title = {Session types for functional multithreading}, booktitle = {15th International Conference on Concurrency Theory}, pages = {497-511}, year = {2004}, volume = {3170}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/04-VRG-sessions.pdf}, st = {p}, proj = {mikado,mimo,profundis,t1}, note = {Short version of \cite{vv:amar:gay:04b}}, } @incollection{fmoura:04, author = {F. Moura}, title = {Superspace supergravity and supersymmetrization of {$R\sp 4$}}, booktitle = {Proceedings of the XII Fall Workshop on Geometry and Physics}, pages = {173-180}, year = {2004}, volume = {7}, series = {Publicaciones de la Real Sociedad Matem\'atica Espa\~nola}, publisher = {Real Sociedad Matem\'atica Espa\~nola, Madrid}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/04-M-superspace.pdf}, st = {p}, proj = {}, } @incollection{janc:mtd:04b, author = {J. Cederquist and M. Torabi Dashti}, title = {Formal Analysis of a Fair Payment Protocol}, booktitle = {2nd International Workshop on Formal Aspect of Security and Trust}, editor = {T. Dimitrakos and F. Martinelli}, series = {IFIP}, volume = {173}, publisher = {Kluwer Academic Publishers}, address = {Boston, Massachusetts}, year = {2004}, pages = {41--54}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/04-CT-fairpayment.pdf}, st = {p}, proj = {t1,t2}, } @incollection{bar:janc:tar04a, author = {G. Barthe and J. Cederquist and S. Tarento}, title = {A Machine-Checked Formalization of the Generic Model and the Random Oracle Model}, booktitle = {2nd International Joint Conference on Automated Reasoning (IJCAR'04)}, editor = {D. A. Basin and M. Rusinowitch}, series = {Lecture Notes in Computer Science}, volume = {3097}, publisher = {Springer-Verlag}, year = {2004}, pages = {385--399}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/04-BCT-genericmodel.pdf}, st = {p}, proj = {t1,t2}, } @inproceedings{amatos:gb:ic:04, author = {A. {Almeida Matos} and G. Boudol and I. Castellani}, title = {Typing noninterference for reactive programs}, booktitle = {Proceedings of the Workshop on Foundations of Computer Security}, editor = {A. Sabelfield}, volume = {31}, pages = {205-221}, year = {2004}, publisher = {Turku Center for Computer Science}, isbn = {952-12-1372-8}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MatosA/04-ABC-nonint+react-FCS.pdf}, status = {p}, } @inproceedings{pmat:acs:04a, author = {P. Mateus and A. Sernadas}, title = {Exogenous quantum logic}, booktitle = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pages = {141-149}, note = {Extended abstract}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/04-MS-fiblog24s.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/04-MS-fiblog24s.pdf}, st = {p}, proj = {fiblog,quantlog,t1,t2}, } @inproceedings{ccal:jabr:04b, author = {C. Caleiro and J. Ramos}, title = {Cryptofibring}, booktitle = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pages = {87-92}, note = {Extended abstract}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CR-fiblog25s.pdf}, st = {p}, proj = {fiblog,t4}, } @inproceedings{ccal:vig:bas:04a, author = {C. Caleiro and L. Vigan{\`o} and D. Basin}, title = {Towards a metalogic for security protocol analysis}, booktitle = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pages = {187-196}, note = {Extended abstract}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/04-CVB-fiblog15s1.pdf}, st = {p}, proj = {fiblog,t1}, } @inproceedings{wcarnielli:css:zan:04a, author = {W. A. Carnielli and C. Sernadas and A. Zanardo}, title = {Preservation of interpolation by fibring}, booktitle = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pages = {151-157}, note = {Extended abstract}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/04-CSZ-fiblog21s.pdf}, st = {p}, proj = {fiblog,t4}, } @inproceedings{fmartins:amar:04, author = {F. Martins and A. Ravara}, title = {Typing migration control in lsdpi}, booktitle = {Proceedings of FCS'04, Workshop on Foundations Computer Security}, editor = {Andrei Sabelfield}, publisher = {Turku Centre for Computer Science}, volume = {31}, pages = {1-12}, year = 2004, isbn = {952-12-1372-8}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/04-MR-typingmigration.pdf}, st = {p}, proj = {mikado,mimo,profundis,t1}, } @phdthesis{lcf:04, author = {L. Cruz-Filipe}, title = {Constructive Real Analysis: a Type-Theoretical Formalization and Applications}, school = {University of Nijmegen}, year = {2004}, note = {Supervised by H. Barendregt}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-C-PhDthesis.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-C-PhDthesis.pdf}, st = {p}, proj = {fiblog,t4}, } @techreport{rgon:04, author = {R. Gon{\c{c}}alves}, title = {Algebraization of logics and beyond}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Diploma thesis. Supervised by C. Caleiro}, address = {1049-001 Lisboa, Portugal}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GoncalvesR/04-G-DiplomaThesis.pdf}, st = {p}, proj = {fiblog,t4}, } @techreport{lcf:wie:04b, title = {Equational Reasoning in Algebraic Structures: a Complete Tactic}, author = {L. Cruz-Filipe and F. Wiedijk}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, type = {Preprint}, year = {2004}, note = {Submitted for publication}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/04-CW-comp.pdf}, st = {i}, proj = {fiblog,t4}, } @mastersthesis{bue:04, author = {J. Bueno-Soler}, title = {Sem\^antica alg\'ebrica de tradu\c{c}\~oes poss{\'\i}veis ({P}ossible-translations algebraic semantics)}, school = {IFCH, Universidade Estadual de Campinas}, year = {2004}, note = {Supervised by M. E. Coniglio and C. Caleiro}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/BuenoSolerJ/04-B-MScThesis.pdf}, st = {p}, proj = {fiblog}, } @mastersthesis{aplf:04, author = {A. Francisco}, title = {Algoritmos para a predi\c{c}\~ao da estrutura terci\'aria de prote{\'\i}nas ({A}lgorithms for the prediction of the tertiary structure of proteins)}, school = {IST, Universidade T\'ecnica de Lisboa}, year = {2004}, note = {Supervised by A. Oliveira and A. Sernadas}, st = {p}, } @mastersthesis{jmar:04, author = {J. Martinho}, note = {Supervised by L. Aceto and A. Ravara}, school = {Department of Computer Science, University of Aalborg, Denmark}, title = {The pi-calculus with polyadic synchronization}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MartinhoJ/04-M-MScThesis.pdf}, st = {p}, } %%%%% 2003 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{css:vig:jfr:acs:02, author = {C. Sernadas and L. Vigan{\`o} and J. Rasga and A. Sernadas}, title = {Truth-values as labels: A general recipe for labelled deduction}, journal = {Journal of Applied Non-Classical Logics}, volume = {13}, number = {3-4}, pages = {277-315}, year = {2003}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/02-SVRS-fiblog11.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/02-SVRS-fiblog11.pdf}, st = {p}, proj = {fiblog,t4}, } @article{chermida:pmat:00a, author = {C. Hermida and P. Mateus}, title = {Paracategories {I}: {I}nternal paracategories and saturated partial algebras}, journal = {Theoretical Computer Science}, year = {2003}, volume = {309}, pages = {125-156}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/02-HM-paracat1.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/02-HM-paracat1.pdf}, st = {p}, proj = {problog,fiblog,t4}, } @article{pmat:mcm:cnp:ap:acs:css:00, author = {P. Mateus and M. Cabral Morais and C. Nunes and A. Pacheco and A. Sernadas and C. Sernadas}, title = {Categorical Foundations for Randomly Timed Automata}, journal = {Theoretical Computer Science}, year = {2003}, volume = {308}, pages = {393-427}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-MMNPSS-rta.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-MMNPSS-rta.pdf}, st = {p}, proj = {problog,logcomp,fiblog,t2}, } @article{mconiglio:acs:css:02, author = {M. E. Coniglio and A. Sernadas and C. Sernadas}, title = {Fibring logics with topos semantics}, journal = {Journal of Logic and Computation}, year = {2003}, volume = {13}, number = {4}, pages = {595-624}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/02-CSS-fiblog14.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/02-CSS-fiblog14.pdf}, st = {p}, proj = {fiblog,t4}, } @article{ccal:wcarnielli:mconiglio:acs:css:00, author = {C. Caleiro and W. A. Carnielli and M. E. Coniglio and A. Sernadas and C. Sernadas}, title = {Fibring non-truth-functional logics: Completeness preservation}, journal = {Journal of Logic, Language and Information}, year = {2003}, volume = {12}, number = {2}, pages = {183-211}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-CCCSS-fiblog8.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-CCCSS-fiblog8.pdf}, st = {p}, proj = {fiblog,t4}, } @article{dsg:fgc:02, author = {D. S. Gra{\c{c}}a and J. F. Costa}, title = {Analog computers and recursive functions over the reals}, journal = {Journal of Complexity}, year = {2003}, volume = {19}, number = {5}, pages = {644-664}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/02-GC-MGPAC.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/02-GC-MGPAC.ps}, st = {p}, proj = {contcomp,t3}, } @article{fmd:lop:02, author = {F. M. Dion{\'\i}sio and P. Lopes}, title = {Quandles at finite temperatures {II}}, journal = {Journal of Knot Theory and Its Ramifications}, year = {2003}, volume = {12}, number = {8}, pages = {1041-1092}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/02-DL-quandles2.pdf}, proj = {t2}, st = {p}, } @article{val:vv:amar:02, author = {A. Vallecillo and V. T. Vasconcelos and A. Ravara}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Presented at FOCLASA'02}, title = {Typing the Behavior of Objects and Components using Session Types}, volume = {68}, number = {3}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/02-VVR-objbhv.pdf}, st = {p}, proj = {mikado,mimo,profundis,t1}, } @article{amar:amatos:vv:lbl:03, author = {A. Ravara and A. {Almeida Matos} and V. T. Vasconcelos and L. Lopes}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Presented at FGC'03}, number = {1}, title = {Lexically scoped distribution: what you see is what you get}, volume = {85}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/03-RMVL-lexic.pdf}, st = {p}, proj = {mikado,mimo,profundis,t1}, } @article{acs:css:03, author = {A. Sernadas and C. Sernadas}, title = {Combining logic systems: {W}hy, how, what for?}, journal = {CIM Bulletin}, year = {2003}, month = {December}, volume = {15}, pages = {9-14}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/03-SS-fiblog22.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/03-SS-fiblog22.pdf}, st = {n}, proj = {fiblog,t4}, } @article{bos:ae:oma:npaunkovic:vv:03, author = {S. Bose and A. Ekert and Y. Omar and N. Paunkovic and V. Vedral}, journal = {Physical Review A}, title = {Optimal State Discrimination Using Particle Statistics}, volume = {68}, number = { }, year = {2003}, pages = {052309}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/04-BEOPV-discrim.pdf}, note = {ArXiv quant-ph/0309090}, proj = {t5}, } @incollection{pmat:mit:sce:02, author = {P. Mateus and J. Mitchell and A. Scedrov}, title = {Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus}, editor = {R. Amadio and D. Lugiez}, booktitle = {CONCUR 2003 - Concurrency Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2761}, pages = {327-349}, year = {2003}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/03-MMS-seccomp.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/03-MMS-seccomp.pdf}, st = {p}, proj = {fiblog,t2}, } @incollection{lcf:spi:03, author = {L. Cruz-Filipe and B. Spitters}, title = {Program extraction from large proof developments}, editor = {D. Basin and B. Wolff}, booktitle = {Theorem Proving in Higher Order Logics (16th International Conference, TPHOLs 2003)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2758}, pages = {205-220}, year = {2003}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/03-CS-extraction.ps} , st = {p}, proj = {t4}, } @incollection{lcf:02, author = {L. Cruz-Filipe}, title = {A constructive formalization of the fundamental theorem of calculus}, editor = {H. Geuvers and F. Wiedijk}, booktitle = {Types for Proofs and Programs (TYPES 2002)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2646}, pages = {108-126}, year = {2003}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/02-C-ftcalculus.ps}, st = {p}, proj = {t4}, } @incollection{ccal:mpg:jabr:03, author = {C. Caleiro and P. Gouveia and J. Ramos}, title = {Completeness Results for Fibred Parchments: {B}eyond the Propositional Base}, editor = {M. Wirsing and D. Pattinson and R. Hennicker}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {185-200}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CGR-fiblog16.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CGR-fiblog16.ps}, st = {p}, proj = {fiblog,t4}, } @inproceedings{oma:npaunkovic:bos:vv:03, author = {Y. Omar and N. Paunkovic and S. Bose and V. Vedral}, title = {Quantum Entanglement and Particle Statistics}, booktitle = {Proceedings of the Sixth International Conference on Quantum Communication, Measurement and Computing (QCMC)}, year = {2003}, editor = {J. H. Shapiro and O. Hirota}, pages = {33}, publisher = {Rinton, Princeton}, pdf = { }, st = {p}, proj = {t5}, } @inproceedings{dsg:03a, author = {D. S. Gra{\c{c}}a}, title = {Computability via analog circuits}, editor = {V. Brattka and M. Schr{\"{o}}der and K. Weihrauch and N. Zhong}, booktitle = {Procs. International Conference on Computability and Complexity in Analysis}, publisher = {FernUniversit{\"{a}}t in Hagen}, pages = {229-240}, year = {2003}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/03-G-cca.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/03-G-cca.pdf}, st = {p}, proj = {contcomp,t3}, } @inproceedings{fmoura:03b, author = {F. Moura}, title = {Four dimensional supersymmetrization of $\mathcal{R}^4$}, booktitle = {Proceedings of the International Conference on 20 Years of SUGRA and Search for SUSY and Unification (SUGRA 20)}, editor = {P. Nath}, pages = {279-283}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/03-M-hepth0306285.pdf}, st = {p}, proj = {t5}, } @techreport{ccal:wcarnielli:mconiglio:jmarcos:03b, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and W. A. Carnielli and M. E. Coniglio and J. Marcos}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003}, title = {Dyadic semantics for many-valued logics}, type = {Research Report}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic2.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic2.ps}, st = {c}, proj = {fiblog}, } @techreport{ccal:wcarnielli:mconiglio:jmarcos:03a, address = {1049-001 Lisboa, Portugal}, author = {C. Caleiro and W. A. Carnielli and M. E. Coniglio and J. Marcos}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, note = {Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003}, title = {Suszko's {T}hesis and dyadic semantics}, type = {Research Report}, year = {2003}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic1.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic1.ps}, st = {c}, proj = {fiblog}, } @phdthesis{jfr:03, author = {J. Rasga}, title = {Fibring Labelled First-order Based Logics}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2003}, note = {Supervised by C. Sernadas}, st = {p}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/03-R-PhDthesis.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/03-R-PhDthesis.pdf}, proj = {fiblog,t4}, } @phdthesis{fmoura:03a, author = {F. Moura}, title = {String corrections to supergravity theories}, school = {State University of New York at Stony Brook}, year = {2003}, note = {Supervised by M. Rocek}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/03-M-PhDthesis.pdf}, proj = {t5}, } @techreport{lsr:03, author = {L. S. Russo}, title = {Algebra in a topos}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 2003, note = {Diploma thesis. Supervised by P. Resende}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RussoLS/03-R-DiplomaThesis.pdf}, st = {p}, } %%%%% 2002 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{css:jfr:wcarnielli:01, author = {C. Sernadas and J. Rasga and W. A. Carnielli}, title = {Modulated fibring and the collapsing problem}, journal = {Journal of Symbolic Logic}, year = {2002}, volume = {67}, number = {4}, pages = {1541-1569}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.pdf}, st = {p}, proj = {fiblog}, } @article{sch:pmat:99, author = {L. Schr{\"o}der and P. Mateus}, title = {Universal aspects of probabilistic automata}, journal = {Mathematical Structures in Computer Science}, year = {2002}, volume = {12}, number = {4}, pages = {481-512}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/99-SM-precat2.ps}, st = {p}, proj = {problog,acl,logcomp}, } @article{acs:css:zan:01, author = {A. Sernadas and C. Sernadas and A. Zanardo}, title = {Fibring modal first-order logics: Completeness preservation}, journal = {Logic Journal of the {IGPL}}, year = {2002}, volume = {10}, number = {4}, pages = {413-451}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.pdf}, st = {p}, proj = {fiblog}, } @article{jfr:acs:css:vig:00, author = {J. Rasga and A. Sernadas and C. Sernadas and L. Vigan{\`o}}, title = {Fibring Labelled Deduction Systems}, journal = {Journal of Logic and Computation}, volume = {12}, number = {3}, pages = {443-473}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf}, st = {p}, proj = {fiblog,logcomp}, } @article{mlc:moo:fgc:00, author = {M. L. Campagnolo and C. Moore and J. F. Costa}, title = {An analog characterization of the {G}rzegorczyk hierarchy}, journal = {Journal of Complexity}, year = {2002}, volume = {18}, number = {4}, pages = {977-1000}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CostaJF/01-CMC-grzac.ps}, st = {p}, proj = {contcomp}, } @article{sch:saa:acs:css:99, author = {P.-Y. Schobbens and G. Saake and A. Sernadas and C. Sernadas}, title = {U2: {A} two-level temporal logic for evolving specifications}, journal = {Information Processing Letters}, volume = {83}, number = {3}, pages = {167-172}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-SSSS-u2.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @article{fmoura:02a, author = {F. Moura}, title = {Four dimensional 'old minimal' $\mathcal{N}=2$ supersymmetrization of $\mathcal{R}^4$}, journal = {Journal of High Energy Physics}, volume = {07}, year = {2003}, pages = {57-80}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/02-M-hepth0212271.pdf}, st = {p}, proj = {t5}, } @article{fmoura:02b, author = {F. Moura}, title = {Four dimensional $\mathcal{R}^4$ superinvariants through gauge completion}, journal = {Journal of High Energy Physics}, volume = {08}, pages = {38-55}, year = {2002}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/02-M-hepth0206119.pdf}, st = {p}, proj = {t5}, } @article{oma:npaunkovic:bos:vv:02, author = {Y. Omar and N. Paunkovic and S. Bose and V. Vedral}, journal = {Physical Review A}, title = {Spin-Space Entanglement Transfer and Quantum Statistics}, volume = {65}, number = { }, year = {2002}, pages = {062305}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/02-OPBV-enttransf.pdf}, note = {ArXiv quant-ph/0105120}, proj = {t5}, } @article{npaunkovic:oma:bos:vv:02, author = {N. Paunkovic and Y. Omar and S. Bose and V. Vedral}, journal = {Physical Review Letters}, title = {Entanglement Concentration Using Quantum Statistics}, volume = {88}, number = { }, year = {2002}, pages = {187903}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/02-POBV-entconc.pdf}, note = {ArXiv quant-ph/0112004}, proj = {t5}, } @incollection{mlc:02, author = {M. L. Campagnolo}, title = {The complexity of real recursive functions}, editor = {C.S. Calude and M.J. Dinneen and F. Peper}, booktitle = {Unconventional Models of Computation (UMC 2002)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2509}, pages = {1-14}, year = {2002}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/02-C-realrec.pdf}, st = {p}, proj = {contcomp}, } @incollection{jfr:acs:css:vig:01, author = {J. Rasga and A. Sernadas and C. Sernadas and L. Vigan{\`o}}, title = {Labelled deduction over algebras of truth values}, editor = {A. Armando}, booktitle = {Frontiers of Combining Systems 4}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, volume = {2309}, pages = {222-238}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-RSSV-fiblog11s.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-RSSV-fiblog11s.pdf}, st = {p}, proj = {fiblog}, } @inproceedings{pmat:ap:pin:01, author = {P. Mateus and A. Pacheco and J. Pinto}, title = {Observations and the Probabilistic Situation Calculus}, editor = {D. Fensel and F. Giunchiglia and D. McGuinness and M.-A. Williams}, booktitle = {Procs. Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002)}, publisher = {Morgan Kaufmann}, pages = {327-338}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/01-MPP-obspsc.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/01-MPP-obspsc.pdf}, st = {p}, proj = {problog,fiblog}, } @inproceedings{men:cos:mac:jabr:02, author = {P. Menezes and A. Costa and L. Machado and J. Ramos}, booktitle = {Computing Anticipatoty Systems: CASYS'01 - Fifth International Conference}, editor = {D. Dubois}, pages = {553-564}, publisher = {American Institute of Physics}, series = {AIP Conference Proceedings}, title = {Nautilus: {A} Concurrent Anticipatory Programming Language}, volume = {627}, year = {2002}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/02-MCMR-anticipatory.pdf}, st = {p}, } @inproceedings{lcf:02a, author = {L. Cruz-Filipe}, title = {Formalizing Real Calculus in {C}oq}, booktitle = {Procs. 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs2002)}, editor = {V. Carre{\~o} and C. Mun{\~o}z and S. Tahar}, publisher = {NASA}, pages = {}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/02-C-contmaths.ps}, st = {p}, } @inproceedings{san:san:fmd:dua:02, author = {A. M. Santos and P. A. Santos and F. M. Dion{\'\i}sio and P. Duarte}, title = {Online Assessment in Undergraduate Mathematics}, editor = {C. Tzanakis}, booktitle = {Procs. 2nd International Conference on the Teaching of Mathematics (ICTM2)}, publisher = {University of Crete}, pages = {}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/02-SSDD-oaum.ps}, st = {p}, proj = {cal}, } @techreport{mconiglio:css:02, author = {M. E. Coniglio and C. Sernadas}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, title = {A complete axiomatization of higher-order intuitionistic logic}, type = {Research report}, year = {2002}, note = {Presented at X Encontro Nacional de Filosofia, {ANPOF}}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/02-CS-hol.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/02-CS-hol.pdf}, st = {c}, proj = {fiblog}, } @techreport{lcf:02b, author = {L. Cruz-Filipe}, title = {Towards Automation of Real Analysis in {C}oq}, institution = {Dept. of Computer Science, Univ. Nijmegen}, address = {P. O. Box 9010, 6500 GL Nijmegen, The Netherlands}, note = {Extended abstract. Poster presented at the Calculemus Autumn School 2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CruzFilipeL/02-C-calculemus.ps}, year = {2002}, st = {c} } @mastersthesis{dsg:02, author = {D. S. Gra{\c{c}}a}, title = {The General Purpose Analog Computer and Recursive Functions over the Reals}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {2002}, note = {Supervised by J. F. Costa}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/GracaDS/02-G-MScThesis.pdf}, st = {p}, proj = {contcomp}, } @techreport{padao:02, author = {P. Ad{\~a}o}, title = {Electronic money within {M}y-calculus}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 2002, note = {Diploma thesis. Supervised by P. Mateus}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/02-A-DiplomaThesis.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/AdaoPM/02-A-DiplomaThesis.pdf}, st = {p}, project = {fiblog} } @techreport{amar:amatos:vv:lbl:02, author = {A. Ravara and A. {Almeida Matos} and V. T. Vasconcelos and L. Lopes}, institution = {Department of Computer Science, University of Lisbon}, address = {Campo Grande, Edifício C5, 1749-016 Lisboa, Portugal}, title = {A Lexically Scoped Distributed Pi-Calculus}, type = {Research Report}, year = {2002}, pdf = {http://www.di.fc.ul.pt/tech-reports/02-4.pdf}, st = {i}, proj = {mikado,mimo,profundis}, } @techreport{amar:pmr:vv:02, author = {A. Ravara and P. Resende and V. Vasconcelos}, title = {An Algebra of Behavioural Types}, type = {Preprint}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2002}, note = {Submitted for publication}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/02-RRV-abt.pdf}, st = {i}, proj = {mimo,profundis,t1}, } %%%%% 2001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{zan:acs:css:99, author = {A. Zanardo and A. Sernadas and C. Sernadas}, title = {Fibring: Completeness preservation}, journal = {Journal of Symbolic Logic}, volume = {66}, number = {1}, pages = {414-439}, year = {2001}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.pdf}, st = {p}, proj = {fiblog,acl,logcomp}, } @article{pmat:ap:pin:acs:css:00, author = {P. Mateus and A. Pacheco and J. Pinto and A. Sernadas and C. Sernadas}, title = {Probabilistic Situation Calculus}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {2001}, volume = {32}, number = {1/4}, pages = {393-431}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-MPPSS-psc.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-MPPSS-psc.pdf}, st = {p}, proj = {problog,logcomp}, } @article{fmoura:01, author = {F. Moura}, title = {Four dimensional $\mathcal{N}=1$ supersymmetrization of $\mathcal{R}^4$ in superspace}, journal = {Journal of High Energy Physics}, volume = {09}, pages = {26-55}, year = {2001}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MouraF/01-M-hepth0106023.pdf}, st = {p}, proj = {t5}, } @incollection{ccal:pmat:jabr:acs:01, author = {C. Caleiro and P. Mateus and J. Ramos and A. Sernadas}, title = {Combining logics: Parchments revisited}, editor = {M. Cerioli and G. Reggio}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2267}, pages = {48-70}, year = {2001}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-CMRS-fiblog9.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-CMRS-fiblog9.pdf}, st = {p}, proj = {fiblog}, } @incollection{mpg:css:98, author = {P. Gouveia and C. Sernadas}, title = {Abductive reasoning over temporal specifications of objects}, booktitle = {Advances in Modal Logic 2}, editor = {M. Zakharyaschev and K. Segerberg and M. de Rijke and H. Wansing}, publisher = {CSLI Publications}, series = {CSLI Lecture Notes}, volume = {119}, year = {2001}, pages = {275-300}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/98-GS-artso.ps}, st = {p}, proj = {acl,logcomp}, } @incollection{mlc:moo:00, author = {M. L. Campagnolo and C. Moore}, title = {Upper and lower bounds on continuous-time computation}, booktitle = {2nd International Conference on Unconventional Models of Computation - UMC'2K}, editor = {I. Antoniou and C. Calude and M. Dinneen}, year = {2001}, pages = {135-153}, publisher = {Springer-Verlag}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/00-CM-umc.ps}, st = {p}, proj = {contcomp}, } @inproceedings{ccal:jmarcos:01, author = {C. Caleiro and J. Marcos}, title = {Non-truth-functional fibred semantics}, booktitle = {Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)}, editor = {H. R. Arabnia}, publisher = {CSREA Press, Athens GA, USA}, year = {2001}, volume = {II}, pages = {841-847}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/01-CM-fiblog10.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/01-CM-fiblog10.pdf}, st = {p}, proj = {fiblog}, } @phdthesis{mlc, author = {M. L. Campagnolo}, title = {Computational Complexity of Real Valued Recursive Functions and Analog Circuits}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, note = {Supervised by J. F. Costa and C. Moore}, year = {2001}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CampagnoloM/01-C-PhDThesis.ps}, st = {p}, proj = {contcomp}, } %%%%% 2000 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{csl:ab:mh:00, author = {C. Louren{\c{c}}o and A. Babloyantz and M. Hougardy}, title = {Pattern segmentation in a binary/analog world: {U}nsupervised learning versus memory storing}, journal = {Neural Networks}, year = {2000}, volume = {13}, pages = {71-89}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/00-LBH-nn.pdf}, st = {p}, } @article{mlc:moo:fgc:99a, author = {M. L. Campagnolo and C. Moore and J. F. Costa}, title = {Iteration, Inequalities, and Differentiability in Analog Computers}, journal = {Journal of Complexity}, year = {2000}, volume = {16}, number = {4}, pages = {642-660}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CostaJF/99-CMC-iter.ps}, st = {p}, proj = {contcomp}, } @article{hde:ccal:98, author = {H.-D. Ehrich and C. Caleiro}, title = {Specifying communication in distributed information systems}, journal = {Acta Informatica}, year = 2000, volume = {36}, pages = {591-616}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/98-EC-dis.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @article{pin:acs:css:pmat:99b, author = {J. Pinto and A. Sernadas and C. Sernadas and P. Mateus}, title = {Non-determinism and Uncertainty in the {S}ituation {C}alculus}, journal = {International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems}, volume = 8, number = 2, pages = {127-149}, year = 2000, note = {Full version of \cite{pin:acs:css:pmat:99a}}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-PSSM-probscx.ps}, st = {p}, proj = {problog,acl,logcomp}, } @article{acs:00, author = {A. Sernadas}, title = {Book {R}eview -- {F}ibring {L}ogics by {D}ov {M}. {G}abbay}, journal = {Journal of Logic, Language, and Information}, volume = 9, number = 4, year = 2000, pages = {511-513}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-S-revDG.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @incollection{pmat:acs:css:99b, author = {P. Mateus and A. Sernadas and C. Sernadas}, title = {Realization of Probabilistic Automata: Categorical Approach}, editor = {Didier Bert and Christine Choppy}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1827}, pages = {237-251}, year = {2000}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-MSS-probreal.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-MSS-probreal.pdf}, st = {p}, proj = {problog,acl,logcomp}, } @incollection{hlouren:acs:99b, author = {H. Louren{\c{c}}o and A. Sernadas}, title = {An Institution of Hybrid Systems}, editor = {Didier Bert and Christine Choppy}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1827}, pages = {219-236}, year = {2000}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-LS-hybint.ps}, st = {p}, proj = {problog,acl,logcomp}, } @incollection{amar:vv:00a, author = {A. Ravara and V. Vasconcelos}, title = {Typing Non-Uniform Concurrent Objects}, editor = {C. Palamidessi}, booktitle = {CONCUR'00}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1877}, year = {2000}, pages = {474-488}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/99-RV-tco.ps}, st = {p}, proj = {acl,logcomp}, note = {Short version of \cite{amar:vv:00b}}, } @incollection{acs:css:ccal:mos:98, author = {A. Sernadas and C. Sernadas and C. Caleiro and T. Mossakowski}, title = {Categorial Fibring of Logics with Terms and Binding Operators}, booktitle = {Frontiers of Combining Systems 2}, editor = {D. Gabbay and Rijke, M. de}, publisher = {Research Studies Press}, year = 2000, pages = {295-316}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-SSCM-fiblog2.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @incollection{janc:coq:00a, author = {J. Cederquist and T. Coquand}, title = {Entailment Relations and Distributive Lattices}, booktitle = {Logic Colloquium 1998, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic}, series = {Lecture Notes in Logic}, volume = {13}, editor = {S. R. Buss and P. H\'ajek and P. Pudl\'ak}, publisher = {Association for Symbolic Logic}, address = {Ltd, Natick, Massachusetts}, pages = {127--139}, year = {2000}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/00-CC-entailment.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/00-CC-entailment.ps}, st = {p}, proj = {t1}, } @inproceedings{mlc:moo:fgc:99b, author = {M. L. Campagnolo and C. Moore and J. F. Costa}, title = {An Analog Characterization of the Subrecursive Functions}, booktitle = {Proc. 4th Conference on Real Numbers and Computers}, editor = {P. Kornerup}, publisher = {Odense University Press}, year = 2000, pages = {91-109}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CostaJF/00-CMC-linear.ps}, st = {p}, proj = {contcomp}, } @techreport{mconiglio:mar:acs:css:00, author = {M. E. Coniglio and A. T. Martins and A. Sernadas and C. Sernadas}, title = {Fibring (Para)consistent Logics}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2000}, note = {Extended abstract. Presented at II World Congress on Paraconsistency - WCP'00}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-CMSS-fiblog6.ps}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-CMSS-fiblog6.pdf}, st = {c}, proj = {fiblog,logcomp}, } @techreport{uwe:amar:00, author = {U. Nestmann and A. Ravara}, title = {What's TyCO, after all?}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {2000}, note = {Short abstract. Presented at {Express}'00, satellite event of {CONCUR}'00}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/00-NR-tyco-short.ps}, st = {c}, proj = {logcomp}, } @techreport{janc:gia:00b, author = {J. Cederquist and P. Giambiagi}, title = {Implementations that Preserve Confidentiality (Extended Abstract)}, institution = {SQIG - IT}, address = {1049-001 Lisboa, Portugal}, note = {Short presentation at Logic in Computer Science 2000 (LICS'00), Santa Barbara, California}, year = {2000}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/00-CG-confidentiality.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/00-CG-confidentiality.ps}, st = {c}, } @techreport{amar:vv:00b, address = {1049-001 Lisboa, Portugal}, author = {A. Ravara and V. Vasconcelos}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, note = {Extended version of \cite{amar:vv:00a}}, title = {Typing Non-Uniform Concurrent Objects}, type = {Research Report}, year = {2000}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/00-RV-typco.ps}, st = {i}, proj = {acl,logcomp}, } @phdthesis{jabr:00, author = {J. Ramos}, title = {The Situation and State Calculus: Specification and Verification}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 2000, note = {Supervised by A. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/00-R-PhDthesis.ps}, dvi = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/00-R-PhDthesis.dvi}, st = {p}, proj = {problog,logcomp,sitcalc}, } @phdthesis{amar:00, author = {A. Ravara}, title = {Typing Non-Uniform Concurrent Objects}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, note = {Supervised by V. Vasconcelos and A. Sernadas}, year = 2000, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/00-R-PhDthesis.ps}, dvi = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/00-R-PhDthesis.dvi}, st = {p}, proj = {logcomp}, } @phdthesis{ccal:00, author = {C. Caleiro}, title = {Combining Logics}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, note = {Supervised by A. Sernadas}, year = 2000, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/00-C-PhDthesis.ps}, dvi = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/00-C-PhDthesis.dvi}, st = {p}, proj = {fiblog,acl,logcomp}, } @phdthesis{pmat:00, author = {P. Mateus}, title = {Interconnection of Probabilistic Systems}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, note = {Supervised by A. Sernadas and C. Sernadas}, year = 2000, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/00-M-PhDthesis.ps}, dvi = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/00-M-PhDthesis.dvi}, st = {p}, proj = {problog,acl,logcomp}, } %%%%% 1999 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{jcc:acs:css:fmd:ccal:99, author = {J. Carmo and A. Sernadas and C. Sernadas and F. M. Dion{\'\i}sio and C. Caleiro}, title = {Introdu{\c c\~a}o \`a Programa{\c c\~a}o em {Mathematica} (Introduction to Programming in {Mathematica})}, publisher = {IST Press}, year = 1999, st = {p}, } @article{acs:css:ccal:98a, author = {A. Sernadas and C. Sernadas and C. Caleiro}, title = {Fibring of Logics as a Categorial Construction}, journal = {Journal of Logic and Computation}, volume = 9, number = 2, pages = {149-179}, year = 1999, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-SSC-fiblog.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @article{vv:amar:99, author = {V. Vasconcelos and A. Ravara}, title = {Comunication Errors in the Pi-Calculus are Undecidable}, journal = {Information Processing Letters}, year = 1999, volume = 71, pages = {229-233}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/99-VR-errors.pdf}, st = {p}, proj = {acl,logcomp}, } @article{pmat:acs:css:99a, author = {P. Mateus and A. Sernadas and C. Sernadas}, title = {Precategories for Combining Probabilistic Automata}, journal = {Electronic Notes in Theoretical Computer Science}, volume = 29, year = 1999, note = {Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, 1999}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-MSS-precat1.ps}, st = {p}, proj = {acl,problog,logcomp}, } @incollection{ccal:css:acs:98, author = {C. Caleiro and C. Sernadas and A. Sernadas}, title = {Parameterisation of Logics}, editor= {J. Fiadeiro}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {48-62}, year = 1999, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-CSS-paramlog.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @incollection{jabr:acs:98, author = {J. Ramos and A. Sernadas}, title = {The situation and state calculus versus branching temporal logic}, editor= {J. Fiadeiro}, booktitle = {Recent Trends in Algebraic Development Techniques - Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {293-309}, year = 1999, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-RS-sscbtl.ps}, st = {p}, proj = {problog,acl,sitcalc,logcomp}, } @incollection{amar:uwe:99, author = "U. Nestmann and A. Ravara", title = "Semantics of objects as processes ({SOAP})", booktitle = "Object-Oriented Technology -- ECOOP'99 Workshop Reader", volume = "1743", year = "1999", pages = "314-325", publisher = "Springer-Verlag", series = {Lecture Notes in Computer Science}, note = {An introduction to, and summary of, the 2nd International {SOAP Workshop}}, st = {p}, proj = {acl,logcomp}, } @inproceedings{pin:acs:css:pmat:99a, author = {J. Pinto and A. Sernadas and C. Sernadas and P. Mateus}, title = {Non-determinism and Uncertainty in the {S}ituation {C}alculus}, note = {Short version of \cite{pin:acs:css:pmat:99b}}, booktitle = {Proceedings of the FLAIRS'99 - the 12th International Florida AI Research Symposium}, year = 1999, editor= {A. Kumar and I. Russell}, pages= {454-460}, publisher = {AAAI Press}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-PSSM-probsc.ps}, st = {p}, proj = {acl,sitcalc,problog,logcomp}, } @proceedings{hut:kle:nes:amar:99, title = "Proceedings of the Workshop on Semantics of Objects as Processes {SOAP}'99", year = "1999", editor = "H. H{\"u}ttel and J. Kleist and U. Nestmann and A. Ravara", volume = "NS-99-2", url = "http://www.brics.dk/NS/99/2/", series = "BRICS Notes Series", publisher = "Danish Institute of Basic Research in Computer Science", note = {Lisbon, Portugal, June 15, 1999}, st = {p}, proj = {acl,logcomp}, } @TechReport{amar:lop:99, author = {A. Ravara and L. Lopes}, title = {Programming and Implementation Issues in Non-Unifom TyCO}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1999, note = {Presented at OOSDS'99 (Satellite Event of ICFP'99), Paris}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/99-RL-am.ps}, st = {c}, proj = {acl,logcomp}, } @techreport{hlouren:acs:99a, author = {H. Louren{\c{c}}o and A. Sernadas}, title = {Combining Hybrid Systems}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = {1999}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-LS-combhs.ps}, st = {i}, proj = {problog,acl,logcomp}, } @techreport{ccal:css:acs:99, author = {C. Caleiro and C. Sernadas and A. Sernadas}, title = {Mechanisms for combining logics}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1999, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/99-CSS-comblog.ps}, st = {i}, proj = {fiblog,acl,logcomp}, } @phdthesis{aslg:99, author = {S. Guerra}, title = {Defaults in the Specification of Reactive Systems}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1999, note = {Supervised by M. Ryan and A. Sernadas}, st = {p}, proj = {acl,logcomp}, } @mastersthesis{sandra:99, author = {S. Martins}, title = {Estruturas L\'ogicas Proposicionais Mon\'otonas e N\~ao Mon\'otonas ({M}onotonic and Non Monotonic Propositional Logic Structures)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1999, note = {Supervised by F. M. Dion{\'\i}sio}, st = {p}, proj = {acl,logcomp}, } %%%%% 1998 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{acs:css:ccal:98b, author = {A. Sernadas and C. Sernadas and C. Caleiro}, title = {Denotational Semantics of Object Specification}, journal = {Acta Informatica}, volume = 35, year = 1998, pages = {729-773}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-SSC-osli2.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @article{blauth:acs:fgc:98, author = {P. B. Menezes and A. Sernadas and J. F. Costa}, title = {Nonsequential Automata Semantics for a Concurrent Object-Based Language}, journal = {Electronic Notes in Theoretical Computer Science}, volume = 14, year = 1998, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-MSC-nautilus.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @incollection{fmd:ul:98, author = {F. M. Dion{\'\i}sio and U. Lipeck}, title = {Specifying with Defaults: Compositional Semantics}, booktitle = {Recent Trends in Data Type Specification}, editor = {Francesco Parisi Presicce}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1998, pages = {206-222}, volume = {1376}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/97-DL-SDCS.ps}, st = {p}, } @incollection{ehr:ccal:acs:den:98, author = {H.-D. Ehrich and C. Caleiro and A. Sernadas and G. Denker}, title = {Logics for Specifying Concurrent Information Systems}, booktitle = {Logic for Databases and Information Systems}, editor = {J. Chomicki and G. Saake}, publisher = {Kluwer Academic Publishers}, year = 1998, pages = {167-198}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/97-ECSD-dtl.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @incollection{con:jabr:saa:css:98, author = {S. Conrad and J. Ramos and G. Saake and C. Sernadas}, title = {Evolving Logical Specification in Information Systems}, booktitle = {Logic for Databases and Information Systems}, editor = {J. Chomicki and G. Saake}, publisher = {Kluwer Academic Publishers}, pages = {199-228}, year = 1998, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/98-CRSS-evol.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @incollection{janc:98b, author = {J. Cederquist}, title = {An Implementation of the Heine-Borel Covering Theorem in Type Theory}, booktitle = {TYPES '96: Selected papers from the International Workshop on Types for Proofs and Programs}, editor = {Eduardo Gim{\'e}nez and Christine Paulin-Mohring}, series = {Lecture Notes in Computer Science}, volume = {1512}, year = {1998}, pages = {46--65}, publisher = {Springer-Verlag}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/98-C-heineborel.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/98-C-heineborel.ps}, st = {p}, } @inproceedings{janc:coq:neg:98a, author = {J. Cederquist and T. Coquand and S. Negri}, title = {The Hahn-Banach theorem in type theory}, editor = {G. Sambin and J. Smith}, booktitle = {Proceedings of Twenty-Five Years of Constructive Type Theory}, publisher = {Oxford University Press}, year = {1998}, pages = {57--72}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/98-CCN-hahnbanach.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/98-CCN-hahnbanach.ps}, st = {p}, } @inproceedings{fmd:sb:mdr:ul:98, author = {F. M. Dion{\'\i}sio and S. Brass and M. Ryan and U. Lipeck}, title = {Hypothetical Reasoning with Defaults}, booktitle = {Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning}, editor = {I. Niemel{\"a} and T. Schaub}, publisher = {Helsinki University of Technology}, year = 1998, pages = {9-15}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/98-DBRL-hrd.ps}, st = {p}, } @INPROCEEDINGS{amar:pmr:vv:98, author = {A. Ravara and P. Resende and V. Vasconcelos}, title = {Towards an algebra of dynamic object types}, booktitle = {{ICALP}'98 workshop Semantics of Objects as Processes}, publisher = {{BRICS} Note Series}, year = 1998, ps = {http://wslc.math.ist.utl.pt/ftp/pub/ResendeP/98-RRV-tota.ps}, st = {p}, proj = {acl,logcomp}, } @techreport{hlouren:acs:css:98, author = {H. Louren{\c{c}}o and A. Sernadas and C. Sernadas}, title = {Aggregation and Interconnection of Hybrid Automata: Categorial Characterization}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1998, note = {Presented at FIREworks Meeting, Magdeburg, May 15-16}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/98-LSS-hyblog.ps}, st = {c}, proj = {acl,problog,logcomp}, } @techreport{mlc:moo:fgc:98, address = {1700 Lisboa, Portugal}, author = {M. L. Campagnolo and C. Moore and J. F. Costa}, institution = {FCUL}, title = {Analog computers and the iteration functional}, type = {Research Report}, year = {1998}, number = {TR-98-10}, pdf = {http://www.di.fc.ul.pt/biblioteca/tech-reports/98-10.pdf}, st = {i}, proj = {contcomp}, } @phdthesis{pmr:98, author = {P. Resende}, title = {Tropological Systems and Observational Logic in Concurrency and Specification}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1998, note = {Supervised by A. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/ResendeP/97-R-PhDThesis.ps}, st = {p}, proj = {acl,logcomp}, } @phdthesis{mpg:98, author = {P. Gouveia}, title = {Racioc\'\i nio Abdutivo sobre Especifica\c c\~oes Temporais de Objectos ({A}bductive Reasoning over Temporal Specifications of Objects)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1998, note = {Supervised by C. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/97-G-PhDThesis/resumo.ps}, ps1 = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/97-G-PhDThesis/capa.ps}, ps2 = {http://wslc.math.ist.utl.pt/ftp/pub/GouveiaP/97-G-PhDThesis/corpo.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @mastersthesis{aln:98, author = {A. L. Nunes}, title = {Temporaliza\c c\~ao de L\'ogicas ({T}emporalisation of Logics)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1998, note = {Supervised by C. Sernadas}, st = {p}, proj = {acl,logcomp}, } @techreport{slp:98, author = {S. Pacheco}, title = {Situation {C}alculus in {COQ}}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1998, note = {Diploma thesis. Supervised by A. Sernadas and J. Ramos}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/other/98-PachecoS-DiplomaThesis/maintext.ps}, ps1 = {http://wslc.math.ist.utl.pt/ftp/pub/other/98-PachecoS-DiplomaThesis/appendixA.ps}, ps2 = {http://wslc.math.ist.utl.pt/ftp/pub/other/98-PachecoS-DiplomaThesis/appendixB.ps}, st = {p}, proj = {sitcalc,logcomp,acl}, } @techreport{asmc:98, author = {A. Carvalho}, title = {Category Theory in {COQ}}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1998, note = {Diploma thesis. Supervised by A. Sernadas and P. Mateus}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CarvalhoA/98-C-DiplomaThesis/maintext.ps}, ps1 = {http://wslc.math.ist.utl.pt/ftp/pub/CarvalhoA/98-C-DiplomaThesis/appendixA.ps}, ps2 = {http://wslc.math.ist.utl.pt/ftp/pub/CarvalhoA/98-C-DiplomaThesis/appendixB.ps}, st = {p}, proj = {acl,logcomp}, } @techreport{nalp:98, author = {N. Paiva}, title = {Temporal logic in {COQ}}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1998, note = {Diploma thesis. Supervised by A. Sernadas and C. Caleiro}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/other/98-PaivaN-DiplomaThesis/maintext.ps}, ps1 = {http://wslc.math.ist.utl.pt/ftp/pub/other/98-PaivaN-DiplomaThesis/appendixA.ps}, st = {p}, proj = {sitcalc,logcomp,acl}, } %%%%% 1997 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{acs:css:ccal:97a, author = {A. Sernadas and C. Sernadas and C. Caleiro}, title = {Synchronization of Logics}, journal = {Studia Logica}, volume = 59, number = 2, year = 1997, pages = {217-247}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/96-SSC-synclog.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @incollection{acs:css:ccal:97b, author = {A. Sernadas and C. Sernadas and C. Caleiro}, title = {Synchronization of Logics with Mixed Rules: Completeness Preservation}, booktitle = {Algebraic Methodology and Software Technology}, editor = {M. Johnson}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1997, volume = {1349}, pages = {465-478}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/97-SSC-synclogII.ps}, st = {p}, proj = {fiblog,acl,logcomp}, } @incollection{den:jabr:ccal:acs:97, author = {G. Denker and J. Ramos and C. Caleiro and A. Sernadas}, title = {A Linear Temporal Logic Approach to Objects with Transactions}, booktitle = {Algebraic Methodology and Software Technology}, editor = {M. Johnson}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1997, volume = {1349}, pages = {170-184}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/97-DRCS-tosl.ps}, st = {p}, proj = {sitcalc,acl,logcomp}, } @incollection{amar:vv:97, author = {A. Ravara and V. Vasconcelos}, title = {Behavioural types for a calculus of concurrent objects}, booktitle = {3rd International Euro-Par Conference}, editor = {C. Lengauer and M. Griebl and S. Gorlatch}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, pages = {554-561}, year = 1997, volume = {1300}, note = "Full version available as DM-IST Research Report 06/97", ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/97-RV-short_bevtypes.ps}, st = {p}, proj = {acl,logcomp}, } @inproceedings{jabr:97a, author = {J. Ramos}, title = {The Situation and State Calculus}, editor = {A. Drewery and G.-J. Kruijff and R. Zuber}, booktitle = {Proceedings of the Second ESSLII Student Session}, year = 1997, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/97-R-ssc.ps}, st = {p}, proj = {sitcalc}, } @inproceedings{mlc:cae:97, author = {M. L. Campagnolo and M. Caetano}, title = {Expert maps: an alternative for integrating expert knowledge in satellite imagery classification}, editor = {T. I. Stein}, booktitle = {Proceedings of the 1997 International Geoscience and Remote Sensing Symposium}, publisher = {IEEE}, volume = 2, year = 1997, pages = {680-682}, st = {p}, } @techreport{mlc:fgc:97, author = {M. L. Campagnolo and J. F. Costa}, title = {From recursive to {R}-recursive functions}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, type = {Research Report}, year = {1997}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CostaJF/97-CC-from.ps}, st = {i}, proj = {contcomp}, } @phdthesis{fmd:97, author = {F. M. Dion{\'\i}sio}, title = {Composition of Hierarchic Default Specifications}, school = {University of Hannover, Germany}, year = 1997, note = {Supervised by U. Lipeck}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/97-D-phd.ps}, st = {p}, } @phdthesis{blauth:97, author = {P. B. Menezes}, title = {Reifica\c c\~ao de Objectos Concorrentes ({R}eification of Concurrent Objects)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1997, note = {Supervised by A. Sernadas}, st = {p}, } @mastersthesis{san:97, author = {J. Esp{\'\i}rito-Santo}, title = {Chu e {G}alois: Polaridade, Conex{\~{a}}o e Adjun\c c{\~{a}}o ({C}hu and {G}alois: Polarity, Connection and Adjunction)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1997, note = {Supervised by C. Sernadas}, st = {p}, } @mastersthesis{mjpc:97, author = {M. J. Coutinho}, title = {Estudo Categorial do Relacionamento entre L\'ogicas ({A} Categorial Study of Relationships between Logics)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1997, note = {Supervised by C. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CoutinhoMJ/97-C-MScThesis.ps}, st = {p}, proj = {acl}, } @techreport{pmat:97, author = {P. Mateus}, title = {Categorial Results in Compositional Model Checking}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1997, note = {Diploma thesis. Supervised by A. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/MateusP/97-M-DiplomaThesis.ps}, st = {p}, } %%%%% 1996 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{csl:ab:96, author = {C. Louren{\c{c}}o and A. Babloyantz}, title = {Control of spatiotemporal chaos in neuronal networks}, journal = {International Journal of Neural Systems}, year = {1996}, volume = {7}, pages = {507-517}, st = {p}, } @article{ab:csl:96, author = {A. Babloyantz and C. Louren{\c{c}}o}, title = {Brain chaos and computation}, journal = {International Journal of Neural Systems}, year = {1996}, volume = {7}, pages = {461-471}, st = {p}, } @article{ccal:saa:acs:96, author = {C. Caleiro and G. Saake and A. Sernadas}, title = {Deriving Liveness Goals from Temporal Logic Specifications}, journal = {Journal of Symbolic Computation}, volume = 22, pages = {521-553}, year = 1996, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-CSS-gdos.ps}, st = {p}, proj = {sitcalc}, } @article{acs:css:jabr:96, author = {A. Sernadas and C. Sernadas and J. Ramos}, title = {A Temporal Logic Approach to Object Certification}, journal = {Data and Knowledge Engineering}, volume = 19, year = 1996, pages = {267-294}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-SSR-cert2.ps}, st = {p}, proj = {sitcalc}, } @article{jun:saa:har:css:95, author = {R. Jungclaus and G. Saake and T. Hartmann and C. Sernadas}, title = {{\sc Troll}: A language for object-oriented specification of information systems}, journal = {ACM Transactions on Information Systems}, volume = 14, number = 2, year = 1996, pages = {175-211}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/96-JSHS-troll.ps}, st = {p}, } @incollection{blauth:fgc:acs:96, author = {P. B. Menezes and J. F. Costa and A. Sernadas}, title = {Refinement Mapping for (Discrete Event) System Theory}, booktitle = {Computer Aided System Technology, {EUROCAST'95}}, editor = {F. Pichler and R. Moreno Diaz and R. Albrecht}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1996, pages = {103-116}, volume = {1030}, st = {p}, } @inproceedings{and:acs:96, author = {L. Andrade and A. Sernadas}, title = {Banking and management information system automation}, booktitle = {Proc. 13th World Congress of International Federation of Automatic Control}, editor = {J. Gertler and J. Cruz and M. Peshkin}, publisher = {IFAC}, year = 1996, pages = {133-138}, st = {p}, } @INPROCEEDINGS{amar:vv:96, author = "A. Ravara and V. Vasconcelos", title = "Operational semantics and type system for {G}nome on {TY}ped {C}oncurrent {O}bjects", booktitle = "Special Issues in Object-Oriented Programming", editor = "Max M{\"{u}}hlh{\"{a}}user", publisher = "Dpunkt Verlag", note = "Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP'96). Available as Research Report DM-IST 17/96", year = 1996, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/96-RV-ostas.ps}, st = {p}, } @inproceedings{blauth:acs:fgc:96, author = {P. B. Menezes and A. Sernadas and J. F. Costa}, title = {Refinement in a Concurrent Object-base Language}, booktitle = {Proceedings of the First Brazilian Symposium on Programming Languages}, editor = {R. Bigonha}, publisher = {Sociedade Brazileira de {Computa\c c\~ao}}, year = 1996, pages = {237-250}, st = {n}, } @phdthesis{csl:96, author = {C. Louren{\c{c}}o}, title = {Control of Chaos and Information Processing in Neuronal Networks}, school = {Universit{\'{e}} Libre de Bruxelles}, year = {1996}, note = {Supervised by A. Babloyantz}, st = {p}, } @phdthesis{san:96, author = {D. Santos}, title = {Tense and Aspect in English and Portuguese: A Contrastive Semantical Study}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1996, note = {Supervised by L. Carlson and A. Sernadas}, st = {p}, } @phdthesis{janc:97, author = {J. Cederquist}, title = {A Pointfree Approach to Constructive Analysis in Type Theory}, school = {Chalmers University of Technology and University of G\"{o}teborg, Sweden}, year = {1997}, note = {Supervised by J. Smith}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/97-C-PhDthesis.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/97-C-PhDthesis.ps}, } @mastersthesis{amar:96, author = {A. Ravara}, title = {Sem\^antica da Linguagem {G}nome em {T}y{CO} ({S}emantics of {G}nome over {T}y{CO})}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1996, note = {Supervised by A. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RavaraA/96-R-MScThesis.ps}, st = {p}, } @mastersthesis{jfcg:96, author = {J. Gomes}, title = {L\'ogica Temporal de Objectos com Tempo Expl\'{\i}cito ({T}emporal Object Logic with Explicit Time)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1996, note = {Supervised by C. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/GomesJ/96-G-MScThesis.ps}, st = {p}, } @mastersthesis{ccal:96, author = {C. Caleiro}, title = {Comunidades Distribu\'{\i}das de Objectos ({D}istributed Object Communities)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1996, note = {Supervised by A. Sernadas}, st = {p}, } @mastersthesis{jocc:96, author = {J. Carvalho}, note = {Supervised by C. Sernadas}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, title = {Completude em L\'ogicas Modais e Temporais ({C}ompleteness in Modal and Temporal Logics)} , year = {1996}, st = {p}, proj = {}, } %%%%% 1995 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{csl:mh:ab:95, author = {C. Louren{\c{c}}o and M. Hougardy and A. Babloyantz}, title = {Control of low-dimensional spatiotemporal chaos in {F}ourier space}, journal = {Physical Review~{E}}, year = {1995}, volume = {52}, pages = {1528-1532}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/LourencoC/95-LHB-pre.pdf}, st = {p}, } @article{ab:csl:jas:95, author = {A. Babloyantz and C. Louren{\c{c}}o and J.-A. Sepulchre}, title = {Control of chaos in delay differential equations, in a network of oscillators and in model cortex}, journal = {Physica~{D}}, year = {1995}, volume = {86}, pages = {274-283}, st = {p}, } @article{acs:css:fgc:95, author = {A. Sernadas and C. Sernadas and J. F. Costa}, title = {Object Specification Logic}, journal = {Journal of Logic and Computation}, volume = 5, number = 5, year = 1995, pages = {603-630}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-SSC-osl.ps}, st = {p}, } @article{fgc:acs:95, author = {J. F. Costa and A. Sernadas}, title = {Progress Assumption in Concurrent Systems}, journal = {Formal Aspects of Computing}, volume = 7, number = 1, year = 1995, pages = {18-36}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-CS-prog.ps}, st = {p}, } @incollection{janc:neg:95, author = {J. Cederquist and S. Negri}, title = {A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals}, booktitle = {3rd Int. Workshop on Types for Proofs and Programs (TYPES)}, editor = {S. Berardi and M. Coppo}, series = {Lecture Notes in Computer Science}, volume = {1158}, publisher = {Springer-Verlag}, pages = {62--75}, year = {1995}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/95-CN-heineborel.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/95-CN-heineborel.ps}, } @incollection{acs:css:val:95, author = {A. Sernadas and C. Sernadas and J. Valen{\c{c}}a}, title = {A Theory-based, Topological Notion of Institution}, booktitle = {Recent Trends in Data Type Specification}, editor = {E. Astesiano and G. Reggio and A. Tarlecki}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1995, pages = {420-436}, volume = {906}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/94-SSV-stopi.ps}, st = {p}, } @incollection{ehr:acs:95, author = {H.-D. Ehrich and A. Sernadas}, title = {Local specification of distributed families of sequential objects}, booktitle = {Recent Trends in Data Type Specification}, editor = {E. Astesiano and G. Reggio and A. Tarlecki}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1995, pages = {219-235}, volume = {906}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-ES-dfso.ps}, st = {p}, } @incollection{mlc:coe:cap:95, author = {M. L. Campagnolo and H. Coelho and J. Capelo}, title = {Knowledge based clustering of partially characterized objects}, booktitle = {Advances in Artificial Intelligence}, editor = {J. Wainer and A. Carvalho}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, year = 1995, pages = {161-170}, volume = {991}, st = {p}, } @incollection{mdr:acs:css:95, author = {M. Ryan and A. Sernadas and C. Sernadas}, title = {Adjunctions between default frameworks}, booktitle = {IS-CORE'94 - Selected papers}, editor = {R. Wieringa and R. Feenstra}, publisher = {World Scientific Publishers}, year = 1995, pages = {155-172}, st = {p}, } @incollection{saa:acs:css:95, author = {G. Saake and A. Sernadas and C. Sernadas}, title = {Evolving object specifications}, booktitle = {IS-CORE'94 - Selected papers}, editor = {R. Wieringa and R. Feenstra}, publisher = {World Scientific Publishers}, year = 1995, pages = {84-99}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-SSS-evolv.ps}, st = {p}, } @incollection{mpg:css:95b, author = {P. Gouveia and C. Sernadas}, title = {Introducing Explanations in temporal object specification}, booktitle = {IS-CORE'94 - Selected Papers}, editor = {R. Wieringa and R. Feenstra}, publisher = {World Scientific Publishers}, year = 1995, pages = {53-68}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/95-GS-ietos.ps}, st = {p}, } @incollection{ccal:95, author = {C. Caleiro}, title = {On the relationship between operational and denotational semantics of temporal logic specification of object behaviour}, booktitle = {IS-CORE'94 - Selected papers}, editor = {R. Wieringa and R. Feenstra}, publisher = {World Scientific Publishers}, pages = {69-83}, year = 1995, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/95-C-opden.ps}, st = {p}, } @incollection{fmd:lip:bra:95a, author = {F. M. Dion{\'\i}sio and U. Lipeck and S. Brass}, title = {Composition of Default Specifications}, booktitle = {IS-CORE'94 - Selected papers}, editor = {R. Wieringa and R. Feenstra}, publisher = {World Scientific Publishers}, year = 1995, pages = {207-221}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/94-DLB-CDS.ps}, st = {p}, } @inproceedings{mpg:css:95a, author = {P. Gouveia and C. Sernadas}, title = {Abduction in Temporal Object Specification Using Tableaux}, booktitle = {4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers}, editor = {P. Baumgartner and R. Hahnle and J. Possega}, publisher = {University of Koblenz}, year = 1995, pages = {43-48}, st = {p}, } @techreport{fmd:lip:bra:95b, author = {F. M. Dion{\'\i}sio and U. Lipeck and S. Brass}, title = {Composition and instantiation mechanisms for default theories}, type = {Research Report}, institution = {Institut fur Informatik, University of Hannover}, address = {Lange Laube 22, Hannover, Germany}, year = 1995, note = {Presented at the 2nd Dutch-German Workshop on Non-monotonic Reasoning Techniques and their Applications}, st = {c}, } @techreport{acs:css:95, author = {A. Sernadas and C. Sernadas}, title = {Theory Spaces}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1995, note = {Presented at 11th ADT Workshop}, st = {c}, } @techreport{jabr:acs:95, author = {J. Ramos and A. Sernadas}, title = {A Brief Introduction to {G}nome}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1995, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/95-RS-GnomeInt.ps}, st = {i}, } %%%%% 1994 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{ab:csl:94, author = {A. Babloyantz and C. Louren{\c{c}}o}, title = {Computation with chaos: {A} paradigm for cortical activity}, journal = {Proceedings of the National Academy of Sciences {U.S.A.}}, year = {1994}, volume = {91}, pages = {9027-9031}, st = {p}, } @article{csl:ab:94, author = {C. Louren{\c{c}}o and A. Babloyantz}, title = {Control of chaos in networks with delay: {A} model for synchronization of cortical tissue}, journal = {Neural Computation}, year = {1994}, volume = {6}, pages = {1141-1154}, st = {p}, } @article{fgc:acs:css:94, author = {J. F. Costa and A. Sernadas and C. Sernadas}, title = {Object Inheritance Beyond Subtyping}, journal = {Acta Informatica}, volume = 31, year = 1994, pages = {5-26}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/94-CSS-oibs.ps}, st = {p}, } @article{ccal:94, author = {C. Caleiro}, title = {Operational Semantics of Temporal Object Specification}, journal = {INESC Journal on Junior Activities in Science and Technology}, volume = 1, number = 1, year = 1994, pages = {7-35}, st = {n}, } @incollection{acs:fgc:css:94, author = {A. Sernadas and J. F. Costa and C. Sernadas}, title = {An Institution of Object Behaviour}, booktitle = {Recent Trends in Data Type Specification}, editor = {H. Ehrig and F. Orejas}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1994, pages = {337-350}, volume = {785}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/94-SCS-iob.ps}, st = {p}, } @incollection{ehr:jun:den:acs:94, author = {H.-D. Ehrich and R. Jungclaus and G. Denker and A. Sernadas}, title = {Object-Oriented Design of Information Systems: Theoretical Foundations}, booktitle = {Advances in Database Systems, Implementations and Applications}, editor = {J. Paredaens and L. Tenenbaum}, publisher = {Springer-Verlag}, year = 1994, pages = {201-218}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-EJDS-OOD.ps}, st = {p}, } @inproceedings{boh:acs:94, author = {K. B{\"o}hm and A. Sernadas}, title = {A Logic to Specify Real-time Object Behaviour}, booktitle = {Proceedings of the Fourth International Working Conference on Dynamic Modelling and Information Systems}, editor = {A. Verbraeck and H. Sol and P. Bots}, publisher = {Delft University Press}, year = 1994, pages = {53-69}, st = {p}, } @techreport{acs:css:94, author = {A. Sernadas and C. Sernadas}, title = {Object Certification}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1994, note = {Presented at DAISD Workshop 94}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/94-SS-cert.ps}, st = {c}, } @mastersthesis{jabr:94, author = {J. Ramos}, title = {L\'ogica de Certi\-fi\-ca\-\c c\~ao {G}nome ({G}nome Certification Logic)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1994, note = {Supervised by A. Sernadas}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap0.ps}, ps1 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap1.ps}, ps2 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap2.ps}, ps3 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap3.ps}, ps4 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap4.ps}, ps5 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap5.ps}, ps6 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap6.ps}, ps7 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap7.ps}, ps8 = {http://wslc.math.ist.utl.pt/ftp/pub/RamosJ/95-R-MScThesis/chap8.ps}, st = {p}, } @techreport{car:pen:94, author = {P. Carmo and P. Penedo}, title = {Compilador {G}nome ({G}nome Compiler)}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1994, note = {Diploma Thesis. Supervised by A. Sernadas}, st = {p}, } @techreport{janc:94, author = {J. Cederquist}, title = {A machine assisted formalization of pointfree topology in type theory}, institution = {Chalmers University of Technology and University of G\"{o}teborg, Sweden}, note = {Diploma thesis. Supervised by J. Smith}, year = {1994}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/94-C-Licthesis.pdf}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/CederquistJ/94-C-Licthesis.ps}, } %%%%% 1993 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{css:93, author = {C. Sernadas}, title = {Introdu\c c{\~{a}}o {\`{a}} Teoria da Computa\c c{\~{a}}o (An Introduction to Computing Theory)}, publisher = {Editorial Presen\c ca}, year = 1993, st = {p}, } @article{fgc:acs:93a, author = {J. F. Costa and A. Sernadas}, title = {A Categorial Framework of Process Interconnection}, journal = {The INESC Journal of Research and Development}, volume = 4, number = 1, year = 1993, pages = {81-93}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-CS-procint.ps}, st = {n}, } @article{fgc:acs:93b, author = {J. F. Costa and A. Sernadas}, title = {C\'alculo de Actividades e Transac\c c\~oes ({C}alculus of Activities and Transactions)}, journal = {Estudos de Economia}, volume = 13, number = 3, year = 1993, pages = {293-317}, note = {Men\c c\~ao Honrosa do Pr\'emio Cient{\'\i}fico IBM 1992}, st = {n}, } @incollection{fgc:acs:css:93, author = {J. F. Costa and A. Sernadas and C. Sernadas}, title = {Data Encapsulation and Modularity: Three Views of Inheritance}, booktitle = {Mathematical Foundations of Computer Science 93}, editor = {A. Borzyszkowski and S. Sokolowski}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {711}, year = 1993, pages = {382-391}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-CSS-3views.ps}, st = {p}, } @incollection{ehr:den:acs:93, author = {H.-D. Ehrich and G. Denker and A. Sernadas}, title = {Constructing Systems as Object Communities}, booktitle = {TAPSOFT 93: Theory and Practice of Software Development}, editor = {M.C. Gaudel and J.-P. Jouannaud}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1993, volume = {668}, pages = {453-467}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-EDS-construct.ps}, st = {p}, } @incollection{ehr:gog:acs:93, author = {H.-D. Ehrich and M. Gogolla and A. Sernadas}, title = {Objects and their Specification}, booktitle = {Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers}, editor = {M. Bidoit and C. Choppy}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {655}, year = 1993, pages = {40-65}, st = {p}, } @incollection{llf:fgc:acs:mai:93, author = {J. Fiadeiro and J. F. Costa and A. Sernadas and T. Maibaum}, title = {Process Semantics of Temporal Logic Specification}, booktitle = {Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers}, editor = {M. Bidoit and C. Choppy}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {655}, year = 1993, pages = {236-253}, st = {p}, } @inproceedings{mpg:css:jfcg:apo:93, author = {P. Gouveia and C. Sernadas and J. Gomes and J. Apolin{\'{a}}rio}, title = {Tableaux for Reasoning About Objects}, booktitle = {Theorem Proving with Analytic Tableaux and Related Methods}, editor = {D. Basin and R. Hahnle and B. Fronhofer and J. Possegge and C. Schwind}, publisher = {Max-Planck-Institut f{\"{u}}r Informatik}, year = 1993, pages = {113-125}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/93-GSGA-tfrab.ps}, st = {p}, } @inproceedings{boh:acs:93, author = {K. B{\"{o}}hm and A. Sernadas}, title = {Real-Time Object Specification Logic}, booktitle = {The Deductive Approach to Information Systems and Databases 93}, editor = {A. Oliv{\'{e}}}, publisher = {Universitat Polit{\`{e}}cnica de Catalunya}, year = 1993, pages = {159-174}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-BS-rtosl.ps}, st = {p}, } @inproceedings{fmd:bra:rya:93, author = {F. M. Dion{\'\i}sio and S. Brass and M. Ryan}, title = {Reasoning about extensions}, booktitle = {IS-CORE'93 - Proceedings}, editor = {U. Lipeck and G. Koschorreck}, publisher = {University of Hannover}, year = 1993, pages = {178-196}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/93-DBR-RE.ps}, st = {p}, } @inproceedings{mpg:css:93a, author = {P. Gouveia and C. Sernadas}, title = {Reasoning Aspects in Information Systems and Databases}, booktitle = {The Deductive Approach to Information Systems and Databases 93}, editor = {A. Oliv{\'{e}}}, publisher = {Universitat Polit{\`{e}}cnica de Catalunya}, year = 1993, pages = {201-224}, st = {p}, } @techreport{acs:css:93, author = {A. Sernadas and C. Sernadas}, title = {Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1993, note = {Presented at IS-CORE Workshop 93}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/93-SS-osli.ps}, st = {c}, } @mastersthesis{mpg:93, author = {P. Gouveia}, title = {Tableaux para Racioc\'\i nio Local sobre Objectos ({T}ableaux for Local Reasoning about Objects)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1993, note = {Supervised by C. Sernadas}, st = {p}, } @techreport{boh:93, author = {K. B{\"{o}}hm}, title = {Real-Time Object Specification Logic}, institution = {University of Darmstadt}, year = 1993, note = {Diploma thesis. Supervised by A. Sernadas}, st = {p}, } %%%%% 1992 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{css:mpg:acs:92a, author = {C. Sernadas and P. Gouveia and A. Sernadas}, title = {Refinement: Layered Definition of Conceptual Schemata}, booktitle = {Information System Concepts}, editor = {E. Falkenberg and C. Rolland and E. N. El-Sayed}, publisher = {North-Holland}, year = 1992, pages = {19-51}, st = {p}, } @incollection{css:mpg:jocg:acs:pmr:92, author = {C. Sernadas and P. Gouveia and J. Gouveia and A. Sernadas and P. Resende}, title = {The Reification Dimension in Object-Oriented Data Base Design}, booktitle = {Specification of Database Systems}, editor = {D. Harper and M. Norrie}, publisher = {Springer-Verlag}, year = 1992, pages = {275-299}, st = {p}, } @incollection{ehr:saa:acs:92, author = {H.-D. Ehrich and G. Saake and A. Sernadas}, title = {Concepts of Object Orientation}, booktitle = {Informationssysteme und K{\"{u}}nstliche Intelligenz}, editor = {R. Studer}, publisher = {Springer-Verlag}, year = 1992, pages = {1-17}, st = {p}, } @incollection{fgc:acs:css:ehr:92, author = {J. F. Costa and A. Sernadas and C. Sernadas and H.-D. Ehrich}, title = {Object Interaction}, booktitle = {Mathematical Foundations of Computer Science 92}, editor = {I. Havel and V. Koubek}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {629}, year = 1992, pages = {200-208}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/92-CSSE-obint.ps}, st = {p}, } @incollection{llf:css:mai:acs:92, author = {J. Fiadeiro and C. Sernadas and T. Maibaum and A. Sernadas}, title = {Describing and Structuring Objects for Conceptual Schema Development}, booktitle = {Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development}, editor = {P. Loucopoulos and R. Zicari}, publisher = {John Wiley}, year = 1992, pages = {117-138}, st = {p}, } @inproceedings{llf:acs:92, author = {J. Fiadeiro and A. Sernadas}, title = {Structuring Theories for Knowledge Representation}, booktitle = {Terceira Escola Avan\c cada em Intelig{\^{e}}ncia Artificial}, local = {Furnas, A\c cores}, editor = {J. Falc{\~{a}}o e Cunha}, publisher = {APPIA}, year = 1992, pages = {21-25}, st = {p}, } @inproceedings{ger:acs:llf:92, author = {G. Reichwein and A. Sernadas and J. Fiadeiro}, title = {Ensuring and Maintaining Quality Through Formal Object-Oriented Design}, booktitle = {Software Quality Principles and Techniques}, editor = {A. Bertolino and M. Fusani}, publisher = {ERCIM}, year = 1992, pages = {55-67}, st = {p}, } @techreport{acs:fgc:css:92, author = {A. Sernadas and J. F. Costa and C. Sernadas}, title = {Object specification with diagrams: {\sc Oblog} approach}, type = {Research Report}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, year = 1992, note = {In Portuguese. Awarded the Descartes Prize by the Data Processing Institute of the Ministry of Finances of Portugal}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/92-SCS-oblog.ps}, st = {n}, } @phdthesis{fgc:92, author = {J. F. Costa}, title = {Fundamentos Matem{\'{a}}ticos da Concorr{\^{e}}ncia ({M}athematical Foundations of Concurrency)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1992, note = {Supervised by A. Sernadas}, st = {p}, } @mastersthesis{mlc:92, author = {M. L. Campagnolo}, title = {Proposta de um M\'etodo para a Integra\c{c}\~ao de Conhecimento em Classifica\c{c}\~ao ({P}roposal of a method for integrating knowledge in classification)}, school = {ISEG, Universidade T\'ecnica de Lisboa}, year = 1992, note = {Supervised by H. Coelho}, st = {p}, } %%%%% 1991 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @proceedings{loh:acs:cam:91, editor = {G. Lohman and A. Sernadas and R. Camps}, title = {Proceedings of the Seventeenth International Conference on Very Large Data Bases}, publisher = {VLDB}, year = 1991, st = {p}, } @proceedings{saa:acs:91, editor = {G. Saake and A. Sernadas}, title = {Esprit BRA IS-CORE 91 Workshop - Selected Papers}, publisher = {TUBS}, year = 1991, st = {p}, } @article{jcc:acs:91, author = {J. Carmo and A. Sernadas}, title = {Formal Techniques for Systems Specification and Verification}, journal = {Information Systems}, volume = 16, number = 3, year = 1991, pages = {245-272}, st = {p}, } @article{li:acs:91, author = {R. Li and A. Sernadas}, title = {Reasoning About Objects Using Tableau Method}, journal = {Journal of Logic and Computation}, volume = 1, number = 5, year = 1991, pages = {575-611}, st = {p}, } @article{css:llf:91, author = {C. Sernadas and J. Fiadeiro}, title = {Towards Object-Oriented Conceptual Modeling}, journal = {Data and Knowledge Engineering}, volume = 6, number = 6, year = 1991, pages = {479-508}, st = {p}, } @incollection{acs:ehr:91, author = {A. Sernadas and H.-D. Ehrich}, title = {What is an Object, After All?}, booktitle = {Object Oriented Databases: Analysis, Design and Construction}, editor = {R. Meersman and W. Kent and S. Khosla}, publisher = {North-Holland}, year = 1991, pages = {39-69}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/91-SE-what.ps}, st = {p}, } @incollection{css:pmr:mpg:acs:91, author = {C. Sernadas and P. Resende and P. Gouveia and A. Sernadas}, title = {In-the-large Object-Oriented Design of Information Systems}, booktitle = {The Object-Oriented Approach in Information Systems}, editor = {F. Van Assche and B. Moulin and C. Rolland}, publisher = {North-Holland}, year = 1991, pages = {209-232}, st = {p}, } @incollection{jun:saa:css:91a, author = {R. Jungclaus and G. Saake and C. Sernadas}, title = {Using Active Objects for Query Processing}, booktitle = {Object Oriented Databases: Analysis, Design and Construction}, editor = {R. Meersman W. Kent and S. Khosla}, publisher = {North-Holland}, year = 1991, pages = {285-303}, st = {p}, } @incollection{jun:saa:css:91b, author = {R. Jungclaus and G. Saake and C. Sernadas}, title = {Formal Specification of Object Systems}, booktitle = {TAPSOFT 91: Theory and Practice of Software Development}, editor = {S. Abramski and T. Maibaum}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1991, pages = {60-82}, volume = {494}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/91-JSS-formal-spec.ps}, st = {p}, } @incollection{ehr:gog:acs:91, author = {H.-D. Ehrich and J. Goguen and A. Sernadas}, title = {A Categorial Theory of Objects as Observed Processes}, booktitle = {Foundations of Object-Oriented Languages}, editor = {J. de Bakker and W.-P de Roever and G. Rozenberg}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {489}, year = 1991, pages = {203-228}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/91-EGS-REX.pdf}, st = {p}, } @incollection{saa:jun:css:91, author = {G. Saake and R. Jungclaus and C. Sernadas}, title = {Abstract Data Type Semantics for Many-Sorted Object Query Algebra}, booktitle = {Mathematical Foundations of Data Base Systems}, editor = {B. Thalheim and J. Demetrovics and H.-B. Gerhardt}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1991, pages = {291-307}, volume = {495}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/91-SJS-adt.ps}, st = {p}, } @incollection{llf:css:mai:saa:91, author = {J. Fiadeiro and C. Sernadas and T. Maibaum and G. Saake}, title = {Proof-Theoretic Semantics of Object-Oriented Specification Constructs}, booktitle = {Object Oriented Databases: Analysis, Design and Construction}, editor = {R. Meersman W. Kent and S. Khosla}, publisher = {North-Holland}, year = 1991, pages = {243-284}, st = {p}, } @inproceedings{css:mpg:mal:91, author = {C. Sernadas and P. Gouveia and M. A. Lopes}, title = {Gentzen-type System for Verification in Conceptual Modeling}, booktitle = {Foundations of Models and Languages for Data and Objects}, editor = {J. G{\"{o}}ers and A. Heuer and G. Saake}, publisher = {TU Clausthal}, year = 1991, pages = {215-228}, st = {p}, } @mastersthesis{fmd:91, author = {F. M. Dion{\'\i}sio}, title = {Um Modelo e Submodelos Categoriais de Processos Concorrentes ({A} Categorial Model and Submodels of Concurrent Processes)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1991, note = {Supervised by A. Sernadas}, st = {p}, } @mastersthesis{pmr:91, author = {P. Resende}, title = {Tableaux para L{\'{o}}gica Din{\^{a}}mica Proposicional ({T}ableaux for Propositional Dynamic Logic)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1991, note = {Supervised by A. Sernadas}, st = {p}, } @mastersthesis{ars:91, author = {A. R. Silva}, title = {Serializa\c c{\~{a}}o e Paraleliza\c c{\~{a}}o ({S}erializability and Parallelization)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1991, note = {Supervised by C. Sernadas}, st = {p}, } %%%%% 1990 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{jcc:acs:90, author = {J. Carmo and A. Sernadas}, title = {Branching versus Linear Logics Yet Again}, journal = {Formal Aspects of Computing}, volume = 2, number = 1, year = 1990, pages = {24-59}, st = {p}, } @article{acs:ehr:fgc:90, author = {A. Sernadas and H.-D. Ehrich and J. F. Costa}, title = {From Processes to Objects}, journal = {The INESC Journal of Research and Development}, volume = 1, number = 1, year = 1990, pages = {7-27}, st = {n}, } @article{sou:css:acs:90, author = {J. Sousa and C. Sernadas and A. Sernadas}, title = {An object-oriented specification tool for graphical interfaces}, journal = {Computers and Graphics}, volume = 14, number = 1, year = 1990, pages = {29-40}, st = {p}, } @article{llf:acs:90, author = {J. Fiadeiro and A. Sernadas}, title = {Logics of Modal Terms for Systems Specification}, journal = {Journal of Logic and Computation}, volume = 1, number = 2, year = 1990, pages = {187-227}, st = {p}, } @article{css:llf:acs:90a, author = {C. Sernadas and J. Fiadeiro and A. Sernadas}, title = {Modular Construction of Logic Knowledge Bases: An Algebraic Approach}, journal = {Information Systems}, volume = 15, number = 1, year = 1990, pages = {37-59}, st = {p}, } @article{ehr:acs:css:90, author = {H.-D. Ehrich and A. Sernadas and C. Sernadas}, title = {From Data Types to Object Types}, journal = {Journal of Information Processing and Cybernetics EIK}, volume = 26, number = 1, year = 1990, pages = {33-48}, st = {p}, } @incollection{css:llf:acs:90b, author = {C. Sernadas and J. Fiadeiro and A. Sernadas}, title = {Object-Oriented Conceptual Modeling from Law}, booktitle = {The Role of Artificial Intelligence in Databases and Information Systems}, editor = {R. Meersman and Z. Shi and C.-H. Kung}, publisher = {North-Holland}, year = 1990, pages = {305-327}, st = {p}, } @incollection{ehr:acs:90, author = {H.-D. Ehrich and A. Sernadas}, title = {Algebraic Implementation of Objects over Objects}, booktitle = {Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness}, editor = {J. de Bakker and W.-P de Roever and G. Rozenberg}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {430}, year = 1990, pages = {239-266}, st = {p}, } @inproceedings{css:mpg:mlfs:mal:90, author = {C. Sernadas and P. Gouveia and L. Silva and M. A. Lopes}, title = {Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling}, booktitle = {The Deductive Approach to Information Systems and Databases 90}, publisher = {Universitat Polit{\`{e}}cnica de Catalunya}, year = 1990, pages = {93-110}, st = {p}, } @mastersthesis{fgc:90, author = {J. F. Costa}, title = {Teoria Alg{\'{e}}brica dos Processos Animados ({A}lgebraic Theory of Active Processes)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1990, note = {Supervised by A. Sernadas}, st = {p}, } %%%%% 1989 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @INCOLLECTION{acs:css:89, author = "A. Sernadas and C. Sernadas", title = "Abstraction and Inference Mechanisms for Knowledge Representation", booktitle = "Foundations of Knowledge-Base Management", editor = "J. Schmidt and C. Thanos", publisher = "Springer-Verlag", year = 1989, pages = "91-111", st = {p}, } @incollection{acs:llf:css:ehr:89a, author = {A. Sernadas and J. Fiadeiro and C. Sernadas and H.-D. Ehrich}, title = {The Basic Building Blocks of Information Systems}, booktitle = {Information Systems Concepts: An In-Depth Analysis}, editor = {E. Falkenberg and P. Lindgreen}, publisher = {North-Holland}, year = 1989, pages = {225-246}, st = {p}, } @incollection{acs:llf:css:ehr:89b, author = {A. Sernadas and J. Fiadeiro and C. Sernadas and H.-D. Ehrich}, title = {Abstract Object Types: A Temporal Perspective}, booktitle = {Temporal Logic in Specification}, editor = {B. Banieqbal and H. Barringer and A. Pnueli}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {398}, year = 1989, pages = {324-350}, st = {p}, } @incollection{css:llf:mee:acs:89, author = {C. Sernadas and J. Fiadeiro and R. Meersman and A. Sernadas}, title = {Proof-Theoretic Conceptual Modeling: The {NIAM} Case Study}, booktitle = {Information Systems Concepts: An In-Depth Analysis}, editor = {E. Falkenberg and P. Lindgreen}, publisher = {North-Holland}, year = 1989, pages = {1-30}, st = {p}, } @incollection{ehr:acs:css:89, author = {H.-D. Ehrich and A. Sernadas and C. Sernadas}, title = {Objects, Object Types and Object Identity}, booktitle = {Categorical Methods in Computer Science with Aspects from Topology}, editor = {H. Ehrig et al}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {393}, year = 1989, pages = {142-156}, st = {p}, } @incollection{jcc:acs:89, author = {J. Carmo and A. Sernadas}, title = {Inevitability in Branching Time}, booktitle = {Logic at Botik 89}, editor = {A. Meyer and M. Taitshin}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 1989, volume = {363}, pages = {41-62}, st = {p}, } @inproceedings{css:men:hes:san:mas:acs:89, author = {C. Sernadas and P. Mendes and A. Hespanha and F. Santos and S. Mascarenhas and A. Sernadas}, title = {An Object-Oriented Representation of the Dogmatics of Omission to Help in Criminal Law}, booktitle = {Computers, Logic and Law}, editor = {A. Martino}, publisher = {Istituto per la Documentazione Giuridica, Pisa, Italy}, year = 1989, pages = {781-809}, st = {p}, } @techreport{jcc:acs:89x, author = "J. Carmo and A. Sernadas", title = "A completeness result in a mixed branching-linear logic", institution = "Department of Mathematics, Instituto Superior T\'{e}cnico", address= "1049-001 Lisboa", year = 1989, note = "Presented at the {L}ogic {C}olloquium in {M}emory of {H}ugo {R}ibeiro", st = {c}, } @techreport{fgc:acs:css:89, address = {1049-001 Lisboa, Portugal}, author = {J. F. Costa and A. Sernadas and C. Sernadas}, institution = {Department of Mathematics, Instituto Superior T\'ecnico}, title = {{OBL}-89 Users Manual}, type = {Research Report}, year = {1989}, st = {i}, } @phdthesis{llf:89, author = {J. Fiadeiro}, title = {C{\'{a}}lculo de Objectos e Eventos ({A} Calculus for Reasoning with Objects and Events)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1989, note = {Supervised by A. Sernadas}, st = {p}, } %%%%% 1988 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @proceedings{mee:acs:88, editor = {R. Meersman and A. Sernadas}, title = {Data and Knowledge}, publisher = {North-Holland}, year = 1988, st = {p}, } @article{llf:acs:88b, author = {J. Fiadeiro and A. Sernadas}, title = {Specification and Verification of Database Dynamics}, journal = {Acta Informatica}, volume = 25, year = 1988, pages = {625-661}, st = {p}, } @incollection{llf:acs:88a, author = {J. Fiadeiro and A. Sernadas}, title = {Structuring Theories on Consequence}, booktitle = {Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types - Selected Papers}, editor = {D. Sannella and A. Tarlecki}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {332}, year = 1988, pages = {44-72}, st = {p}, } @incollection{llf:acs:88c, author = {J. Fiadeiro and A. Sernadas}, title = {Behavioural Aspects of Intelligent Knowledge-Based Information Systems}, booktitle = {Temporal Aspects in Information Systems}, editor = {C. Rolland and F. Bodart and M. Leonard}, publisher = {North-Holland}, year = 1988, pages = {77-92}, st = {p}, } @incollection{jcc:acs:88, author = {J. Carmo and A. Sernadas}, title = {A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification}, booktitle = {Temporal Aspects in Information Systems}, editor = {C. Rolland and F. Bodart and M. Leonard}, publisher = {North-Holland}, year = 1988, pages = {31-46}, st = {p}, } @incollection{car:and:acs:88, author = {R. Carapu{\c{c}}a and L. Andrade and A. Sernadas}, title = {A Database Design and Construction Workbench}, booktitle = {Computerized Assistance During the Information Systems Life Cycle}, editor = {T. Olle and A. Verrijn-Stuart and L. Bhabuta}, publisher = {North-Holland}, year = 1988, pages = {261-286}, st = {p}, } @incollection{llf:acs:css:88, author = {J. Fiadeiro and A. Sernadas and C. Sernadas}, title = {Knowledgebases as Structured Theories}, booktitle = {Foundations of Software Technology and Theoretical Computer Science}, editor = {K. Nori and S. Kumar}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {338}, year = 1988, pages = {469-486}, st = {p}, } @incollection{ehr:acs:css:88, author = {H.-D. Ehrich and A. Sernadas and C. Sernadas}, title = {Abstract Object Types for Databases}, booktitle = {Advances in Object-Oriented Database Systems}, editor = {K. Dittrich}, publisher = {Springer-Verlag}, year = 1988, pages = {144-149}, st = {p}, } @inproceedings{coe:gas:css:88, author = {H. Coelho and G. Gaspar and C. Sernadas}, title = {Societies of Knowledge Based Systems}, booktitle = {Proceedings of EuropIA}, publisher = {Hermes Editions}, year = 1988, st = {p}, } @phdthesis{jcc:88, author = {J. Carmo}, title = {L{\'{o}}gicas Temporais para a Especifica\c c{\~{a}}o e Verifica\c c{\~{a}}o de Sistemas de Informa\c c{\~{a}}o ({T}emporal Logics for Systems Specification and Verification)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1988, note = {Supervised by A. Sernadas}, st = {p}, } @phdthesis{car:88, author = {R. {Carapu{\c{c}}a}}, title = {Representa\c c{\~{a}}o em Bases de Dados de Bases de Conhecimento ({D}atabase Implementation of Knowledge Bases)}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = 1988, note = {Supervised by A. Sernadas}, st = {p}, } %%%%% 1987 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{acs:css:ehr:87, author = {A. Sernadas and C. Sernadas and H.-D. Ehrich}, title = {Object-oriented specification of databases: an algebraic approach}, booktitle = {Very Large Data Bases 87}, editor = {P. Hammersley}, publisher = {Morgan and Kaufmann}, year = 1987, pages = {107-116}, st = {p}, } @ARTICLE{css:coe:gas:87a, author = "C. Sernadas and H. Coelho and G. Gaspar", title = "Communicating Knowledge Systems: Part I - Big Talk Among Small Actors", journal = "Journal of Applied Artificial Intelligence", volume = 1, number = 3, year = 1987, pages = "233-260", st = {p} } @ARTICLE{css:coe:gas:87b, author = "C. Sernadas and H. Coelho and G. Gaspar", title = "Communicating Knowledge Systems: Part II - Big Talk Among Small Actors", journal = "Journal of Applied Artificial Intelligence", volume = 1, number = 3, year = 1987, pages = "315-335", st = {p} } @ARTICLE{css:car:87, author = "C. Sernadas and R. Carapu\c ca", title = "The Role of Conceptual Modeling Abstractions in Compiler Development", journal = "Computer Journal", volume = 30, number = 4, year = 1987, pages = "328-336", st = {p} } %%%%% 1986 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{llf:acs:86, author = {J. Fiadeiro and A. Sernadas}, title = {The Infolog linear tense logic of events and transactions}, journal = {Information Systems}, volume = 11, number = 1, year = 1986, pages = {61-85}, st = {p}, } @incollection{css:acs:86, author = {C. Sernadas and A. Sernadas}, title = {Conceptual modeling abstraction mechanisms as parameterized theories in institutions}, booktitle = {Database Semantics}, editor = {R. Meersman and T. Steel}, publisher = {North Holland}, year = 1986, pages = {121-140}, st = {p}, } %%%%% 1985 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @PROCEEDINGS{acs:bub:oli:85, editor = "A. Sernadas and J. Bubenko and A. Oliv{\`{e}}", title = "Theoretical and Formal Aspects of Information Systems", publisher = "North-Holland", year = 1985, st = {p}, } @article{coe:rod:acs:85, author = {H. Coelho and A. Rodrigues and A. Sernadas}, title = {Towards knowledge-based Infolog specifications}, journal = {Decision Support Systems}, volume = 1, number = 2, year = 1985, pages = {143-165}, st = {p}, } @INCOLLECTION{acs:css:85a, author = "A. Sernadas and C. Sernadas", title = "Conceptual modeling for knowledge-based {DSS} development", booktitle = "Decision Support Systems: Theory and Application", editor = "C. Holsapple and A. Winston", publisher = "Springer Verlag", year = 1985, pages = "91-135", st = {p}, } @INCOLLECTION{acs:css:85b, author = "A. Sernadas and C. Sernadas", title = "The use of {ER} abstractions for knowledge representation", booktitle = "Entity-relationship Approach", editor = "P. Chen", publisher = "IEEE CS Press / North Holland", year = 1985, pages = "224-231", st = {p}, } @INCOLLECTION{acs:css:85c, author = "A. Sernadas and C. Sernadas", title = "Capturing knowledge about the organization dynamics", booktitle = "Knowledge Representation for Decision Support Systems", editor = "L. Methlie and R. Sprague", publisher = "North Holland", year = 1985, pages = "255-267", st = {p}, } %%%%% 1984 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% 1983 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% 1982 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{acs:gas:gra:82, author = {A. Sernadas and G. Gaspar and J. Granado}, title = {Bips: a layered predicative query language for a {DBTG} database system}, booktitle = {Improving Database Usability and Responsiveness}, editor = {P. Scheuermann}, publisher = {Academic Press}, year = 1982, pages = {73-93}, st = {p}, } @INCOLLECTION{acs:82a, author = "A. Sernadas", title = "Information systems specification with {I}nfolog", booktitle = "Evolutionary Information Systems", editor = "J. Hawgood", publisher = "North Holland", year = 1982, pages = "141-157", st = {p}, } @ARTICLE{acs:82b, author = "A. Sernadas", title = "Introdu\c{c}\~{a}o aos Computadores e Programa\c{c}\~{a}o ({I}ntroduction to computers and programming)", journal = "Revista Portuguesa de Inform\'{a}tica", volume = 3, number = 2, year = 1982, pages = "35-43", st = {n}, } %%%%% 1981 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @ARTICLE{acs:81a, author = "A. Sernadas", title = "Systematics: Its syntax and semantics as a query language {II}", journal = "Computer Journal", volume = 24, number = 2, year = 1981, pages = "125-129", st = {p}, } @ARTICLE{acs:81b, author = "A. Sernadas", title = "Systematics: Its syntax and semantics as a query language {I}", journal = "Computer Journal", volume = 24, number = 1, year = 1981, pages = "56-61", st = {p}, } @proceedings{acs:81c, editor = {R. Tagg and et al}, title = {Query Language: A Unified Approach}, publisher = {Heyden and Son Ltd}, year = 1981, note = {A. Sernadas is one of the coeditors}, st = {p}, } %%%%% 1980 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @ARTICLE{acs:80a, author = "A. Sernadas", title = "Temporal aspects of logical procedure definition", journal = "Information Systems", volume = 5, number = 3, year = 1980, pages = "167-197", st = {p}, } @phdthesis{acs:80b, author = {A. Sernadas}, title = {Logical Procedure Definition for Information Systems Specification}, school = {London School of Economics, University of London}, year = {1980}, note = {Supervised by S. Waters}, st = {p}, } @phdthesis{css:80, author = {C. Sernadas}, title = {Multivariate Branching Processes}, school = {London School of Economics, University of London}, year = {1980}, note = {Supervised by D. Bartholomew}, st = {p}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% THESES IN PREPARATION %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @phdthesis{kroggia, author = {K. G. Roggia}, title = {Topic: Deduction Systems for Quantum Logic}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {in preparation. Expected submission: 2009}, note = {Supervised by C. Sernadas}, st = {w}, proj = {quantlog}, } @phdthesis{mgamboni, author = {M. Gamboni}, title = {Topic: Models and Proof Methods for Information Protection}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {in preparation. Expected submission: 2009}, note = {Supervised by A. Ravara}, st = {w}, proj = {sttypes}, } @phdthesis{lcam, author = {L. Camacho}, title = {Topic: Colorings of Knots versus Polynomial Invariants}, school = {Universidade da Madeira}, year = {in preparation. Expected submission: 2008}, note = {Supervised by F. M. Dion{\'\i}sio and P. Lopes}, st = {w}, proj = {}, } @phdthesis{pbtz, author = {P. Baltazar}, title = {Topic: Model Checking of Quantum Systems}, school = {IST, Universidade T{\'{e}}cnica de Lisboa}, year = {in preparation. Expected submission: 2008}, note = {Supervised by P. Mateus}, st = {w}, proj = {quantlog}, } @mastersthesis{iebp:07, author = {I. Pati{\~{n}}o}, note = {Supervised by J. Rasga}, school = {Universidade Nova de Lisboa / Technische Universit{\"a}t Wien}, title = {A Proof Theory of Interpolation}, year = {2007}, st = {p}, proj = {qsec,quantfib,t2,t4}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%% %%%%%%% Publications by members in Brazil of the %%%%%%% Logic and Computation Group %%%%%%% (with no co-authors at IST) %%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Submitted %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% In print %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{jmarcos:04d, author = {J. Marcos}, title = {Possible-translations semantics for some weak classically-based paraconsistent logics}, journal = {Journal of Applied Non-Classical Logics}, volume = {18}, number = {1}, pages = {7--28}, year = {2008}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-PTS4swcbPL.pdf}, st = {p}, proj = {fiblog,t4}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Published %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{wcarnielli:mconiglio:jmarcos:03, author = {W. A. Carnielli and M. E. Coniglio and J. Marcos}, booktitle = {Handbook of Philosophical Logic}, editor = {D. Gabbay and F. Guenthner}, publisher = {Kluwer Academic Publishers}, title = {Logics of formal inconsistency}, volume = {14}, edition = {2nd}, year = {2007}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/03-CCM-lfi.pdf}, st = {p}, proj = {fiblog,t4}, } %%%%% 2006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{jmarcos:05bsl, author = {J. {Marcos}}, title = {Generalizing truth-functionality (abstract)}, journal = {Bulletin of Symbolic Logic}, volume = {12}, number = {3}, pages = {511-511}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/05-M-asl.pdf}, year = {2006}, st = {p}, proj = {fiblog,t4}, } @incollection{jmarcos:04a, author = {J. Marcos}, title = {Ineffable inconsistencies}, booktitle = {Paraconsistency with no Frontiers, {\rm {P}roceedings of the {\rm III} World Congress on Paraconsistency, held in Toulouse, FR, July 28-31, 2003}}, editor = {J.-Y. B\'eziau and W. A. Carnielli}, pages = {301-311}, publisher = {Elsevier Science}, series = {Studies in Logic and Practical Reasoning}, volume = {4}, address = {Amsterdam}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-ii.pdf}, st = {p}, proj = {fiblog,t4}, } %%%%% 2005 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{jmarcos:04b, author = {J. Marcos}, title = {On negation: {P}ure local rules}, journal = {Journal of Applied Logic}, volume = {3}, number = {1}, pages = {185-219}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-onplr.pdf}, st = {p}, proj = {fiblog,t4}, } @article{jmarcos:04e, author = {J. Marcos}, title = {Logics of essence and accident}, journal = {Bulletin of the Section of Logic}, year = {2005}, volume = {34}, number = {1}, pages = {43-56}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-LEA.pdf}, st = {p}, proj = {fiblog,t4}, } @article{jmarcos:04f, author = {J. Marcos}, title = {Nearly every normal modal logic is paranormal}, journal = {Logique et Analyse}, volume = {48}, issue = {189/192}, pages = {279-300}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-Paranormal.pdf}, st = {p}, proj = {fiblog,t4}, } @incollection{jmarcos:04g, author = {J. Marcos}, title = {Modality and paraconsistency}, booktitle = {The Logica Yearbook 2004}, editor = {M. Bilkova and L. Behounek}, publisher = {Filosofia}, pages = {213-222}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-ModPar.pdf}, st = {p}, proj = {fiblog,t4}, } @incollection{jmarcos:05b, author = {J. Marcos}, title = {On a problem of da {C}osta}, editor = {G. Sica}, booktitle = {Essays on the Foundations of Mathematics and Logic}, volume = {2}, publisher = {Polimetrica}, wpub = {http://polimetrica.com/}, pages = {39-55}, year = {2005}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/05-M-P12.pdf}, st = {p}, proj = {t4}, } @proceedings{jmarcos:bat:wcarnielli:05, editor = {J. Marcos and D. Batens and W. A. Carnielli}, title = {A Paraconsistent Decagon}, series = {Journal of Applied Logic}, volume = {3(1) -- Special issue}, year = {2005}, st = {p}, proj = {fiblog,t4} } %%%%% 2004 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{jmarcos:04c, address = {1049-001 Lisboa, Portugal}, author = {J. Marcos}, booktitle = {Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications}, editor = {W. A. Carnielli and F. M. Dion{\'\i}sio and P. Mateus}, note = {Extended version of extended abstract}, pages = {119-128}, publisher = {Departamento de Matem\'atica, Instituto Superior T\'ecnico}, title = {Possible-translations semantics}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-pts.pdf}, st = {p}, proj = {fiblog,t4}, } %%%%% 2002 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{dea:wcarnielli:jmarcos:02, author = {S. {de Amo} and W. A. {Carnielli} and J. {Marcos}}, title = {A logical framework for integrating inconsistent information in multiple databases}, booktitle = {{P}roceedings of the {II} {I}nternational {S}ymposium on {F}oundations of {I}nformation and {K}nowledge {S}ystems {({FoIKS 2002}), Schloss\ Salzau, DE, 19-23 February 2002}}, publisher = {Springer-Verlag}, address = {Berlin}, series = {Lecture Notes in Computer Science}, volume = {2284}, year = {2002}, pages = {67-84}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/03-dACM-FoIKS02.pdf}, st = {p}, } @incollection{wcarnielli:jmarcos:02, author = {W. A. {Carnielli} and J. {Marcos}}, title = {A taxonomy of {C}-systems}, editor = {W. A. {Carnielli} and M. E. {Coniglio} and I. M. L. {D'Ottaviano}}, booktitle = {{P}araconsistency: {T}he logical way to the inconsistent}, publisher = {Marcel Dekker}, series = {Lecture Notes in Pure and Applied Mathematics}, volume = {228}, year = {2002}, pages = {1-94}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/02-CM-taxonomy.pdf}, st = {p}, } %%%%% 2001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{wcarnielli:jmarcos:01a, author = {W. A. Carnielli and J. Marcos}, booktitle = {Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)}, editor = {H. R. Arabnia}, pages = {848-852}, publisher = {CSREA Press, Athens GA, USA}, title = {Tableaux for logics of formal inconsistency}, volume = {II}, year = {2001}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/01-CM-tableaux.pdf}, st = {p}, proj = {}, } @inproceedings{wcarnielli:jmarcos:01b, author = {W. A. {Carnielli} and J. {Marcos}}, title = {{\em Ex contradictione non sequitur quodlibet}}, booktitle = {Proceedings of the {II} Annual Conference on Reasoning and Logic, {held in Bucharest, RO, July 2000}}, publisher = {Advanced Reasoning Forum}, editor = {R. L. {Epstein}}, volume = {1}, year = {2001}, pages = {89-109}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/01-CM-ECNSQL.pdf}, st = {p}, proj = {}, } %%%%% 2000 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{wcarnielli:dea:jmarcos:00, author = {W. A. {Carnielli} and J. {Marcos} and S. {de Amo}}, title = {Formal inconsistency and evolutionary databases}, journal = {Logic and Logical Philosophy}, year = {2000}, volume = {8}, number = {2}, pages = {115-152}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/00-CdAM-evolutionary.pdf}, st = {p}, proj = {}, } %%%%% 1999 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{wcarnielli:jmarcos:99, author = {W. A. {Carnielli} and J. {Marcos}}, title = {Limits for paraconsistent calculi}, journal = {Notre Dame Journal of Formal Logic}, volume = {40}, number = {3}, pages = {375-390}, year = {1999}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/99-CM-limits.pdf}, st = {p}, proj = {}, } @mastersthesis{jmarcos:99, author = {J. Marcos}, title = {Sem\^anticas de {T}radu\c{c}\~oes Poss\'iveis}, school = {IFCH, Universidade Estadual de Campinas}, year = {1999}, note = {Supervised by W. A. Carnielli}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/99-M-mastersthesis.pdf}, st = {p}, proj = {}, } %%%%% 1998 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%% PUBLICATIONS BY CLAUDIO HERMIDA (ALONE) @phdthesis{chermida:93, author= {Hermida, C.}, title= {Fibrations, logical predicates and related topics}, school= {University of Edinburgh}, note= {Tech. Report ECS-LFCS-93-277. Also available as Aarhus Univ. DAIMI Tech. Report PB-462}, year= {1993}, st= {p} } @incollection{chermida:94, author = {Hermida, C.}, title = {On fibred adjunctions and completeness for fibred categories}, booktitle = {9th WADT- 4th Compass Workshop}, pages = {235-251}, year = {1994}, volume = {785}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, st= {p} } @article{chermida:jacobs:95a, author = {Hermida, C. and Jacobs, B.}, title = {Fibrations with indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi}, journal = {Mathematical Structures in Computer Science}, year = {1995}, volume = {5}, pages = {501-531}, st= {p} } @incollection{chermida:jacobs:94, author = {Hermida, C. and Jacobs, B.}, title = {An Algebraic View of Structural Induction}, editor = {Pacholski, L. and Tiuryn, J.}, volume = {933}, series = {Lecture Notes in Computer Science}, pages = {412-426}, booktitle = {Proceedings CSL'94, Computer Science Logic}, year = {1995}, publisher = {Springer-Verlag}, month = {May}, st= {p} } @incollection{chermida:power:95, author = {Hermida, C. and Power, J.}, title = {Fibrational Control Structures}, editor = {Lee, I. and Smolka, S.}, volume = {962}, series = {Lecture Notes in Computer Science}, pages = {117-129}, booktitle = {Proceedings CONCUR'95: Concurrency Theory}, year = {1995}, publisher = {Springer-Verlag}, month = {August}, st= {p} } @article{chermida:96, author = {Hermida, C.}, title = {Some properties of Fib as a fibred 2-category}, journal = {Journal of Pure and Applied Algebra}, year = {1999}, volume = {134}, number = {1}, pages = {83-109}, note = {Presented at ECCT'94, Tours, France}, st={p} } @article{chermida:jacobs:98, title= {Structural Induction and Coinduction in a Fibrational Setting}, author= {C. Hermida and B. Jacobs}, pages= {107-152}, journal= {Information and Computation}, year= {1998}, volume= {145}, number= {2}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/Inf-and-Comp.ps}, st= {p} } @inproceedings{chermida:makkai:power:98a, author = {Hermida, C. and Makkai, M. and Power, P.}, title = {Higher-dimensional multigraphs}, booktitle = {Logic in Computer Science (LICS) '98}, year = {1998}, publisher = {IEEE}, st = {p} } @article{chermida:makkai:power:98b, author = {Hermida, C. and Makkai, M. and Power, P.}, journal = {Journal of Pure and Applied Algebra}, number = {1-3}, pages = {221-246}, title = {On weak higher-dimensional categories {I}, Part {I}}, volume = {154}, year = {2000}, st = {p}, } @article{chermida:makkai:power:98c, author = {Hermida, C. and Makkai, M. and Power, P.}, journal = {Journal of Pure and Applied Algebra}, number = {2-3}, pages = {247-277}, title = {On weak higher-dimensional categories {I}, Part {II}}, volume = {157}, year = {2001}, st = {p}, } @article{chermida:99, author = {Hermida, C.}, title = {Representable multicategories}, journal= {Advances in Mathematics}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/rep-mult.ps}, year = {2000}, volume = {151}, pages = {164-225}, st= {p} } @article{chermida:00, author = {Hermida, C.}, journal = {Journal of Pure and Applied Algebra}, number = {1}, pages = {7-61}, title = {From coherent structures to universal properties}, year = {2001}, volume = {165}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/coh-univ.ps}, st = {p}, } @article{chermida:makkai:power:98d, author = {Hermida, C. and Makkai, M. and Power, P.}, journal = {Journal of Pure and Applied Algebra}, number = {1-2}, pages = {83-104}, title = {On weak higher-dimensional categories {I}, Part {III}}, volume = {166}, year = {2002}, st = {p}, } @techreport{chermida:02, author = {C. Hermida}, institution = {CLC, Department of Mathematics, Instituto Superior T\'ecnico}, address = {1049-001 Lisboa, Portugal}, note = {Presented at IMLA'02, Copenhagen}, title = {A categorical outlook on relational modalities and simulations}, type = {Preprint}, year = {2002}, ps = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/sat-sim.ps}, st = {c} } @incollection {chermida:04a, author = {C. Hermida}, title = {Fibrations for abstract multicategories}, booktitle = {Galois theory, Hopf algebras, and semiabelian categories}, series = {Fields Institute Communications}, editor = {G. Janelidze and B. Pareigis and W. Tholen}, volume = {43}, pages = {281--293}, publisher = {American Mathemathical Society}, year = {2004}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/fib-mul.pdf}, st = {p}, } @article {chermida:04b, author = {C. Hermida}, title = {Descent on 2-fibrations and strongly 2-regular 2-categories}, journal = {Applied Categorical Structures}, volume = {12}, year = {2004}, number = {5-6}, pages = {427--459}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/2-descent.pdf}, st = {p}, } @incollection{bre:chermida:mak:wor:05, author = {F. van Breugel and C. Hermida and M. Makkai and J. Worrel}, title = {An accessible approach to behavioural pseudo-metrics}, booktitle = {Automata, Languages and Programming ICALP'05}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, editor = {L. Caires and G. F. Italiano and L. Monteiro and C. Palamidessi and M. Yung}, volume = {3580}, year = {2005}, pages = {1018-1030}, st = {p}, proj = {}, } @article{breu:chermida:mak:wor:06, author = {van Breugel, F. and Hermida, C. and Makkai, M. and Worrell, J.}, title = {Recursively defined metric spaces without contraction}, journal = {Theoretical Computer Science}, year = {in print}, volume = {}, pages = {}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/06-BHMW-rdmswc.pdf}, st = {a}, proj = {t4}, } @techreport{chermida:ten:07, title = {Monoidal Indeterminates and Categories of Possible Worlds}, author = {C. Hermida and R. D. Tennent}, institution = {SQIG - IT and IST}, address = {1049-001 Lisboa, Portugal}, type = {Preprint}, year = {2007}, note = {Submitted for publication}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/HermidaC/07-HT-indeterminates.pdf}, st = {s}, proj = {t1}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%% PUBLICATIONS BY KERRY OJAKIAN (ALONE) @article{kojakian:05, author = {K. Ojakian}, title = {Upper and Lower Ramsey Bounds in Bounded Arithmetic}, journal = {Annals of Pure and Applied Logic}, year = {2005}, pages = {135-150}, volume = {135}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OjakianK/05-O-ramsey.pdf}, st = {p}, } @phdthesis{kojakian:04, author = {K. Ojakian}, title = {Combinatorics in Bounded Arithmetic}, school = {Carnegie Mellon University}, year = {2004}, note = {Supervised by J. Avigad}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/OjakianK/04-O-PhDthesis.pdf}, st = {p}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%% PUBLICATIONS BY NIKOLA PAUNKOVIC (ALONE) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Submitted %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% In print %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% Published %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% 2007 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{yomar:npaunkovic:vrv:07, author = {Y. Omar and N. Paunkovic and V. R. Vieira}, title = {Macroscopic thermal entanglement}, year = {2007}, pdf = {}, booktitle = {Strongly Correlated Systems, Coherence and Entanglement}, editor = {J. M. P. Carmelo and J. M. B. Lopes dos Santos and V. R. Vieira and P. D. Sacramento}, publisher = {World Scientific}, pages = {567--595}, st = {p}, proj = {t5}, } %%%%%%%%%%%%%%%%% 2006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{pz:npaunkovic:05, author = {P. Zanardi and N. Paunkovic}, journal = {Physical Review E}, title = {Ground State Overlap and Quantum Phase Transitions}, volume = {74}, pages = {031123}, note = {ArXiv 0512249 [quant-ph]}, year = {2006}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/05-ZP-qphase.pdf}, st = {p}, proj = {quantlog,t5}, } @article{cb:npaunkovic:tr:vv:05, author = {C. Brukner and N. Paunkovic and T. Rudolph and V. Vedral}, journal = {International Journal of Quantum Information}, title = {Entanglement-assisted Orientation in Space}, volume = {4}, number = {2}, year = {2006}, pages = {365-370}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/05-BPRV-entspo.pdf}, note = {ArXiv quant-ph/0509123}, proj = {t5}, } %%%%%%%%%%%%%%%%% 2004 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @phdthesis{npaunkovic:04, author = {N. Paunkovic}, title = {The Role of Indistinguishability of Identical Particles in Quantum Information Processing}, school = {Centre for Quantum Computation, Clarendon Laboratory, University of Oxford}, year = {2004}, note = {Supervised by V. Vedral and A. Ekert}, st = {p}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/04-P-phdthesis.pdf}, proj = {t5}, } %%%%%%%%%%%%%%%%% 2003 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% 2002 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% 1998 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{vb:mh:npaunkovic:fh:98, author = {V. Bozin and M. Hruska and N. Paunkovic and F. Herbut}, journal = {Journal of Physics A}, title = {On Statistical and Deterministic Quantum Teleportation}, volume = {31}, number = { }, year = {1998}, pages = {4403}, st = {p}, url = {http://www.iop.org}, pdf = {http://wslc.math.ist.utl.pt/ftp/pub/PaunkovicN/98-BHPH-teleport.pdf}, note = { }, proj = {t5}, } %%%%%%%%%%%%%%%%% 1996 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{ss:npaunkovic:djs:zp:96, author = {S. Sakadzic and N. Paunkovic and Dj. Sarac and Z. Petrovic}, title = {Electron Transport in Ammonia}, booktitle = {Contributed Papers and Abstracts of Invited Lectures and Progress Reports, 18th SPIG (Summer School and International Symposium on the Physics of Ionized Gases)}, year = {1996}, editor = {B. Vujicic and S. Djurovic and J. Puric}, pages = {132}, publisher = { }, pdf = { }, st = {p}, proj = {t5}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{kroggia:05b, author = "K. G. Roggia and P. B. Menezes and M. A. Hoff", title = "Bicompleteness in the Category of Partial Graphs with Total Homomorphisms", journal = "Electronic Journal on Mathematics of Computation", volume = "2", number = "1", year = "2005", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RoggiaK/05-R-ejmc.pdf}, st = {p}, } @incollection{kroggia:hof:blauth:05, author = "K. G. Roggia and M. A. Hoff and P. B. Menezes", title = "Computation of Partial Automata through Span Composition", pages = "15-20", editor = "Roberto Moreno-D{\'{\i}}az and Franz Pichler and Alexis Quesada-Arencibia", booktitle = "EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology", year = "2005", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "3643", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RoggiaK/05-RHM-eurocast.pdf}, st = {p}, } @inproceedings{blauth:kroggia:mac:02, author = "P. B. Menezes and K. G. Roggia and J. H. A. P. Machado", title = "Hierarquia de Modelos para Concorr\^{e}ncia", pages = "3-3", booktitle = "WMF'2002: V Workshop de M\'{e}todos Formais", address = "Porto Alegre", year = "2002", publisher = "Instituto de Inform{\'{a}}tica da UFRGS", series = "Proceedings of the 5th Workshop on Formal Methods", volume = "1", st = {c}, } @mastersthesis{kroggia:05a, author = "K. G. Roggia", title = "Categoria de Grafos Parciais com Homomorfismos Totais: {T}eoria e Aplica\c{c}\~{o}es", school = "Programa de P{\'{o}}s-Gradua\c{c}\~{a}o em Computa\c{c}\~{a}o -- UFRGS", address = "Porto Alegre, Brasil", year = "2005", note = "Supervised by Paulo Blauth Menezes", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RoggiaK/05-R-MScThesis.pdf}, st = {p}, } @article{hof:kroggia:blauth:04, author = "M. A. Hoff and K. G. Roggia and P. B. Menezes", title = "Composition of Transformations: {A} Framework for Systems with Dynamic Topology", journal = "International Journal Of Computing Anticipatory Systems", volume = "14", pages = "259-270", year = "2004", note = "Preliminary version presented at CASYS'2003", pdf = {http://wslc.math.ist.utl.pt/ftp/pub/RoggiaK/04-HRM-casys.pdf}, st = {p}, }