Logic and Computation Group - The Unit of Logic and Computation

Transcrição

Logic and Computation Group
IST, Lisbon
Papers, research reports, theses, conference proceedings and books written,
edited or supervised by current members of the Group since 1988.
References
[1] L. Andrade and A. Sernadas. Banking and management information system automation. In J. Gertler, J. Cruz, and M. Peshkin, editors, Proc.
13th World Congress of International Federation of Automatic Control,
pages 133–138. IFAC, 1996.
[2] K. Böhm. Real-time object specification logic. Technical report, University of Darmstadt, 1993. Diploma thesis. Supervised by A. Sernadas.
[3] K. Böhm and A. Sernadas. Real-time object specification logic. In
A. Olivé, editor, The Deductive Approach to Information Systems and
Databases 93, pages 159–174. Universitat Politècnica de Catalunya, 1993.
[4] K. Böhm and A. Sernadas. A logic to specify real-time object behaviour.
In A. Verbraeck, H. Sol, and P. Bots, editors, Proceedings of the Fourth International Working Conference on Dynamic Modelling and Information
Systems, pages 53–69. Delft University Press, 1994.
[5] S. Brass, U. Lipeck, and P. Resende. Specification of object behaviour
with defaults. In G. Koshorreck and U. Lipeck, editors, IS-CORE’93 Proceedings, pages 155–177. University of Hannover, 1993.
[6] C. Caleiro. Operational semantics of temporal object specification. INESC
Journal on Junior Activities in Science and Technology, 1(1):7–35, 1994.
[7] C. Caleiro. On the relationship between operational and denotational semantics of temporal logic specification of object behaviour. In R. Wieringa
and R. Feenstra, editors, IS-CORE’94 - Selected papers, pages 69–83.
World Scientific Publishers, 1995.
[8] C. Caleiro. Comunidades distribuı́das de objectos (Distributed object
communities). Master’s thesis, IST, Universidade Técnica de Lisboa, 1996.
In Portuguese. Supervised by A. Sernadas.
[9] C. Caleiro. Combining Logics. PhD thesis, IST, Universidade Técnica de
Lisboa, 2000. Supervised by A. Sernadas.
[10] C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation.
1
Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Submitted for
publication.
[11] C. Caleiro, G. Saake, and A. Sernadas. Deriving liveness goals from temporal logic specifications. Journal of Symbolic Computation, 22:521–553,
1996.
[12] C. Caleiro, C. Sernadas, and A. Sernadas. Mechanisms for combining logics. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1999.
[13] C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In
J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques,
Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages
48–62. Springer-Verlag, 1999.
[14] M. Campagnolo. Proposta de um método para a integração de conhecimento em classificação (Proposal of a method for integrating knowledge
in classification). Master’s thesis, ISEG, Universidade Técnica de Lisboa,
1992. In Portuguese. Supervised by H. Coelho.
[15] M. Campagnolo. Characterization of Analog Models of Computation. PhD
thesis, IST, Universidade Técnica de Lisboa, in preparation. To be submitted in 2001. Supervised by J. F. Costa and C. Moore.
[16] M. Campagnolo and M. Caetano. Expert maps: an alternative for integrating expert knowledge in satellite imagery classification. In T. I.
Stein, editor, Proceedings of the 1997 International Geoscience and Remote Sensing Symposium, volume 2, pages 680–682. IEEE, 1997.
[17] M. Campagnolo, H. Coelho, and J. Capelo. Knowledge based clustering of
partially characterized objects. In J. Wainer and A. Carvalho, editors, Advances in Artificial Intelligence, volume 991 of Lecture Notes in Artificial
Intelligence, pages 161–170. Springer-Verlag, 1995.
[18] M. Campagnolo and C. Moore. Upper and lower bounds on continuoustime computation. In I. Antoniou, C. Calude, and M. Dinneen, editors,
2nd International Conference on Unconventional Models of Computation
- UMC’2K, pages 135–153. Springer-Verlag, 2001.
[19] M. Campagnolo, C. Moore, and J. F. Costa. An analog characterization
of the Grzegorczyk hierarchy. Preprint, Section of Computer Science,
Department of Mathematics, Instituto Superior Técnico, 2000. Submitted
for publication.
[20] M. Campagnolo, C. Moore, and J. F. Costa. An analog characterization of
the subrecursive functions. In P. Kornerup, editor, Proc. 4th Conference
on Real Numbers and Computers, pages 91–109. Odense University Press,
2000.
2
[21] M. Campagnolo, C. Moore, and J. F. Costa. Iteration, inequalities, and
differentiability in analog computers. Journal of Complexity, 16(4):642–
660, 2000.
[22] R. Carapuça. Representação em Bases de Dados de Bases de Conhecimento (Database Implementation of Knowledge Bases). PhD thesis, IST,
Universidade Técnica de Lisboa, 1988. In Portuguese. Supervised by A.
Sernadas.
[23] R. Carapuça, L. Andrade, and A. Sernadas. A database design and construction workbench. In T. Olle, A. Verrijn-Stuart, and L. Bhabuta, editors, Computerized Assistance During the Information Systems Life Cycle,
pages 261–286. North-Holland, 1988.
[24] J. Carmo. Lógicas Temporais para a Especificação e Verificação de Sistemas de Informação (Temporal Logics for Systems Specification and Verification). PhD thesis, IST, Universidade Técnica de Lisboa, 1988. In
Portuguese. Supervised by A. Sernadas.
[25] J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart,
and M. Leonard, editors, Temporal Aspects in Information Systems, pages
31–46. North-Holland, 1988.
[26] J. Carmo and A. Sernadas. A completeness result in a mixed branchinglinear logic. Technical report, Section of Computer Science, Department
of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, 1989. Presented at the Logic Colloquium in Memory of Hugo Ribeiro.
[27] J. Carmo and A. Sernadas. Inevitability in branching time. In A. Meyer
and M. Taitshin, editors, Logic at Botik 89, volume 363 of Lecture Notes
in Computer Science, pages 41–62. Springer-Verlag, 1989.
[28] J. Carmo and A. Sernadas. Branching versus linear logics yet again. Formal Aspects of Computing, 2(1):24–59, 1990.
[29] J. Carmo and A. Sernadas. Formal techniques for systems specification
and verification. Information Systems, 16(3):245–272, 1991.
[30] J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionı́sio, and C. Caleiro.
Introdução à Programação em Mathematica (Introduction to Programming
in Mathematica). IST Press, 1999.
[31] P. Carmo and P. Penedo. The Gnome compiler. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 1994. In Portuguese. Diploma Thesis.
Supervised by A. Sernadas.
[32] P. Carreira, M. Rosa, J. P. Neto, and J. F. Costa. Building a neural
computer. Research Report TR-98-8, FCUL, 1700 Lisboa, Portugal, 1998.
3
[33] A. Carvalho. Category theory in COQ. Technical report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1998. Diploma thesis. Supervised by A. Sernadas and P. Mateus.
[34] J. Carvalho. Completude em lógicas modais e temporais (Completeness in
modal and temporal logics). Master’s thesis, IST, Universidade Técnica
de Lisboa, 1996. In Portuguese. Supervised by C. Sernadas.
[35] H. Coelho, G. Gaspar, and C. Sernadas. Societies of knowledge based
systems. In Proceedings of EuropIA. Hermes Editions, 1988.
[36] B. Coheur and J. F. Costa. On the implementation of cooperative oscillators applied to locomotion problems. In G. Lasker, D. Dubois, and
B. Teiling, editors, Advances in Modeling Antecipative Systems, pages 89–
93. International Institute for Advanced Studies in Systems Research and
Cybernetics, 1996.
[37] M. E. Coniglio, A. T. Martins, A. Sernadas, and C. Sernadas. Fibring
(para)consistent logics. Research report, Section of Computer Science,
Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa,
Portugal, 2000. Extended abstract. Presented at II World Congress on
Paraconsistency - WCP’00.
[38] S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving logical specification in information systems. In J. Chomicki and G. Saake, editors, Logic
for Databases and Information Systems, pages 199–228. Kluwer Academic
Publishers, 1998.
[39] J. F. Costa. Teoria algébrica dos processos animados (Algebraic theory of
active processes). Master’s thesis, IST, Universidade Técnica de Lisboa,
1990. In Portuguese. Supervised by A. Sernadas.
[40] J. F. Costa. Fundamentos Matemáticos da Concorrência (Mathematical
Foundations of Concurrency). PhD thesis, IST, Universidade Técnica de
Lisboa, 1992. In Portuguese. Supervised by A. Sernadas.
[41] J. F. Costa. A nova ciência da complexidade, recensão crı́tica de At
Home in the Universe, The Search for the Laws of Self-Organization and
Complexity, de Stuart Kauffman. Disputatio, 1:44–47, 1996.
[42] J. F. Costa. Génese da Revolução Astronómica (Genesis of the Astronomical Revolution). Escolar Editora, 2000.
[43] J. F. Costa. Hypercomputation in the limits of classical physical reality.
Review of Neural Networks and Analog Computation - Beyond the Turing
Limit, by Hava Siegelmann. Birkhauser, 1999. ACM Computing Reviews,
in print.
4
[44] J. F. Costa and A. Sernadas. Cálculo de actividades e transacções (Calculus of activities and transactions). Estudos de Economia, 13(3):293–317,
1993. In Portuguese. Menção Honrosa do Prémio Cientı́fico IBM 1992.
[45] J. F. Costa and A. Sernadas. A categorial framework of process interconnection. The INESC Journal of Research and Development, 4(1):81–93,
1993.
[46] J. F. Costa and A. Sernadas. Progress assumption in concurrent systems.
Formal Aspects of Computing, 7(1):18–36, 1995.
[47] J. F. Costa, A. Sernadas, and C. Sernadas. OBL-89 users manual. Research report, Section of Computer Science, Department of Mathematics,
Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1989.
[48] J. F. Costa, A. Sernadas, and C. Sernadas. Data encapsulation and modularity: Three views of inheritance. In A. Borzyszkowski and S. Sokolowski,
editors, Mathematical Foundations of Computer Science 93, volume 711
of Lecture Notes in Computer Science, pages 382–391. Springer-Verlag,
1993.
[49] J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond
subtyping. Acta Informatica, 31:5–26, 1994.
[50] J. F. Costa, A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object interaction. In I. Havel and V. Koubek, editors, Mathematical Foundations of
Computer Science 92, volume 629 of Lecture Notes in Computer Science,
pages 200–208. Springer-Verlag, 1992.
[51] M. J. Coutinho. Estudo categorial do relacionamento entre lógicas (A
categorial study of relationships between logics). Master’s thesis, IST,
Universidade Técnica de Lisboa, 1997. In Portuguese. Supervised by C.
Sernadas.
[52] G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A linear temporal logic
approach to objects with transactions. In M. Johnson, editor, Algebraic
Methodology and Software Technology, volume 1349 of Lecture Notes in
Computer Science, pages 170–184. Springer-Verlag, 1997.
[53] F. M. Dionı́sio. Um modelo e submodelos categoriais de processos concorrentes (A categorial model and submodels of concurrent processes). Master’s thesis, IST, Universidade Técnica de Lisboa, 1991. In Portuguese.
[54] F. M. Dionı́sio, S. Brass, and M. Ryan. Reasoning about extensions. In
U. Lipeck and G. Koschorreck, editors, IS-CORE’93 - Proceedings, pages
178–196. University of Hannover, 1993.
5
[55] F. M. Dionı́sio, U. Lipeck, and S. Brass. Composition and instantiation
mechanisms for default theories. Research report, Institut fur Informatik,
University of Hannover, Lange Laube 22, Hannover, Germany, 1995. Presented at the 2nd Dutch-German Workshop on Non-monotonic Reasoning
Techniques and their Applications.
[56] F. M. Dionı́sio, U. Lipeck, and S. Brass. Composition of default specifications. In R. Wieringa and R. Feenstra, editors, IS-CORE’94 - Selected
papers, pages 207–221. World Scientific Publishers, 1995.
[57] F. M. Dionı́sio. Composition of Hierarchic Default Specifications. PhD
thesis, University of Hannover, Germany, 1997. Supervised by U. Lipeck.
[58] F. M. Dionı́sio, S. Brass, M. Ryan, and U. Lipeck. Hypothetical reasoning
with defaults. In Ilkka Niemelä and Torsten Schaub, editors, Proceedings
of the Workshop on Computational Aspects of Nonmonotonic Reasoning,
pages 9–15. Helsinki University of Technology, 1998.
[59] F. M. Dionı́sio and U. Lipeck. Specifying with defaults: Compositional
semantics. In Francesco Parisi Presicce, editor, Recent Trends in Data
Type Specification, volume 1376 of Lecture Notes in Computer Science,
[60] L. Dominguez. Prototipagem da lógica unity no ambiente equacional
2OBJ (Prototyping of the unity logic in the equational environment
2OBJ). Master’s thesis, IST, Universidade Técnica de Lisboa, 1993. In
Portuguese. Supervised by G. Reichwein.
[61] H.-D. Ehrich and C. Caleiro. Specifying communication in distributed
information systems. Acta Informatica, 36:591–616, 2000.
[62] H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In J. Chomicki and G. Saake, editors,
Logic for Databases and Information Systems, pages 167–198. Kluwer Academic Publishers, 1998.
[63] H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing systems as object
communities. In M.C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT
93: Theory and Practice of Software Development, volume 668 of Lecture
Notes in Computer Science, pages 453–467. Springer-Verlag, 1993.
[64] H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type
Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in Computer Science, pages
[65] H.-D. Ehrich, J. Goguen, and A. Sernadas. A categorial theory of objects
as observed processes. In J. de Bakker, W.-P de Roever, and G. Rozenberg,
6
editors, Foundations of Object-Oriented Languages, volume 489 of Lecture
[66] H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-oriented
design of information systems: Theoretical foundations. In J. Paredaens
and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201–218. Springer-Verlag, 1994.
[67] H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of object orientation. In R. Studer, editor, Informationssysteme und Künstliche Intelligenz, pages 1–17. Springer-Verlag, 1992.
[68] H.-D. Ehrich and A. Sernadas. Algebraic implementation of objects over
objects. In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors,
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 239–
266. Springer-Verlag, 1990.
[69] H.-D. Ehrich and A. Sernadas. Local specification of distributed families
of sequential objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors,
Recent Trends in Data Type Specification, volume 906 of Lecture Notes in
[70] H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract object types for
databases. In K. Dittrich, editor, Advances in Object-Oriented Database
Systems, pages 144–149. Springer-Verlag, 1988.
[71] H.-D. Ehrich, A. Sernadas, and C. Sernadas. Objects, object types and
object identity. In H. Ehrig et al, editor, Categorical Methods in Computer Science with Aspects from Topology, volume 393 of Lecture Notes in
[72] H.-D. Ehrich, A. Sernadas, and C. Sernadas. From data types to object
types. Journal of Information Processing and Cybernetics EIK, 26(1):33–
48, 1990.
[73] J. Fiadeiro. Cálculo de Objectos e Eventos (A Calculus for Reasoning with
Objects and Events). PhD thesis, IST, Universidade Técnica de Lisboa,
1989. In Portuguese. Supervised by A. Sernadas.
[74] J. Fiadeiro and J. F. Costa. Espelho, espelho meu (Mirror, mirror). In Actas do III Encontro de Algebristas Portugueses, pages 71–86. U Coimbra,
1993. In Portuguese.
[75] J. Fiadeiro and J. F. Costa. Institutions for behaviour specification. In
E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data
Type Specification, volume 906 of Lecture Notes in Computer Science,
7
[76] J. Fiadeiro and J. F. Costa. Mirror, mirror in my hand... a duality between
specifications and models of process behaviour. Journal of Mathematical
Structures in Computer Science, 6:353–373, 1996.
[77] J. Fiadeiro, J. F. Costa, A. Sernadas, and T. Maibaum. Process semantics
of temporal logic specification. In M. Bidoit and C. Choppy, editors,
Recent Trends in Data Type Specification: 8th Workshop on Specification
of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in
[78] J. Fiadeiro and A. Sernadas. Behavioural aspects of intelligent knowledgebased information systems. In C. Rolland, F. Bodart, and M. Leonard,
editors, Temporal Aspects in Information Systems, pages 77–92. NorthHolland, 1988.
[79] J. Fiadeiro and A. Sernadas. Specification and verification of database
dynamics. Acta Informatica, 25:625–661, 1988.
[80] J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In
D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types - Selected
Papers, volume 332 of Lecture Notes in Computer Science, pages 44–72.
Springer-Verlag, 1988.
[81] J. Fiadeiro and A. Sernadas. Logics of modal terms for systems specification. Journal of Logic and Computation, 1(2):187–227, 1990.
[82] J. Fiadeiro and A. Sernadas. Structuring theories for knowledge representation. In J. Falcão e Cunha, editor, Terceira Escola Avançada em
Inteligência Artificial, pages 21–25. APPIA, 1992.
[83] J. Fiadeiro, A. Sernadas, and C. Sernadas. Knowledgebases as structured
theories. In K. Nori and S. Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, volume 338 of Lecture Notes in
[84] J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-theoretic
semantics of object-oriented specification constructs. In R. Meersman W.
Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design
and Construction, pages 243–284. North-Holland, 1991.
[85] J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and
structuring objects for conceptual schema development. In P. Loucopoulos and R. Zicari, editors, Conceptual Modelling, Databases and CASE:
An Integrated View of Information Systems Development, pages 117–138.
John Wiley, 1992.
[86] N. Garcia. Do Zero ao Infinito - Sucessões e Séries de Funções (From
Zero to Infinity - Sequences and Series of Functions). Escolar Editora,
1997.
8
[87] J. Gomes. Lógica temporal de objectos com tempo explı́cito (Temporal
object logic with explicit time). Master’s thesis, IST, Universidade Técnica
[88] P. Gouveia. Tableaux para raciocı́nio local sobre objectos (Tableaux for
local reasoning about objects). Master’s thesis, IST, Universidade Técnica
[89] P. Gouveia. Raciocı́nio Abdutivo sobre Especificações Temporais de Objectos (Abductive Reasoning over Temporal Specifications of Objects). PhD
thesis, IST, Universidade Técnica de Lisboa, 1998. In Portuguese. Supervised by C. Sernadas.
[90] P. Gouveia and C. Sernadas. Reasoning aspects in information systems
and databases. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 201–224. Universitat Politècnica de
Catalunya, 1993.
[91] P. Gouveia and C. Sernadas. Abduction in temporal object specification
using tableaux. In P. Baumgartner, R. Hahnle, and J. Possega, editors,
4th Workshop on Theorem Proving with Analytic Tableaux and Related
Methods - Poster Session and Short Papers, pages 43–48. University of
Koblenz, 1995.
[92] P. Gouveia and C. Sernadas. Introducing explanations in temporal object
specification. In R. Wieringa and R. Feenstra, editors, IS-CORE’94 Selected Papers, pages 53–68. World Scientific Publishers, 1995.
[93] P. Gouveia and C. Sernadas. Abductive reasoning over temporal specifications of objects. In K. Segerberg, M. Zakharyaschev, M. de Rijke, and
H. Wansing, editors, Advances in Modal Logic. Volume 2, pages 293–318.
CSLI Publications, 2000.
[94] P. Gouveia, C. Sernadas, J. Gomes, and J. Apolinário. Tableaux for reasoning about objects. In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge,
and C. Schwind, editors, Theorem Proving with Analytic Tableaux and Related Methods, pages 113–125. Max-Planck-Institut für Informatik, 1993.
[95] H. Guerra. Poder computacional das redes neuronais (Computational
power of neural networks). Master’s thesis, FC, Universidade de Lisboa,
1997. In Portuguese. Supervised by J. F. Costa.
[96] S. Guerra. Defaults in the Specification of Reactive Systems. PhD thesis,
IST, Universidade Técnica de Lisboa, 1999. Supervised by M. Ryan and
A. Sernadas.
[97] C. Hermida. Fibrations, logical predicates and related topics. PhD thesis,
University of Edinburgh, 1993. Tech. Report ECS-LFCS-93-277. Also
available as Aarhus Univ. DAIMI Tech. Report PB-462.
9
[98] C. Hermida. On fibred adjunctions and completeness for fibred categories.
In 9th WADT- 4th Compass Workshop, volume 785 of Lecture Notes in
Computer Science, pages 235–251. Springer Verlag, 1994.
[99] C. Hermida. Some properties of fib as a fibred 2-category. Journal of Pure
and Applied Algebra, 134(1):83–109, 1999. Presented at ECCT’94, Tours,
France.
[100] C. Hermida. Representable multicategories. Advances in Mathematics,
151:164–225, 2000.
[101] C. Hermida. From coherent structures to universal properties. Journal of
Pure and Applied Algebra, in print.
[102] C. Hermida and B. Jacobs. An algebraic view of structural induction.
In L. Pacholski and J. Tiuryn, editors, Proceedings CSL’94, Computer
Science Logic, volume 933 of Lecture Notes in Computer Science, pages
412–426. Springer-Verlag, May 1995.
[103] C. Hermida and B. Jacobs. Fibrations with indeterminates: Contextual
and functional completeness for polymorphic lambda calculi. Mathematical Structures in Computer Science, 5:501–531, 1995.
[104] C. Hermida and B. Jacobs. Structural induction and coinduction in a
fibrational setting. Information and Computation, 145(2):107–152, 1998.
[105] C. Hermida, M. Makkai, and P. Power. Higher-dimensional multigraphs.
In Logic in Computer Science (LICS) ’98. IEEE, 1998.
[106] C. Hermida, M. Makkai, and P. Power. On the definition of weak higherdimensional categories I, part I. Journal of Pure and Applied Algebra, in
print.
[107] C. Hermida and P. Mateus. Internal paracategories. Preprint, Section
of Computer Science, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 2000. Submitted for publication.
[108] C. Hermida and J. Power. Fibrational control structures. In I. Lee and
S. Smolka, editors, Proceedings CONCUR’95: Concurrency Theory, volume 962 of Lecture Notes in Computer Science, pages 117–129. SpringerVerlag, August 1995.
[109] H. Hüttel, J. Kleist, U. Nestmann, and A. Ravara, editors. Proceedings
of the Workshop on Semantics of Objects as Processes SOAP’99, volume
NS-99-2 of BRICS Notes Series. Danish Institute of Basic Research in
Computer Science, 1999. Lisbon, Portugal, June 15, 1999.
[110] R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll: A
language for object-oriented specification of information systems. ACM
Transactions on Information Systems, 14(2):175–211, 1996.
10
[111] R. Jungclaus, G. Saake, and C. Sernadas. Formal specification of object
systems. In S. Abramski and T. Maibaum, editors, TAPSOFT 91: Theory
and Practice of Software Development, volume 494 of Lecture Notes in
[112] R. Jungclaus, G. Saake, and C. Sernadas. Using active objects for query
processing. In R. Meersman W. Kent and S. Khosla, editors, Object
Oriented Databases: Analysis, Design and Construction, pages 285–303.
North-Holland, 1991.
[113] R. Li and A. Sernadas. Reasoning about objects using tableau method.
Journal of Logic and Computation, 1(5):575–611, 1991.
[114] G. Lohman, A. Sernadas, and R. Camps, editors. Proceedings of the
Seventeenth International Conference on Very Large Data Bases. VLDB,
1991.
[115] A. Lopes. Herança na especificação OBLOG: Um sistema correcto e adequado de reescrita do comportamento (Inheritance in OBLOG specification: A sound and correct rewriting system for behaviour). Master’s thesis,
IST, Universidade Técnica de Lisboa, 1993. In Portuguese. Supervised by
J. F. Costa.
[116] A. Lopes and J. F. Costa. Rewriting for reuse. In J. Souquières, editor,
Proceedings of the ERCIM Workshop on Development and Transformation
of Programs, pages 43–55. ERCIM, 1993.
[117] A. Lopes, J. F. Costa, and D. Montesi. Process semantics for resolution.
In K. Bosschere, J.-M. Jacquet, and A. Brogi, editors, Proceedings of
the ICLP’94 Post-Conference Workshop on Process-Based Parallel Logic
Programming, pages 91–114, 1994.
[118] H. Lourenço. Specification and Verification of Hybrid Systems. PhD thesis,
IST, Universidade Técnica de Lisboa, in preparation. To be submitted in
2002. Supervised by A. Sernadas.
[119] H. Lourenço and A. Sernadas. Combining hybrid systems. Research report, Section of Computer Science, Department of Mathematics, Instituto
Superior Técnico, 1049-001 Lisboa, Portugal, 1999.
[120] H. Lourenço and A. Sernadas. An institution of hybrid systems. In Didier
Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in
[121] H. Lourenço, A. Sernadas, and C. Sernadas. Aggregation and interconnection of hybrid automata: Categorial characterization. Research report,
Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1998. Presented at FIREworks
Meeting, Magdeburg, May 15-16.
11
[122] J. Maçãs. Computação no limiar do eu - Um novo algoritmo evolutivo
(Computation on the threshold of the self - A new evolutive algorithm).
Master’s thesis, FC, Universidade de Lisboa, 1997. In Portuguese. Supervised by J. F. Costa.
[123] F. Martins. Computação em redes idiotı́picas (Computing with idiotipic
networks). Technical report, Universidade dos Açores, 9500 Ponta Delgada, Portugal, 2000. PAPCC thesis, in Portuguese - Supervised by J. F.
Costa.
[124] S. Martins. Estruturas lógicas proposicionais monótonas e não monótonas
(Monotonic and non monotonic propositional logic structures). Master’s
thesis, IST, Universidade Técnica de Lisboa, 1999. In Portuguese. Supervised by F. M. Dionı́sio.
[125] P. Mateus. Categorial results in compositional model checking. Technical
report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1997. Diploma thesis.
[126] P. Mateus. Interconnection of Probabilistic Systems. PhD thesis, IST,
Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas and C.
Sernadas.
[127] P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and
C. Sernadas. Randomly timed automata. Preprint, Section of Computer
Science, Department of Mathematics, Instituto Superior Técnico, 1049001 Lisboa, Portugal, March 2000. Submitted for publication.
[128] P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas. Probabilistic situation calculus. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa,
Portugal, March 2000. Submitted for publication.
[129] P. Mateus, A. Sernadas, and C. Sernadas. Precategories for combining
probabilistic automata. Electronic Notes in Theoretical Computer Science,
29, 1999. Early version presented at FIREworks Meeting, Magdeburg,
May 15-16, 1998. Presented at CTCS’99, Edinburgh, September 10-12,
1999.
[130] P. Mateus, A. Sernadas, and C. Sernadas. Realization of probabilistic
automata: Categorical approach. In Didier Bert and Christine Choppy,
editors, Recent Trends in Algebraic Development Techniques - Selected
Papers, volume 1827 of Lecture Notes in Computer Science, pages 237–
251. Springer-Verlag, 2000.
[131] R. Meersman and A. Sernadas, editors. Data and Knowledge. NorthHolland, 1988.
12
[132] P. B. Menezes. Reificação de Objectos Concorrentes (Reification of Concurrent Objects). PhD thesis, IST, Universidade Técnica de Lisboa, 1997.
In Portuguese. Supervised by A. Sernadas.
[133] P. B. Menezes and J. F. Costa. Compositional reification of concurrent
systems. Journal of the Brazilian Computer Society, 2:50–67, 1995.
[134] P. B. Menezes and J. F. Costa. Synchronization in petri nets. Fudamenta
Informaticae, 26:11–22, 1996.
[135] P. B. Menezes and J. F. Costa. Systems for systems implementation.
In G. Lasker, D. Dubois, and B. Teiling, editors, Advances in Modeling
Antecipative Systems, pages 84–88. International Institute for Advanced
Studies in Systems Research and Cybernetics, 1996.
[136] P. B. Menezes, J. F. Costa, and A. Sernadas. Refinement mapping for
(discrete event) system theory. In F. Pichler, R. Moreno Diaz, and R. Albrecht, editors, Computer Aided System Technology, EUROCAST’95, volume 1030 of Lecture Notes in Computer Science, pages 103–116. SpringerVerlag, 1996.
[137] P. B. Menezes, A. Sernadas, and J. F. Costa. Refinement in a concurrent object-base language. In R. Bigonha, editor, Proceedings of the
First Brazilian Symposium on Programming Languages, pages 237–250.
Sociedade Brazileira de Computação, 1996.
[138] P. B. Menezes, A. Sernadas, and J. F. Costa. Nonsequential automata
semantics for a concurrent object-based language. Electronic Notes in
Theoretical Computer Science, 14, 1998.
[139] D. Montesi and J. F. Costa. A model for concurrent heterogeneous
databases. In Proceedings of the Second Americas Conference on Information Systems. Association for Information Systems, 1996.
[140] U. Nestmann and A. Ravara. Semantics of objects as processes (SOAP). In
Object-Oriented Technology – ECOOP’99 Workshop Reader, volume 1743
of Lecture Notes in Computer Science, pages 314–325. Springer-Verlag,
1999. An introduction to, and summary of, the 2nd International SOAP
Workshop.
[141] U. Nestmann and A. Ravara. What’s tyco, after all? Research report, Section of Computer Science, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 2000. Short abstract. Presented at
Express’00, satellite event of CONCUR’00.
[142] J. P. Neto, J. F. Costa, and H. Coelho. Lower bounds of computational power of a synaptic calculus. In J. Mira, R. Moreno-Diaz, and
J. Cabestany, editors, Biological and Artificial Computation: From Neuroscience to Technology, volume 1240 of Lecture Notes in Computer Science,
13
[143] J. P. Neto, J. F. Costa, and A. Ferreira. Merging symbolic and subsymbolic
computation. In H. Bothe and R. Rojas, editors, Proceedings of the Second
International ICSC Symposium on Neural Computation (NC’00), pages
329–335. ICSC Academic Press, 2000.
[144] J. P. Neto, H. T. Siegelmann, and J. F. Costa. Implementation of programming languages with neural nets. In D. Dubois, editor, CASYS’97,
pages 200–208. Chaos, 1998. Invited paper.
[145] J. P. Neto, H. T. Siegelmann, and J. F. Costa. Symbolic processing in
neural networks. Journal of the Brazilian Computer Society, in print.
[146] J. P. Neto, H. T. Siegelmann, J. F. Costa, and C. P. Suárez Araujo. Turing universality of neural nets (revisited). In F. Pichler and R. MorenoDiaz, editors, Computer Aided System Technology, EUROCAST’97, volume 1333 of Lecture Notes in Computer Science, pages 361–366. SpringerVerlag, 1997.
[147] A. L. Nunes. Temporalização de lógicas (Temporalisation of logics). Master’s thesis, IST, Universidade Técnica de Lisboa, 1998. In Portuguese.
Supervised by C. Sernadas.
[148] S. Pacheco. Situation Calculus in COQ. Technical report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1998. Diploma thesis. Supervised by A. Sernadas and J. Ramos.
[149] N. Paiva. Temporal logic in COQ. Technical report, Section of Computer
Science, Department of Mathematics, Instituto Superior Técnico, 1049001 Lisboa, Portugal, 1998. Diploma thesis. Supervised by A. Sernadas
and C. Caleiro.
[150] C. Paredes, J. Fiadeiro, and J. F. Costa. Object reuse and composition within a formal framework. In P. Constantopoulos and Y. Vassiliou,
editors, Proceedings of the ERCIM Workshop on Methods and Tools for
Software Reuse, pages 162–182. ERCIM, 1992.
[151] C. Paredes, J. Fiadeiro, and J. F. Costa. Architectural specifications:
Modeling and structuring behavior through rules. In H. Kilov and W. Harvey, editors, Object-oriented Behavioral Specifications, pages 221–240.
Kluwer Academic Publishers, 1996.
[152] J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism
and uncertainty in the Situation Calculus. In A. Kumar and I. Russell,
editors, Proceedings of the FLAIRS’99 - the 12th International Florida AI
Research Symposium, pages 454–460. AAAI Press, 1999. Short version of
[153].
14
[153] J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and
uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8(2):127–149, 2000. Full
version of [152].
[154] J. Ramos. Lógica de certificação Gnome (Gnome certification logic). Master’s thesis, IST, Universidade Técnica de Lisboa, 1994. In Portuguese.
[155] J. Ramos. The situation and state calculus. In A. Drewery, G.-J. Kruijff,
and R. Zuber, editors, Proceedings of the Second ESSLII Student Session,
1997.
[156] J. Ramos. The Situation and State Calculus: Specification and Verification. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised
by A. Sernadas.
[157] J. Ramos and A. Sernadas. A brief introduction to Gnome. Research report, Section of Computer Science, Department of Mathematics, Instituto
Superior Técnico, 1049-001 Lisboa, Portugal, 1995.
[158] J. Ramos and A. Sernadas. The situation and state calculus versus branching temporal logic. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, Selected Papers, volume 1589 of Lecture Notes in
[159] J. Rasga. Transference Results in the Combination of Logics. PhD thesis,
IST, Universidade Técnica de Lisboa, in preparation. To be submitted in
2003. Supervised by A. Sernadas.
[160] J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled
deduction systems. Journal of Logic and Computation, in print.
[161] A. Ravara. Semântica da linguagem Gnome em TyCO (Semantics of
Gnome over TyCO). Master’s thesis, IST, Universidade Técnica de Lisboa, 1996. In Portuguese. Supervised by A. Sernadas.
[162] A. Ravara. Typing Non-Uniform Concurrent Objects. PhD thesis, IST,
Universidade Técnica de Lisboa, 2000. Supervised by V. Vasconcelos and
A. Sernadas.
[163] A. Ravara and L. Lopes. Programming and implementation issues in nonunifom tyco. Technical report, Section of Computer Science, Department
of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal,
1999. Presented at OOSDS’99 (Satellite Event of ICFP’99), Paris.
[164] A. Ravara, P. Resende, and V. Vasconcelos. Towards an algebra of dynamic object types. In ICALP’98 workshop Semantics of Objects as Processes. BRICS Note Series, 1998.
15
[165] A. Ravara, P. Resende, and V. Vasconcelos. An algebra of behavioural
types. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1999. Submitted for publication.
[166] A. Ravara and V. Vasconcelos. Operational semantics and type system for
Gnome on TYped Concurrent Objects. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming. Dpunkt Verlag, 1996. Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP’96). Available as Research Report DM-IST 17/96.
[167] A. Ravara and V. Vasconcelos. Behavioural types for a calculus of concurrent objects. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, 3rd
International Euro-Par Conference, volume 1300 of Lecture Notes in Computer Science, pages 554–561. Springer-Verlag, 1997. Full version available
as DM-IST Research Report 06/97.
[168] A. Ravara and V. Vasconcelos. Typing non-uniform concurrent objects.
In C. Palamidessi, editor, CONCUR’00, volume 1877 of Lecture Notes in
Computer Science, pages 474–488. Springer-Verlag, 2000. Short version
of [169].
[169] A. Ravara and V. Vasconcelos. Typing non-uniform concurrent objects.
Research report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Extended version of [168].
[170] G. Reichwein, A. Sernadas, and J. Fiadeiro. Ensuring and maintaining
quality through formal object-oriented design. In A. Bertolino and M. Fusani, editors, Software Quality Principles and Techniques, pages 55–67.
ERCIM, 1992.
[171] P. Resende. Tableaux para lógica dinâmica proposicional (Tableaux for
propositional dynamic logic). Master’s thesis, IST, Universidade Técnica
de Lisboa, 1991. In Portuguese. Supervised by A. Sernadas.
[172] P. Resende. A monoidal category of observable systems. Research report,
Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1995. Presented at COMPASS
Working Meeting, Sintra.
[173] P. Resende. Observational system specification. In R. Wieringa and
R. Feenstra, editors, IS-CORE’94 - Selected Papers, pages 135–151. World
Scientific Publishers, 1995.
[174] P. Resende. Towards a denotational semantics of imperative objects. Research report, Section of Computer Science, Department of Mathematics,
Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1995. Presented
at IS-CORE’95 and 11th ADT Workshop.
16
[175] P. Resende. Tropological Systems and Observational Logic in Concurrency
and Specification. PhD thesis, IST, Universidade Técnica de Lisboa, 1998.
[176] P. Resende. Modular specification of concurrent systems with observational logic. In J. Fiadeiro, editor, Recent Trends in Algebraic Development
Techniques, Selected Papers, volume 1589 of Lecture Notes in Computer
Science, pages 310–325. Springer-Verlag, 1999.
[177] P. Resende. Quantales, concurrent observations and event structures.
publication.
[178] P. Resende. Quantales and observational semantics. In B. Coecke,
D. Moore, and A. Wilce, editors, Current Research in Operational Quantum Logic: Algebras, Categories and Languages, volume 111 of Fundamental Theories of Physics, pages 263–288. Kluwer Academic Publishers,
2000. Invited paper.
[179] P. Resende. Quantales as spaces of dynamical systems. In A. Carboni,
G. Rosolini, and R. Walters, editors, Abstracts of the International Summer Conference in Category Theory (CT2000), pages 165–171. Centro di
Cultura Scientifica “Alessandro Volta” di Villa Olmo, Como, Italy, 2000.
[180] P. Resende. Quantales, finite observations and strong bisimulation. Theoretical Computer Science, in print.
[181] P. Resende and S. Vickers. Localic sup-lattices and tropological systems.
Preprint 28/00, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, October 2000. Submitted for publication.
[182] P. Rodrigues. Verificação de propriedades em redes neuronais (Verification
of properties in neural networks). Master’s thesis, FC, Universidade de
Lisboa, 2000. In Portuguese. Supervised by J. F. Costa.
[183] P. Rodrigues, J. F. Costa, and H. T. Siegelmann. Verifying properties
of neural nets. Preprint, Section of Computer Science, Department of
Mathematics, Instituto Superior Técnico, 2001. Submitted for publication.
[184] M. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default
frameworks. In R. Wieringa and R. Feenstra, editors, IS-CORE’94 - Selected papers, pages 155–172. World Scientific Publishers, 1995.
[185] G. Saake, R. Jungclaus, and C. Sernadas. Abstract data type semantics
for many-sorted object query algebra. In B. Thalheim, J. Demetrovics,
and H.-B. Gerhardt, editors, Mathematical Foundations of Data Base Systems, volume 495 of Lecture Notes in Computer Science, pages 291–307.
17
[186] G. Saake and A. Sernadas, editors. Esprit BRA IS-CORE 91 Workshop
- Selected Papers. TUBS, 1991.
[187] G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications.
In R. Wieringa and R. Feenstra, editors, IS-CORE’94 - Selected papers,
pages 84–99. World Scientific Publishers, 1995.
[188] S. Santana. Computação analógica em NetWay (Analog computation in
NetWay). Master’s thesis, FC, Universidade de Lisboa, 1997. In Portuguese. Supervised by J. F. Costa.
[189] J. Espı́rito Santo. Chu e Galois: Polaridade, conexão e adjunção (Chu
and Galois: Polarity, connection and adjunction). Master’s thesis, IST,
Universidade Técnica de Lisboa, 1997. In Portuguese. Supervised by C.
Sernadas.
[190] D. Santos. Tense and Aspect in English and Portuguese: A Contrastive
Semantical Study. PhD thesis, IST, Universidade Técnica de Lisboa, 1996.
Supervised by L. Carlson and A. Sernadas.
[191] P.-Y. Schobbens, G. Saake, A. Sernadas, and C. Sernadas. U2: A two-level
temporal logic for evolving specifications. Preprint, Section of Computer
Science, Department of Mathematics, Instituto Superior Técnico, 1049001 Lisboa, Portugal, 1999. Submitted for publication.
[192] L. Schröder and P. Mateus. Universal aspects of probabilistic automata.
publication.
[193] A. Sernadas. Book Review – Fibring Logics by Dov M. Gabbay. Journal
of Logic, Language, and Information, 9(4):511–513, 2000.
[194] A. Sernadas, J. F. Costa, and C. Sernadas. Object specification with diagrams: Oblog approach. Research report, Section of Computer Science,
Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa,
Portugal, 1992. In Portuguese. Awarded the Descartes Prize by the Data
Processing Institute of the Ministry of Finances of Portugal.
[195] A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type
Specification, volume 785 of Lecture Notes in Computer Science, pages
[196] A. Sernadas and H.-D. Ehrich. What is an object, after all? In R. Meersman, W. Kent, and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 39–69. North-Holland, 1991.
[197] A. Sernadas, H.-D. Ehrich, and J. F. Costa. From processes to objects.
The INESC Journal of Research and Development, 1(1):7–27, 1990.
18
[198] A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract object types: A temporal perspective. In B. Banieqbal, H. Barringer, and
A. Pnueli, editors, Temporal Logic in Specification, volume 398 of Lecture
[199] A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building blocks of information systems. In E. Falkenberg and P. Lindgreen,
editors, Information Systems Concepts: An In-Depth Analysis, pages 225–
246. North-Holland, 1989.
[200] A. Sernadas and C. Sernadas. Abstraction and inference mechanisms for
knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91–111. Springer-Verlag,
1989.
[201] A. Sernadas and C. Sernadas. Denotational semantics of object specification within an arbitrary temporal logic institution. Research report,
Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1993. Presented at IS-CORE
Workshop 93.
[202] A. Sernadas and C. Sernadas. Object certification. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 1994. Presented at DAISD Workshop
94.
[203] A. Sernadas and C. Sernadas. Theory spaces. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 1995. Presented at 11th ADT Workshop.
[204] A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217–247, 1997.
[205] A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with
mixed rules: Completeness preservation. In M. Johnson, editor, Algebraic
Methodology and Software Technology, volume 1349 of Lecture Notes in
[206] A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of
object specification. Acta Informatica, 35:729–773, 1998.
[207] A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial
construction. Journal of Logic and Computation, 9(2):149–179, 1999.
[208] A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial
fibring of logics with terms and binding operators. In D. Gabbay and
M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295–316.
Research Studies Press, 2000.
19
[209] A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic.
Journal of Logic and Computation, 5(5):603–630, 1995.
[210] A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to
object certification. Data and Knowledge Engineering, 19:267–294, 1996.
[211] A. Sernadas, C. Sernadas, and J. Valença. A theory-based, topological
notion of institution. In E. Astesiano, G. Reggio, and A. Tarlecki, editors,
Recent Trends in Data Type Specification, volume 906 of Lecture Notes in
[212] C. Sernadas. Introdução à Teoria da Computação (An Introduction to
Computing Theory). Editorial Presença, 1993.
[213] C. Sernadas and J. Fiadeiro. Towards object-oriented conceptual modeling. Data and Knowledge Engineering, 6(6):479–508, 1991.
[214] C. Sernadas, J. Fiadeiro, R. Meersman, and A. Sernadas. Proof-theoretic
conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis,
[215] C. Sernadas, J. Fiadeiro, and A. Sernadas. Modular construction of logic
knowledge bases: An algebraic approach. Information Systems, 15(1):37–
59, 1990.
[216] C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual
modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors,
The Role of Artificial Intelligence in Databases and Information Systems,
[217] C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The
reification dimension in object-oriented data base design. In D. Harper
and M. Norrie, editors, Specification of Database Systems, pages 275–299.
[218] C. Sernadas, P. Gouveia, and M. A. Lopes. Gentzen-type system for
verification in conceptual modeling. In J. Göers, A. Heuer, and G. Saake,
editors, Foundations of Models and Languages for Data and Objects, pages
215–228. TU Clausthal, 1991.
[219] C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered definition
of conceptual schemata. In E. Falkenberg, C. Rolland, and E. N. El-Sayed,
editors, Information System Concepts, pages 19–51. North-Holland, 1992.
[220] C. Sernadas, P. Gouveia, L. Silva, and M. A. Lopes. Objects as structuring
units for incorporating dynamics in deductive conceptual modeling. In
The Deductive Approach to Information Systems and Databases 90, pages
93–110. Universitat Politècnica de Catalunya, 1990.
20
[221] C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, and
A. Sernadas. An object-oriented representation of the dogmatics of omission to help in criminal law. In A. Martino, editor, Computers, Logic and
Law, pages 781–809. Istituto per la Documentazione Giuridica, Pisa, Italy,
1989.
[222] C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large objectoriented design of information systems. In F. Van Assche, B. Moulin,
and C. Rolland, editors, The Object-Oriented Approach in Information
Systems, pages 209–232. North-Holland, 1991.
[223] A. R. Silva. Serialização e paralelização (Serializability and parallelization). Master’s thesis, IST, Universidade Técnica de Lisboa, 1991. In
Portuguese. Supervised by C. Sernadas.
[224] S. Silva. Previsão da estrutura secundária de proteı́nas utilizando redes
neuronais (Prediction of the secondary structure of proteins using neural
networks). Master’s thesis, FC, Universidade de Lisboa, 1999. In Portuguese. Supervised by J. F. Costa and P. Silva.
[225] J. Sousa, C. Sernadas, and A. Sernadas. An object-oriented specification
tool for graphical interfaces. Computers and Graphics, 14(1):29–40, 1990.
[226] V. Vasconcelos and A. Ravara. Comunication errors in the pi-calculus are
undecidable. Information Processing Letters, 71:229–233, 1999.
[227] A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, in print.
21

Logic and Computation Group - The Unit of Logic and Computation

Transcrição

Documentos relacionados

Lingua e Traduzione Portoghese 2 LM94

Lingua Portoghese III anno

A la una naci yo. A las dos me engrandecí. A las tres tenía amante

Werbung Stuttgart 14.04.2014

We need Portuguese in the international stone business!

Junta de Andalucía. Consejería de Cultura Page 1 of 4 The J. Paul

exposições

Lista Acuerdos Inter institucionales 2015-2016

RESIDENCIAL DELTA 3 € 20 DUAS NACOES RESIDENCE 2 € 22

5.8. COOPERAÇÃO INTER-ORGANIZACIONAL A NÍVEL