No photo of Luís Fernando Lopes Monteiro

Luís Fernando Lopes Monteiro

  • 7 Citations
  • 1 h-Index
19942009
If you made any changes in Pure these will be visible here soon.

Research Output at NOVA 1994 2009

  • 7 Citations
  • 1 h-Index
  • 2 Conference contribution
  • 1 Book
  • 1 Chapter
6 Citations (Scopus)

A coalgebraic characterization of behaviours in the linear time - branching time spectrum

Monteiro, L. F. L., 1 Jan 2009, Lecture Notes in Computer Science. Corradini, A. & Montanari, U. (eds.). Springer-Verlag, Vol. 5486. p. 251-265

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Citation (Scopus)

Defining Behaviours by Quasi-finality

Monteiro, L. F. L., 1 Jan 2009, Lecture Notes in Computer Science. Oliveira, M. & Woodcock, J. (eds.). Springer-Verlag, Vol. 5902. p. 290-305

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Caires, L. M. M. D. C., Monteiro, L. F. L., Italiano, G. F. & Palamidessi, C., 1 Jan 2005, Springer-Verlag. (Lecture Notes in Computer Science; no. 3580)

Research output: Book/ReportBook

Higher-order polymorphic unification for logic programming

Caires, L. & Monteiro, L., 1994, Logic programming. VanHentenryck, P. (ed.). Massachusetts Institute of Technology Press (MIT Press), p. 419-433 (MIT Press Series in Logic Programming).

Research output: Chapter in Book/Report/Conference proceedingChapter