CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  BibTeX Generator Login  
   
banner bottom
[ BibTeX Generator ]
Go to the bibtex generator form
Articles   Book Chapters   Dissertations   Editorials   In Proceedings   Technical Reports   Other Publications   
Luis Monteiro ( 48 publications )
Monday 27th of May 2019 11:18:22 AM


*** Articles ( 5 ) ***

@article{ Monteiro-19a-04,
        author = { L. Monteiro },
        title = { A noninterleaving model of concurrency based on transition systems with spatial structure },
        journal = { Electronic Notes in Theoretical Computer Science },
        year = { 2004 },
        volume = { 106 },
        pages = { 261-277 }
}

@article{ Monteiro-29a-00,
        author = { L. Monteiro },
        title = { Observation systems },
        journal = { Electronic Notes in Theoretical Computer Science },
        year = { 2000 },
        volume = { 33 },
        pages = { 261-275 }
}

@article{ Monteiro-34a-98,
        author = { L. Monteiro },
        title = { Semantic domains based on sets with families of equivalences },
        journal = { Electronic Notes in Theoretical Computer Science },
        year = { 1998 },
        volume = { 11 },
        pages = { 71-104 }
}

@article{ Monteiro.Porto-32a-98,
        author = { L. Monteiro and A. Porto },
        title = { Entailment-Based Actions for Coordination },
        journal = { Theoretical Computer Science },
        year = { 1998 },
        volume = { 192 },
        pages = { 259-286 }
}

@article{ JacquetMonteiroPPLElsevier,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics },
        journal = { Computer Languages, Systems and Structures },
        year = { 1996 },
        volume = { 22 },
        number = { 2/3 },
        pages = { 51-77 }
}


*** Book Chapters ( 3 ) ***

@inbook{ MonteiroPorto93,
        author = { L. Monteiro and A. Porto },
        title = { A language for contextual logic programming },
        publisher = { The MIT Press },
        year = { 1993 },
        edition = { K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten },
        pages = { 115-147 }
}

@inbook{ MonteiroPortoSasbachwalden,
        author = { L. Monteiro and A. Porto },
        title = { Syntactic and semantic inheritance in logic programming },
        publisher = { Springer-Verlag },
        year = { 1992 },
        edition = { J. Darlington and R. Dietrich },
        pages = { 163-173 }
}

@inbook{ MonteiroEllisHorwood,
        author = { L. Monteiro },
        title = { A proposal for distributed programming in logic },
        publisher = { Ellis Horwood Ltd. },
        year = { 1984 },
        edition = { J. A. Campbell },
        pages = { 329-340 }
}


*** Dissertations ( 2 ) ***

@phdthesis{ MonteiroAgg,
        author = { L. Monteiro },
        title = { Modelos da Negação na Programação em Lógica },
        school = { Universidade Nova de Lisboa },
        year = { 1995 }note = { Aggregation Thesis }
}

@phdthesis{ MonteiroPhD,
        author = { L. Monteiro },
        title = { Uma Lógica para Processos Distribuídos },
        school = { Universidade Nova de Lisboa },
        year = { 1983 }
}


*** Editorial Activities ( 1 ) ***

proceedings@{ Cai.Ita.Mon.Pal.Yun-2e-Jul05,
        editor = { L. Caires and Giuseppe F. Italiano and L. Monteiro and Catuscia Palamidessi and Moti Yung },
        title = { Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings },
        year = { 2005 },
        month = { 07 },
        publisher = { Springer-Verlag },
        series = { Lecture Notes in Computer Science },
        number = { 3580 }
}


*** In Proceedings ( 30 ) ***

@inproceedings{ apm-lm-mr-wadt2010,
        author = { apm and L. Monteiro and Markus Roggenbach },
        title = { Towards Bi-Algebraic Semantics for the Linear Time – Branching Time Spectrum },
        booktitle = { Recent Trends in Algebraic Development Techniques },
        publisher = { Springer-Verlag },
        editor = { Hans-Jörg Kreowski and Till Mossakowski },
        year = { 2012 },
        series = { Lecture Notes in Computer Science },
        number = { 7137 },
        pages = { 209-225 }
}

@inproceedings{ LeandroPitaMonteiro2011,
        author = { Carlos Leandro and Helder Pita and L. Monteiro },
        title = { Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logic },
        booktitle = { Computational Intelligence, Revised and Selected Papers of IJCCI 2009 },
        publisher = { Springer-Verlag },
        editor = { K. Madani and A. D. Correia and A. Rosa and J. Filipe },
        year = { 2011 },
        series = { Studies in Computational Intelligence },
        number = { 343 },
        pages = { 45-58 }
}

