T. S. E. Maibaum

151 papers A* 9A 4B 12C 13Misc 1Journal 32Unranked 71

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	On the construction of explosive relation algebras. CoRR Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum
2017	C	`conf`	Use of Tabular Expressions for Refinement Automation. MEDI Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	J	`jnl`	Categorical foundations for structured specifications in Z. Formal Aspects Comput. Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
2015	—	`conf`	Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	—	`conf`	Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014	C	`conf`	A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
2014	B	`conf`	Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum
2014	—	`conf`	Argument Evaluation in the Context of Assurance Case Confidence Modeling. ISSRE Workshops Silviya Grigorova, T. S. E. Maibaum
2014	—	`conf`	Formalizing the Glucose Homeostasis Mechanism. HCI (20) Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014	—	`conf`	The Definition and Assessment of a Safety Argument. ISSRE Workshops Valentin Cassano, T. S. E. Maibaum
2013	—	`conf`	Actions and Events in Concurrent Systems Design. LAFM Valentin Cassano, T. S. E. Maibaum
2013	—	`conf`	Automated Reasoning over Deontic Action Logics with Finite Vocabularies. LAFM Pablo F. Castro, T. S. E. Maibaum
2013	B	`conf`	Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
2013	B	`conf`	Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
2013	—	`conf`	Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. ISSRE (Supplemental Proceedings) Silviya Grigorova, T. S. E. Maibaum
2012	—	`conf`	Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond ACCAT Zinovy Diskin, T. S. E. Maibaum
2012	—	`conf`	Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2012	J	`jnl`	Encapsulating deontic and branching time specifications. Theor. Comput. Sci. Pablo F. Castro, T. S. E. Maibaum
2012	B	`conf`	Intermodeling, Queries, and Kleisli Categories. FASE Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki
2012	—	`conf`	Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
2012	—	`conf`	Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
2011	Misc	`conf`	Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT Alan Wassyng, Mark Lawford, T. S. E. Maibaum
2010	—	`conf`	Certification of Software-Driven Medical Devices. ISoLA (2) Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2010	C	`conf`	Characterizing Locality (Encapsulation) with Bisimulation. ICTAC Pablo F. Castro, T. S. E. Maibaum
2010	—	`conf`	Software Certification: Is There a Case against Safety Cases? Monterey Workshop Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
2010	—	`conf`	Software certification consortium: certification methods for safety-critical software. CASCON Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff
2010	C	`conf`	Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
2010	—	`conf`	Towards a First-Order Deontic Action Logic. WADT Pablo F. Castro, T. S. E. Maibaum
2009	—	`conf`	Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. LAFT@LICS Pablo F. Castro, T. S. E. Maibaum
2009	J	`jnl`	Deontic action logic, atomic boolean algebras and fault-tolerance. J. Appl. Log. Pablo F. Castro, T. S. E. Maibaum
2009	B	`conf`	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
2009	J	`jnl`	Formal methods versus engineering. ACM SIGCSE Bull. T. S. E. Maibaum
2009	—	`ch.`	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance Pablo F. Castro, T. S. E. Maibaum
2009	C	`conf`	Specifying and Verifying Business Processes Using PPML. ICFEM Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
2008	J	`jnl`	A Product-Focused Approach to Software Certification. Computer T. S. E. Maibaum, Alan Wassyng
2008	—	`conf`	A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
2008	—	`conf`	A Tableaux System for Deontic Action Logic. DEON Pablo F. Castro, T. S. E. Maibaum
2008	B	`ed.`	FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings FM Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere
2008	C	`ed.`	Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings ICFEM Shaoying Liu, T. S. E. Maibaum, Keijiro Araki
2008	—	`conf`	On Software Certification: We Need Product-Focused Approaches. Monterey Workshop Alan Wassyng, T. S. E. Maibaum, Mark Lawford
2007	C	`conf`	A Complete and Compact Propositional Deontic Logic. ICTAC Pablo F. Castro, T. S. E. Maibaum
2007	—	`conf`	A test framework for integration testing of object-oriented programs. CASCON T. S. E. Maibaum, Zhe (Jessie) Li
2007	—	`conf`	An Approach to Integration Testing of Object-Oriented Programs. QSIC Zhe (Jessie) Li, T. S. E. Maibaum
2007	B	`conf`	An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM Pablo F. Castro, T. S. E. Maibaum
2007	C	`conf`	Challenges in Software Certification. ICFEM T. S. E. Maibaum
2007	—	`conf`	Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
2007	B	`conf`	Verifying Temporal Properties of CommUnity Designs. IFM Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
2006	—	`conf`	Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
2006	C	`conf`	On specifying systems that connect to the physical world. SoMeT T. S. E. Maibaum
2005	J	`jnl`	A Verification Logic for Rewriting Logic. J. Log. Comput. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
2005	J	`jnl`	Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
2005	—	`conf`	The Epistemology of Validation and Verification Testing. TestCom T. S. E. Maibaum
2005	C	`conf`	Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
2004	—	`conf`	Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. FESCA@ETAPS Nazareno Aguirre, T. S. E. Maibaum
2004	C	`conf`	Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
2004	B	`conf`	Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR Islam A. M. El-Maddah, T. S. E. Maibaum
2004	B	`conf`	The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE Islam A. M. El-Maddah, T. S. E. Maibaum
2003	B	`conf`	A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE Nazareno Aguirre, T. S. E. Maibaum
2003	—	`ed.`	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 10th Anniversary Colloquium of UNU/IIST Bernhard K. Aichernig, T. S. E. Maibaum
2003	C	`conf`	Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE Islam A. M. El-Maddah, T. S. E. Maibaum
2003	J	`jnl`	On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. T. S. E. Maibaum
2003	—	`conf`	Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice Nazareno Aguirre, T. S. E. Maibaum
2003	—	`conf`	Taking FME Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
2003	—	`conf`	Towards Dynamic Population Management of Abstract Machines in the B Method. ZB Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
2002	C	`conf`	A Branching Time Logical System for Open Distributed Systems Development. WoLLIC Carlos H. C. Duarte, T. S. E. Maibaum
2002	A*	`conf`	A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE Nazareno Aguirre, T. S. E. Maibaum
2002	J	`jnl`	Desert Island Column. Autom. Softw. Eng. T. S. E. Maibaum
2002	—	`conf`	How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI T. S. E. Maibaum
2002	—	`conf`	In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST T. S. E. Maibaum
2001	J	`jnl`	Interpolation in Practical Formal Development. Log. J. IGPL Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
2001	—	`conf`	Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
2001	A*	`conf`	Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE Armando Martin Haeberer, T. S. E. Maibaum
2001	—	`conf`	Towards Electronic Contract Performance. DEXA Workshop Aspassia Daskalopulu, T. S. E. Maibaum
2000	J	`jnl`	A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. Carlos H. C. Duarte, T. S. E. Maibaum
2000	—	`conf`	An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods T. S. E. Maibaum
2000	J	`jnl`	Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. T. S. E. Maibaum, Bernhard Rumpe
2000	—	`conf`	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
2000	B	`ed.`	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 FASE T. S. E. Maibaum
2000	—	`book`	Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
2000	—	`conf`	Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track T. S. E. Maibaum
2000	J	`jnl`	On a generalized modularization theorem. Inf. Process. Lett. Theodosis Dimitrakos, T. S. E. Maibaum
1999	—	`conf`	A Framework for Describing Software Architectures for Reuse. WICSA Ezra Kaahwa Mugisa, T. S. E. Maibaum
1999	—	`conf`	Towards a Verification Logic for Rewriting Logic. WADT José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
1998	—	`conf`	A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
1998	—	`conf`	Systematising Reactive System Design. AMAST T. S. E. Maibaum, Pauline Kan, Kevin Lano
1998	A*	`conf`	The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE Armando Martin Haeberer, T. S. E. Maibaum
1997	J	`jnl`	Categorical Semantics of Parallel Program Design. Sci. Comput. Program. José Luiz Fiadeiro, T. S. E. Maibaum
1997	—	`conf`	Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT T. S. E. Maibaum
1997	—	`conf`	Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997	A*	`conf`	Notes on Refinement, Interpolation and Uniformity. ASE Theodosis Dimitrakos, T. S. E. Maibaum
1997	A	`conf`	Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997	—	`conf`	Synthesising interconnections. Algorithmic Languages and Calculi José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
1997	—	`conf`	Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997	—	`conf`	What We Teach Software Engineers in the University: Do We Take ESEC / SIGSOFT FSE T. S. E. Maibaum
1996	A*	`ed.`	18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings. ICSE H. Dieter Rombach, T. S. E. Maibaum, Marvin V. Zelkowitz
1995	—	`book`	Handbook of logic in computer science. Volume 4. Semantic modelling. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1995	—	`conf`	Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE José Luiz Fiadeiro, T. S. E. Maibaum
1995	J	`jnl`	On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. Paulo A. S. Veloso, T. S. E. Maibaum
1994	—	`book`	Handbook of logic in computer science. Volume 3. Semantic Structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1994	—	`conf`	Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL José Luiz Fiadeiro, T. S. E. Maibaum
1994	—	`conf`	Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods José Luiz Fiadeiro, T. S. E. Maibaum
1993	A	`conf`	Formally specifying temporal constraints and error recovery. RE Stuart Kent, T. S. E. Maibaum, William J. Quirk
1993	—	`conf`	Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods José Luiz Fiadeiro, T. S. E. Maibaum
1993	—	`conf`	Taking More of the Soft out of Software Engineering. IWSSD T. S. E. Maibaum
1992	J	`jnl`	A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. Mario R. F. Benevides, T. S. E. Maibaum
1992	J	`jnl`	Editorial. J. Log. Comput. T. S. E. Maibaum
1992	—	`book`	Handbook of logic in computer science. Volume 1. Background: Mathematical structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1992	—	`book`	Handbook of logic in computer science. Volume 2. Background: Computational structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1992	J	`jnl`	Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects Comput. José Luiz Fiadeiro, T. S. E. Maibaum
1991	J	`jnl`	Abstract Data Types and Type Theory: Theories as Types. Math. Log. Q. Ruy J. G. B. de Queiroz, T. S. E. Maibaum
1991	—	`conf`	Process Semantics of Temporal Logic Specifications. COMPASS/ADT José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
1991	—	`conf`	Sharing Actions and Attributes in Modal Action Logic. TACS Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum
1991	—	`ed.`	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) TAPSOFT, Vol.1 Samson Abramsky, T. S. E. Maibaum
1991	—	`ed.`	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) TAPSOFT, Vol.2 Samson Abramsky, T. S. E. Maibaum
1991	J	`jnl`	Temporal reasoning over deontic specifications. J. Log. Comput. José Luiz Fiadeiro, T. S. E. Maibaum
1990	—	`conf`	Describing, Structuring and Implementing Objects. REX Workshop José Luiz Fiadeiro, T. S. E. Maibaum
1990	J	`jnl`	Proof theory and computer programming. Math. Log. Q. Ruy J. G. B. de Queiroz, T. S. E. Maibaum
1990	—	`conf`	Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
1989	—	`conf`	A Pluralistic Knowledge-Based Approach to Software Specification. ESEC Celso Niskier, T. S. E. Maibaum, Daniel Schwabe
1988	—	`conf`	A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency Da-Hai Li, T. S. E. Maibaum
1988	—	`conf`	Configuration versus Use: Specification Languages versus Logics. ADT T. S. E. Maibaum
1987	—	`conf`	The Prescription and Description of State Based Systems. Temporal Logic in Specification Samit Khosla, T. S. E. Maibaum
1986	—	`conf`	Modular Construction of Logics for Specification. ADT T. S. E. Maibaum
1986	—	`conf`	Role of Abstraction in Program Development (Invited Paper). IFIP Congress T. S. E. Maibaum
1985	—	`conf`	A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
1985	J	`jnl`	An Informal Approach to Formal (Algebraic) Specifications. Comput. J. António L. Furtado, T. S. E. Maibaum
1985	J	`jnl`	Database Instances, Abstract Data Types and Database Specification. Comput. J. T. S. E. Maibaum
1985	—	`conf`	Database Specification. DS-1 Samit Khosla, T. S. E. Maibaum, M. R. Sadler
1985	—	`conf`	Large Database Specification from Small Views. FSTTCS Samit Khosla, T. S. E. Maibaum, M. R. Sadler
1984	—	`conf`	Axiomatizing Specification Theory. ADT T. S. E. Maibaum, M. R. Sadler
1984	—	`conf`	Logical Specification and Implementation. FSTTCS T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso
1984	A*	`conf`	On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE T. S. E. Maibaum, Wladyslaw M. Turski
1983	A*	`conf`	A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler
1983	J	`jnl`	Message Oriented Programming - A Resource Based Methodology. Comput. Lang. Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum
1983	—	`conf`	Structuring of Specifications within a Logical Theory of Data Types. ADT T. S. E. Maibaum
1982	A	`conf`	A message oriented language for system applications. ICDCS A. Koch, T. S. E. Maibaum
1982	J	`jnl`	Continuous Data Types. SIAM J. Comput. Michael R. Levy, T. S. E. Maibaum
1981	A	`conf`	A Synchronization Calculus for Message Oriented Programming. ICDCS Paulo Roberto Freire Cunha, T. S. E. Maibaum
1981	J	`jnl`	Conceptual modeling of data base operations. Int. J. Parallel Program. Clesio Saraiva dos Santos, T. S. E. Maibaum, António L. Furtado
1981	A*	`conf`	Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE Paulo R. F. Cunha, T. S. E. Maibaum
1980	—	`conf`	A Communication Data Type for Message Oriented Programming. Symposium on Programming Paulo R. F. Cunha, T. S. E. Maibaum
1980	—	`conf`	A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum
1980	J	`jnl`	Higher order data types. Int. J. Parallel Program. T. S. E. Maibaum, Carlos José Pereira de Lucena
1980	J	`jnl`	On the design and specification of message oriented programs. Int. J. Parallel Program. Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum
1979	—	`conf`	Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory Maarten H. van Emden, T. S. E. Maibaum
1978	J	`jnl`	Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. T. S. E. Maibaum
1977	J	`jnl`	Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. T. S. E. Maibaum
1977	—	`conf`	Mathematical Semantics and a Model for Data Bases. IFIP Congress T. S. E. Maibaum
1974	J	`jnl`	A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. T. S. E. Maibaum
1974	A*	`conf`	Parallel Rewriting Systems on terms. ICALP Karel Culík II, T. S. E. Maibaum
1972	—	`conf`	The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets SWAT T. S. E. Maibaum