David E. Rydeheard

42 papers A* 1A 1B 9C 1Misc 1Journal 12Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Rod Burstall: In Memoriam. Formal Aspects Comput. J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2025	J	`jnl`	Rod Bustall: In Memoriam. CoRR J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2021	J	`jnl`	From parametric trace slicing to rule systems. Int. J. Softw. Tools Technol. Transf. Giles Reger, David E. Rydeheard
2018	B	`conf`	From Parametric Trace Slicing to Rule Systems. RV Giles Reger, David E. Rydeheard
2016	J	`jnl`	A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. John G. Stell, Renate A. Schmidt, David E. Rydeheard
2015	J	`jnl`	Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes Giles Reger, Howard Barringer, David E. Rydeheard
2015	B	`conf`	From First-order Temporal Logic to Parametric Trace Slicing. RV Giles Reger, David E. Rydeheard
2015	A	`conf`	MarQ: Monitoring at Runtime with QEA. TACAS Giles Reger, Helena Cuenca Cruz, David E. Rydeheard
2014	—	`ch.`	A note on first-order reasoning for minimum models. HOWARD-60 David E. Rydeheard, Jesús Héctor Domínguez Sánchez
2014	B	`conf`	Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic Renate A. Schmidt, John G. Stell, David E. Rydeheard
2014	—	`conf`	Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) Howard Barringer, David E. Rydeheard, Dov M. Gabbay
2014	C	`conf`	Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS John G. Stell, Renate A. Schmidt, David E. Rydeheard
2013	A*	`conf`	A pattern-based approach to parametric specification mining. ASE Giles Reger, Howard Barringer, David E. Rydeheard
2013	—	`conf`	Modelling and Reasoning about Dynamic Networks as Concurrent Systems. FSFMA Yanti Rusmawati, David E. Rydeheard
2012	B	`conf`	Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
2010	—	`conf`	Automated Reasoning in the Simulation of Evolvable Systems. PAAR@IJCAR Djihed Afifi, David E. Rydeheard, Howard Barringer
2010	B	`conf`	ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV Djihed Afifi, David E. Rydeheard, Howard Barringer
2010	J	`jnl`	Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. Howard Barringer, David E. Rydeheard, Klaus Havelund
2009	J	`jnl`	Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL Howard Barringer, Dov M. Gabbay, David E. Rydeheard
2009	B	`conf`	Rule Systems for Runtime Verification: A Short Tutorial. RV Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
2008	J	`jnl`	The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies. J. Log. Comput. Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
2007	Misc	`conf`	A Logical Framework for Monitoring and Evolving Software Components. TASE Howard Barringer, David E. Rydeheard, Dov M. Gabbay
2007	B	`conf`	From Runtime Verification to Evolvable Systems. RV Howard Barringer, Dov M. Gabbay, David E. Rydeheard
2007	B	`conf`	Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV Howard Barringer, David E. Rydeheard, Klaus Havelund
2005	—	`conf`	Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! (1) Howard Barringer, David E. Rydeheard
2002	J	`jnl`	A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. Formal Aspects Comput. David E. Rydeheard, Donald Sannella
1997	J	`jnl`	A Theory of Classes: Proofs and Models. Math. Struct. Comput. Sci. Barney P. Hilken, David E. Rydeheard
1995	—	`ed.`	Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings CTCS David H. Pitt, David E. Rydeheard, Peter T. Johnstone
1993	J	`jnl`	Categorical ML - Category-Theoretic Modular Programming. Formal Aspects Comput. Esther Dennis-Jones, David E. Rydeheard
1992	J	`jnl`	Towards a categorical semantics of type classes. Fundam. Informaticae Barney P. Hilken, David E. Rydeheard
1991	—	`ed.`	Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings CTCS David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
1991	B	`conf`	Towards a Categorical Semantics Type Classes. MFCS Barney P. Hilken, David E. Rydeheard
1989	—	`ed.`	Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings Category Theory and Computer Science David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
1988	—	`book`	Computational category theory. David E. Rydeheard, Rod M. Burstall
1987	—	`ed.`	Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings CTCS David H. Pitt, Axel Poigné, David E. Rydeheard
1987	—	`conf`	Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. Category Theory and Computer Science David E. Rydeheard, John G. Stell
1986	—	`ed.`	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings CTCS David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard
1985	—	`conf`	A Categorical Unification Algorithm. CTCS David E. Rydeheard, Rod M. Burstall
1985	—	`conf`	Adjunction. CTCS David E. Rydeheard
1985	—	`conf`	Computing with Categories. CTCS David E. Rydeheard, Rod M. Burstall
1985	—	`conf`	Functors and Natural Transformations. CTCS David E. Rydeheard
1982	—	`—`	Applications of category theory to programming and program specification. David E. Rydeheard