@inproceedings{ lm-wadt08,
        author = { L. Monteiro },
        title = { A coalgebraic characterization of behaviours in the linear time - branching time spectrum },
        booktitle = { Recent Trends in Algebraic Development Techniques (WADT 2008) },
        publisher = { Springer-Verlag },
        editor = { Andrea Corradini and Ugo Montanari },
        year = { 2009 },
        series = { Lecture Notes in Computer Science },
        pages = { 251-265 }
}

@inproceedings{ EF-LM-SBMF09,
        author = { E. R. Freire and L. Monteiro },
        title = { Defining Behaviours by Quasi-finality },
        booktitle = { Brazilian Symposium on Formal Mewthods (SBMF 2009) },
        publisher = { Springer-Verlag },
        editor = { M.V.M. Oliveira and J. Woodcock },
        year = { 2009 },
        series = { Lecture Notes in Computer Science },
        number = { 5902 },
        pages = { 290-305 }
}

@inproceedings{ Lea.Pit.Mon-53ip-04,
        author = { Carlos Leandro and Helder Pita and L. Monteiro },
        title = { The Actias system: Supervised multi-strategy learning paradigm using Categorical Logic },
        booktitle = { Proceedings ICKEDS’2004 - First International Conference on Knowledge Engineering and Decision },
        publisher = { Instituto Superior de Engenharia do Porto },
        year = { 2004 }
}

