Amílcar Sernadas Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas: One-way quantum finite automata together with classical states CoRR abs/0909.1428: (2009)
2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. 18(6): 885-911 (2008)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Logic Journal of the IGPL 16(2): 121-153 (2008)
2007
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas: Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379(1-2): 142-165 (2007)
2006
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About Imperative Quantum Programs. Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5): 771-794 (2006)
2005
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Amílcar Sernadas, Cristina Sernadas: Fibring Logics: Past, Present and Future. We Will Show Them! (1) 2005: 363-388
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic CoRR abs/math/0503453: (2005)
2004
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas: Reasoning About Quantum Systems. JELIA 2004: 239-251
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Logic Journal of the IGPL 12(3): 227-274 (2004)
2003
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas: Fibring Logics with Topos Semantics. J. Log. Comput. 13(4): 595-624 (2003)
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas: Truth-values as Labels: A General Recipe for Labelled Deduction. Journal of Applied Non-Classical Logics 13(3-4): 277-315 (2003)
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas: Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12(2): 183-211 (2003)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas: Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308(1-3): 393-427 (2003)
2002
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Labelled Deduction over Algebras of Truth-Values. FroCos 2002: 222-238
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas: A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83(3): 167-172 (2002)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Fibring Labelled Deduction Systems. J. Log. Comput. 12(3): 443-473 (2002)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Alberto Zanardo: Fibring Modal First-Order Logics: Completeness Preservation. Logic Journal of the IGPL 10(4): 413-451 (2002)
2001
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas: Combining Logics: Parchments Revisited. WADT 2001: 48-70
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas: Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001)
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Zanardo, Amílcar Sernadas, Cristina Sernadas: Fibring: Completeness Preservation. J. Symb. Log. 66(1): 414-439 (2001)
2000
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Non-Determinism and Uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 127-150 (2000)
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas: Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9(4): 511-513 (2000)
1999
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Conference 1999: 454-460
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Lourenço, Amílcar Sernadas: An Institution of Hybrid Systems. WADT 1999: 219-236
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas, Cristina Sernadas: Realization of Probabilistic Automata: Categorial Approach. WADT 1999: 237-251
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Mateus, Amílcar Sernadas, Cristina Sernadas: Precategories for combining probabilistic automata. Electr. Notes Theor. Comput. Sci. 29: (1999)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Fibring of Logics as a Categorial Construction. J. Log. Comput. 9(2): 149-179 (1999)
1998
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaime Ramos, Amílcar Sernadas: The Situation and State Calculus versus Branching Temporal Logic. WADT 1998: 293-309
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Cristina Sernadas, Amílcar Sernadas: Parameterisation of Logics. WADT 1998: 48-62
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Denotational Semantics of Object Specification. Acta Inf. 35(9): 729-773 (1998)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Blauth Menezes, Amílcar Sernadas, José Félix Costa: Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electr. Notes Theor. Comput. Sci. 14: (1998)
1997
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST 1997: 465-478
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Synchronization of Logics. Studia Logica 59(1): 217-247 (1997)
1996
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Jaime Ramos: A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19(3): 267-294 (1996)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Gunter Saake, Amílcar Sernadas: Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22(5/6): 521-553 (1996)
1995
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Blauth Menezes, José Félix Costa, Amílcar Sernadas: Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Félix Costa, Amílcar Sernadas: Progress Assumption in Concurrent Systems. Formal Asp. Comput. 7(1): 18-36 (1995)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, José Félix Costa: Object Specification Logic. J. Log. Comput. 5(5): 603-630 (1995)
1994
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas: Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT 1994: 219-235
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, José Manuel Valença: A Theory-based Typological Notion of Institutions. COMPASS/ADT 1994: 420-436
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas: Object Certification (Invited Lecture). DAISD 1994: 55-78
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Félix Costa, Amílcar Sernadas, Cristina Sernadas: Object Inheritance Beyond Subtyping. Acta Inf. 31(1): 5-26 (1994)
1993
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas: Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems 1993: 201-218
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlemens Böhm, Amílcar Sernadas: Real-Time Object Specification Logic. DAISD 1993: 159-173
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Félix Costa, Amílcar Sernadas, Cristina Sernadas: Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467
1992
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, José Félix Costa, Cristina Sernadas: An Institution of Object Behaviour. COMPASS/ADT 1992: 337-351
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas: Concepts of Object-Orientation. IS/KI 1992: 1-19
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, Paula Gouveia, Amílcar Sernadas: Refinement: Layered Definition of Conceptual Schemata. ISCO 1992: 19-51
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object Interaction. MFCS 1992: 200-208
1991
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy M. Lohman, Amílcar Sernadas, Rafael Camps: 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Morgan Kaufmann 1991
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas: Objects and their Specification. COMPASS/ADT 1991: 40-65
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Formal techniques for systems specification and verification. Inf. Syst. 16(3): 245-272 (1991)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenwei Li, Amílcar Sernadas: Reasoning about Objects Using a Tableau Method. J. Log. Comput. 1(5): 575-611 (1991)
1990
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Pedro Sousa, Cristina Sernadas, Amílcar Sernadas: An object-oriented specification tool for graphical interfaces. Computers & Graphics 14(1): 29-40 (1990)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: From Data Types to Object Types. Elektronische Informationsverarbeitung und Kybernetik 26(1/2): 33-48 (1990)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Branching versus Linear Logics Yet Again. Formal Asp. Comput. 2(1): 24-59 (1990)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas: Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15(1): 37-59 (1990)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Logics of Modal Terms for Systems Specification. J. Log. Comput. 1(2): 187-227 (1990)
1989
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Inevitability in Branching Time. Logic at Botik 1989: 41-62
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas: Algebraic Implementation of Objects over Objects. REX Workshop 1989: 239-266
1988
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Meersman, Amílcar Sernadas: Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal, 3-7 November, 1986 North-Holland 1988
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Objects and Object Types. ADT 1988
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Objects, Object Types, and Object Identification. Categorial Methods in Computer Science 1988: 142-156
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogério Carapuça, Luis Andrade, Amílcar Sernadas: A Database Design and Construction Workbench. Computerized Assistance During the Information Systems Life Cycle 1988: 261-286
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas: Object-Oriented Conceptual Modeling from Law. DS-3 1988: 305-327
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas: Knowledgebases as Structured Theories. FSTTCS 1988: 469-486
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Abstract Object Types for Databases. OODBS 1988: 144-149
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. Acta Inf. 25(6): 625-661 (1988)
1987
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Structuring Theories on Consequence. ADT 1987: 44-72
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems 1987: 31-46
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems 1987: 77-92
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich: Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification 1987: 324-350
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116
1986
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro: Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas: Future Information Systems (Panel). IFIP Congress 1986: 641-642
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85 (1986)
1985
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, Amílcar Sernadas: Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 1985: 121-140
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas: The Use of E-R Abstractions for Knowledge Representation. ER 1985: 224-231
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas: Abstraction and Inference Mechanism for Knowledge Representation. Foundations of Knowledge Base Management (Xania) 1985: 91-116
1982
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Graça Gaspar, José Granado: BIPS: A Layered Predicative Query Language for a DBTG Database System. JCDKB 1982: 73-93
1981
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas: SYSTEMATICS: Its Syntax and Semantics as a Query Language (1). Comput. J. 24(1): 56-61 (1981)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas: SYSTEMATICS: Its Syntax and Semantics as a Query Language (2). Comput. J. 24(2): 125-129 (1981)
1980
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187 (1980)

