T. S. E. Maibaum Home Page Coauthor index DBLP Vis pubzone.org

Thomas Stephen Edward Maibaum

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

DBLP keys2009
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electr. Notes Theor. Comput. Sci. 258(2): 17-34 (2009)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Deontic action logic, atomic boolean algebras and fault-tolerance. J. Applied Logic 7(4): 441-466 (2009)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Formal methods versus engineering. SIGCSE Bulletin 41(2): 6-12 (2009)
2008
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Cuéllar, T. S. E. Maibaum, Kaisa Sere: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Springer 2008
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaoying Liu, T. S. E. Maibaum, Keijiro Araki: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Springer 2008
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Alan Wassyng: A Product-Focused Approach to Software Certification. IEEE Computer 41(2): 91-93 (2008)
2007
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Zhe (Jessie) Li: A test framework for integration testing of object-oriented programs. CASCON 2007: 252-255
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Challenges in Software Certification. ICFEM 2007: 4-18
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe (Jessie) Li, T. S. E. Maibaum: An Approach to Integration Testing of Object-Oriented Programs. QSIC 2007: 268-273
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160
2006
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: On specifying systems that connect to the physical world. SoMeT 2006: 71-83
2005
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: The Epistemology of Validation and Verification Testing. TestCom 2005: 1-8
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum: A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005)
2004
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE 2004: 261-266
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR 2004: 318-328
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
2003
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard K. Aichernig, T. S. E. Maibaum: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Springer 2003
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003: 45-46
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88(1-2): 45-51 (2003)
2002
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST 2002: 1-25
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI 2002: 23-26
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Desert Island Column. Autom. Softw. Eng. 9(1): 123-126 (2002)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: (2002)
2001
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAspassia Daskalopulu, T. S. E. Maibaum: Towards Electronic Contract Performance. DEXA Workshop 2001: 771-777
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Martin Haeberer, T. S. E. Maibaum: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
2000
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings Springer 2000
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track 2000: 161-172
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods 2000
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Bernhard Rumpe: Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7(1): 7-8 (2000)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos H. C. Duarte, T. S. E. Maibaum: A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
1999
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita: Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzra Kaahwa Mugisa, T. S. E. Maibaum: A Framework for Describing Software Architectures for Reuse. WICSA 1999: 245-272
1998
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Pauline Kan, Kevin Lano: Systematising Reactive System Design. AMAST 1998: 17-22
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Martin Haeberer, T. S. E. Maibaum: The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271
1997
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: What We Teach Software Engineers in the University: Do We Take Engineering Seriously? ESEC / SIGSOFT FSE 1997: 40-50
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 1997: 40-66
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997)
1995
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)
1994
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
1993
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-9
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147
1992
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3): 239-272 (1992)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Editorial. J. Log. Comput. 2(3): 243-245 (1992)
1991
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) Springer 1991
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) Springer 1991
35no 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
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991)
1990
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
1989
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCelso Niskier, T. S. E. Maibaum, Daniel Schwabe: A Pluralistic Knowledge-Based Approach to Software Specification. ESEC 1989: 411-423
1988
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Configuration versus Use: Specification Languages versus Logics. ADT 1988
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDa-Hai Li, T. S. E. Maibaum: A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency 1988: 197-221
1987
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum: The Prescription and Description of State Based Systems. Temporal Logic in Specification 1987: 243-294
1986
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Modular Construction of Logics for Specification. ADT 1986
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142
1985
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, T. S. E. Maibaum: An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161 (1985)
1984
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Wladyslaw M. Turski: On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE 1984: 528-533
1983
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types. ADT 1983
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLForouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983)
1982
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Koch, T. S. E. Maibaum: A message oriented language for system applications. ICDCS 1982: 824-832
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Levy, T. S. E. Maibaum: Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982)
1981
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Roberto Freire Cunha, T. S. E. Maibaum: A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272
1980
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91
1979
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193
1978
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. 17(3): 319-330 (1978)
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 14(3): 369 (1977)
1974
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, T. S. E. Maibaum: Parallel Rewriting Systems on terms. ICALP 1974: 495-510
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 8(3): 409-439 (1974)
1972
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets FOCS 1972: 224-230

Coauthor Index

1Samson Abramsky [36] [37]
2Nazareno Aguirre [73] [76] [77] [79] [80] [82] [84] [87] [89] [91] [94] [97] [108] [109]
3Bernhard K. Aichernig [81]
4Paulo S. C. Alencar [91]
5Keijiro Araki [101]
6Marcelo Arroyo [89]
7Gabriel Baum (Gabriel A. Baum) [55] [67] [79] [87]
8Mario R. F. Benevides [39]
9Juan Bicarregui [49] [50] [52] [62] [66] [76] [84] [89]
10Pablo F. Castro [92] [95] [100] [104] [105] [107]
11José Félix Costa [35]
12Jorge Cuéllar [102]
13Karel Culik II [3]
14Paulo Roberto Freire Cunha (P. R. F. Cunha) [8] [9] [10] [11] [14]
15Aspassia Daskalopulu [69]
16Theodosis Dimitrakos [53] [59] [62] [66] [76]
17Carlos H. C. Duarte [60] [70]
18Islam A. M. El-Maddah [78] [83] [85]
19Maarten H. van Emden [7]
20José Luiz Fiadeiro [31] [32] [33] [34] [35] [40] [41] [43] [45] [46] [51] [58] [86]
21Marcelo F. Frias [55] [67] [79] [87] [109]
22Antonio L. Furtado [21]
23Dov M. Gabbay [66]
24Forouzan Golshani [15]
25Lucio Guzmán [84] [89]
26Armando Martin Haeberer [54] [68]
27John Hatcliff [106]
28Mats Per Erik Heimdahl [106]
29Pauline Kan [56]
30Samit Khosla [23] [24] [27]
31A. Koch [13]
32Kevin Lano [49] [50] [52] [56]
33Mark Lawford [106]
34Michael R. Levy [12]
35Da-Hai Li [28]
36Zhe (Jessie) Li [93] [98]
37Xiang Ling [97]
38Shaoying Liu [101]
39Antónia Lopes [51]
40Carlos José Pereira de Lucena [9] [14]
41Narciso Martí-Oliet [58] [86]
42Brian Matthews [62]
43José Meseguer [58] [86]
44Mariano M. Moscato [109]
45Ezra Kaahwa Mugisa [57]
46Celso Niskier [30]
47Isabel Pita [58] [86]
48Carlos López Pombo [79] [87]
49Germán Regis [94] [108]
50Bernhard Rumpe [61]
51Mark Ryan (Mark Dermot Ryan) [34]
52Gunter Saake [32]
53M. R. Sadler [15] [18] [19] [22] [23] [24]
54Daniel Schwabe [30]
55Kaisa Sere [102]
56Amílcar Sernadas [35]
57Cristina Sernadas [32]
58Wladyslaw M. Turski [17]
59Paulo A. S. Veloso [18] [22] [44]
60Alan Wassyng [99] [106] [109]
61Fred L. Wurden [106]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)