@inproceedings{ Caires.Monteiro-111ip-98,
        author = { L. Caires and L. Monteiro },
        title = { Verifiable and Executable Logic Specifications of Concurrent Objects in LPi },
        booktitle = { European Symposium on Programming Languages and Systems ESOP'98 },
        publisher = { Springer-Verlag },
        editor = { Chris Hankin },
        year = { 1998 },
        series = { Lecture Notes in Computer Science },
        number = { 1381 },
        pages = { 42-56 }
}

@inproceedings{ Caires.Monteiro-124ip-97,
        author = { L. Caires and L. Monteiro },
        title = { Proof Net Semantics of Proof Search Computation },
        booktitle = { Algebraic and Logic Programming },
        publisher = { Springer-Verlag },
        editor = { M. Hanus, J. Heering and K. Meinke },
        year = { 1997 },
        series = { Lecture Notes in Computer Science },
        number = { 1298 },
        pages = { 194-208 }
}

@inproceedings{ pedromonteirojelia96,
        author = { Vasco Pedro and L. Monteiro },
        title = { Modules and Specifications },
        booktitle = { Logics in Artificial Intelligence (JELIA'96) },
        publisher = { Springer-Verlag },
        editor = { J. J. Alferes, L. M. Pereira and E. Orlowska },
        year = { 1996 },
        series = { Lecture Notes in Artificial Intelligence },
        number = { 1126 },
        pages = { 284-300 }
}

@inproceedings{ Vitoria-Mamede-Monteiro-EPIA-95,
        author = { Aida Vitória and M. Mamede and L. Monteiro },
        title = { The Retrieval Problem in a Concept Language with Number Restrictions },
        booktitle = { Progress in Artificial Intelligence: Proceedings of the 7th Portuguese Conference on Artificial Intelligence },
        publisher = { Springer-Verlag },
        editor = { Carlos Pinto-Ferreira and Nuno J. Mamede },
        year = { 1995 },
        month = { 10 },
        series = { Lecture Notes in Artificial Intelligence },
        number = { 990 },
        pages = { 69-82 }
}

@inproceedings{ Mamede-Monteiro-KRUSE-95,
        author = { M. Mamede and L. Monteiro },
        title = { Towards More Informative Answers in Terminological Logics },
        booktitle = { Proceedings of the International KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency },
        publisher = { University of California at Santa Cruz },
        editor = { Gerard Ellis, Robert A. Levinson, Andrew Fall, and Veronica Dahl },
        year = { 1995 },
        month = { 08 },
        pages = { 1-12 }
}

@inproceedings{ pedromonteiroilps95,
        author = { Vasco Pedro and L. Monteiro },
        title = { An approach to verification in contextual logic programming (poster) },
        booktitle = { International Logic Programming Symposium },
        publisher = { The MIT Press },
        editor = { J. W. Lloyd },
        year = { 1995 }
}

@inproceedings{ jacquetmonteirojelia94,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Towards resource handling in logic programming: The PPL framework and its semantics },
        booktitle = { Logics in Artificial Intelligence (JELIA'94) },
        publisher = { Springer-Verlag },
        editor = { C. MacNish, D. Pearce, and L. M. Pereira },
        year = { 1994 },
        series = { Lecture Notes in Artificial Intelligence },
        number = { 838 },
        pages = { 379-399 }
}

@inproceedings{ toscanimonteiromexico,
        author = { Simão Toscani and L. Monteiro },
        title = { Aplicações da linguagem reactiva síncrona RS },
        booktitle = { XX Conferência Latinoamericana de Informatica (Memorias) },
        publisher = { Noriega Editores },
        year = { 1994 },
        pages = { 1097-1108 }
}

@inproceedings{ jacquetmonteiroiclp94,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { PP-clauses: a means for handling resources (poster) },
        booktitle = { Logic Programming: Proceedings of the Eleventh International Conference },
        publisher = { The MIT Press },
        editor = { Pascal Van Hentenryck },
        year = { 1994 },
        pages = { 743-743 }
}

@inproceedings{ caires-iclp:94,
        author = { L. Caires and L. Monteiro },
        title = { Polymorphic higher-order unification for logic programming },
        booktitle = { Proceedings of the Eleventh International Conference on Logic Programming ICLP'94 },
        publisher = { MIT Press },
        year = { 1994 }
}

@inproceedings{ Mamede-Monteiro-AI-93,
        author = { M. Mamede and L. Monteiro },
        title = { ALCrn: A Decidable Terminological Language with Role Negation },
        booktitle = { Proceedings of the 6th Australian Joint Conference on Artificial Intelligence },
        publisher = { World Scientific Publishing },
        editor = { Chris Rowles, Huan Liu, and Norman Foo },
        year = { 1993 },
        month = { 11 },
        pages = { 229-235 }
}

@inproceedings{ Mamede-Monteiro-EPIA-93,
        author = { M. Mamede and L. Monteiro },
        title = { Towards Complete Answers in Concept Languages },
        booktitle = { Progress in Artificial Intelligence: Proceedings of the 6th Portuguese Conference on Artificial Intelligence },
        publisher = { Springer-Verlag },
        editor = { Miguel Filgueiras and Luís Damas },
        year = { 1993 },
        month = { 10 },
        series = { Lecture Notes in Artificial Intelligence },
        number = { 727 },
        pages = { 121-135 }
}

@inproceedings{ Mamede-Monteiro-JICSLP-92,
        author = { M. Mamede and L. Monteiro },
        title = { A Constraint Logic Programming Scheme for Taxonomic Reasoning },
        booktitle = { Proceedings of the Joint International Conference and Symposium on Logic Programming },
        publisher = { The MIT Press },
        editor = { Krzysztof Apt },
        year = { 1992 },
        month = { 11 },
        series = { Series in Logic Programming },
        pages = { 255-269 }
}

@inproceedings{ jacquetmonteiroicalp92,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Communicating clauses: Towards synchronous communication in contextual logic programming },
        booktitle = { Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming },
        publisher = { The MIT Press },
        editor = { K. Apt },
        year = { 1992 },
        pages = { 255-269 }
}

@inproceedings{ Mamede-Monteiro-EPIA-91,
        author = { M. Mamede and L. Monteiro },
        title = { A Constraint-Based Language for Querying Taxonomic Systems },
        booktitle = { Proceedings of the 5th Portuguese Conference on Artificial Intelligence },
        publisher = { Springer-Verlag },
        editor = { Pedro Barahona, Luís Moniz Pereira, and António Porto },
        year = { 1991 },
        month = { 10 },
        series = { Lecture Notes in Artificial Intelligence },
        number = { 541 },
        pages = { 60-75 }
}

@inproceedings{ Mamede-Monteiro-NQA-91,
        author = { M. Mamede and L. Monteiro },
        title = { Answers as Type Constraints },
        booktitle = { Proceedings of the Workshop on Nonstandard Queries and Answers },
        publisher = { ONERA (French National Establishment for Aerospace Research) },
        editor = { Robert Demolombe, Luis Fariñas del Cerro, and Tomasz Imielinski },
        year = { 1991 },
        month = { 07 },
        pages = { 85-98 }
}

@inproceedings{ jacquetmonteiroconcur91,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Extended Horn Clauses: The Framework and its Semantics },
        booktitle = { Proceedings of the Second International Conference on Concurrency Theory (Concur'91) },
        publisher = { Springer-Verlag },
        editor = { J. C. M. Baeten and J. F. Groote },
        year = { 1991 },
        series = { Lecture Notes in Computer Science },
        number = { 527 },
        pages = { 281-297 }
}

@inproceedings{ jacquetmonteirotokyo91,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Comparative Semantics of Generalized Horn Clauses },
        booktitle = { Proceedings of the Logic Programming Conference `91 },
        publisher = { Springer-Verlag },
        year = { 1991 },
        series = { Lecture Notes in Computer Science },
        pages = { 181-191 }
}

@inproceedings{ monteiroportoiclp90,
        author = { L. Monteiro and A. Porto },
        title = { A transformational view of inheritance in logic programming },
        booktitle = { Logic Programming: Proceedings of the Seventh International Conference },
        publisher = { The MIT Press },
        year = { 1990 }
}

@inproceedings{ jacquetmonteironaclp90,
        author = { Jean-Marie Jacquet and L. Monteiro },
        title = { Comparative semantics for a parallel contextual logic programming language },
        booktitle = { Logic Programming: Proceedings of the 1990 North-American Conference },
        publisher = { The MIT Press },
        editor = { S. Debray and M. Hermenegildo },
        year = { 1990 }
}

@inproceedings{ monteiroportoiclp89,
        author = { L. Monteiro and A. Porto },
        title = { Contextual logic programming },
        booktitle = { Logic Programming: Proceedings of the Sixth International Conference },
        publisher = { The MIT Press },
        editor = { G. Levi and M. Martelli },
        year = { 1989 },
        pages = { 284-299 }
}

@inproceedings{ monteiropereiralics86,
        author = { L. Monteiro and Fernando Pereira },
        title = { A sheaf-theoretic model of concurrency },
        booktitle = { Symposium on Logic in Computer Science },
        publisher = { IEEE Computer Society },
        editor = { A. R. Meyer },
        year = { 1986 },
        pages = { 66-76 }
}

@inproceedings{ iclp86,
        author = { Luis Moniz Pereira and L. Monteiro and Jose C. Cunha and Joaquim Aparício },
        title = { Delta prolog: A distributed backtracking extension with events },
        booktitle = { Proceedings of the Third International Conference on Logic },
        publisher = { Springer-Verlag },
        year = { 1986 },
        series = { Lecture Notes in Computer Science },
        number = { 225 },
        pages = { 245-260 }
}

@inproceedings{ peniscola,
        author = { L. Monteiro },
        title = { An extension to Horn clause logic allowing the definition of concurrent processes },
        booktitle = { Formalization of Programming Concepts },
        publisher = { Springer-Verlag },
        editor = { J. Díaz and I. Ramos },
        year = { 1981 },
        series = { Lecture Notes in Computer Science },
        number = { 107 },
        pages = { 401-407 }
}

@inproceedings{ salgotarjan,
        author = { Luis Moniz Pereira and L. Monteiro },
        title = { The semantics of parallelism and co-routining in logic programming },
        booktitle = { Mathematical Logic in Computer Science },
        publisher = { North-Holland },
        year = { 1978 },
        series = { Colloquia Mathematica Societatis János Bolyai },
        number = { 26 },
        pages = { 611-657 }
}


*** Technical Reports ( 6 ) ***

@techreport{ tech-rep-wadt08,
        author = { L. Monteiro },
        title = { A Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2008 },
        month = { 09 },
        number = { UNL-DI 4-2008 },
        note = { URL={http://ctp.di.fct.unl.pt/~lm/publications/tr4-2008.pdf} }
}

@techreport{ FreireMonteiro07,
        author = { E. R. Freire and L. Monteiro },
        title = { Models of Name-Passing Systems Based on Coalgebras over Nominal Sets },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2007 },
        month = { 02 }
}

@techreport{ Ribeiro-6tr-Dec04,
        author = { A. Ribeiro and L. Caires and L. Monteiro },
        title = { Verifying the Arrow Distributed Protocol in a Spatial Logic },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2004 },
        month = { 12 },
        number = { 4 }
}

@techreport{ Monteiro-9tr-04,
        author = { L. Monteiro },
        title = { A note on relating two notions of spatial system },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2004 }
}

@techreport{ Monteiro-11tr-03,
        author = { L. Monteiro },
        title = { A note on models for spatial logic based on transition systems with spatial structure },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2003 }
}

@techreport{ Monteiro-18tr-99,
        author = { L. Monteiro },
        title = { All nontrivial set functors give rise to final coalgebras },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1999 }
}


*** Other Publications ( 1 ) ***

@misc{ Monteiro-12op-97,
        author = { L. Monteiro },
        title = { A Lógica como Linguagem de Programação },
        year = { 1997 },
        howpublished = { Colóquio Ciências, Volume 19, 1997, Pages 3-18, Fundação Calouste Gulbenkian }
}