Coauthor Index

1Luis Andrade [20]
2Pedro Baltazar [90]
3Klemens Böhm [44]
4Carlos Caleiro [53] [55] [56] [57] [59] [60] [62] [63] [72] [78] [84] [87]
5Rafael Camps [37]
6Rogério Carapuça [20]
7José Carmo [14] [25] [28] [34]
8Walter Alexandre Carnielli [78]
9Rohit Chadha [86] [88] [89] [90]
10Marcelo E. Coniglio [78] [80]
11José Félix Costa [36] [38] [41] [43] [46] [50] [51] [52] [58]
12Luís Cruz-Filipe [89] [91] [92]
13Grit Denker [42] [45] [57] [62]
14Hans-Dieter Ehrich [11] [12] [17] [21] [22] [24] [29] [31] [32] [35] [38] [40] [42] [45] [49] [62]
15José Luiz Fiadeiro [8] [10] [12] [13] [15] [16] [18] [19] [26] [27] [36]
16Graça Gaspar [4]
17Martin Gogolla [35]
18Joseph A. Goguen [31]
19Paula Gouveia [39]
20José Granado [4]
21Ralf Jungclaus [45]
22Renwei Li [33]
23Guy M. Lohman [37]
24Hugo Lourenço [66]
25T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [36]
26Paulo Mateus [64] [65] [67] [69] [71] [72] [77] [81] [82] [83] [85] [86] [87] [88] [89] [90] [93]
27Robert Meersman [23]
28Paulo Blauth Menezes [52] [58]
29M. Morais [77]
30C. Nunes [77]
31António Pacheco [71] [77]
32Javier Pinto [67] [69] [71]
33Daowen Qiu [93]
34Jaime Ramos [54] [57] [61] [72]
35João Rasga [74] [76] [79] [92]
36Gunter Saake [40] [53] [75]
37Pierre-Yves Schobbens [75]
38Cristina Sernadas [5] [6] [7] [10] [11] [12] [17] [18] [19] [21] [22] [27] [29] [30] [38] [39] [41] [43] [46] [47] [48] [50] [54] [55] [56] [59] [60] [63] [64] [65] [67] [69] [70] [71] [73] [74] [75] [76] [77] [78] [79] [80] [81] [84] [87] [91] [92]
39João Pedro Sousa [30]
40José Manuel Valença [48]
41Luca Viganò [74] [76] [79] [81]
42Alberto Zanardo [70] [73]
43Xiangfu Zou [93]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)

亚洲五月综合自拍区_亚洲一日韩欧美中文字幕在线_亚洲愉拍自拍另类图片