# David E. Rydeheard

According to our database

Collaborative distances:

^{1}, David E. Rydeheard authored at least 33 papers between 1982 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2021

Int. J. Softw. Tools Technol. Transf., 2021

2016

J. Log. Algebraic Methods Program., 2016

2015

ACM SIGSOFT Softw. Eng. Notes, 2015

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014

Proceedings of the Advances in Modal Logic 10, 2014

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

2012

Proceedings of the FM 2012: Formal Methods, 2012

2010

J. Log. Comput., 2010

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

Proceedings of the Runtime Verification - First International Conference, 2010

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009

Log. J. IGPL, 2009

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies.

J. Log. Comput., 2008

2007

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2005

Modelling Evolvable Systems: A Temporal Logic View.

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2002

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.

Formal Aspects Comput., 2002

1997

Math. Struct. Comput. Sci., 1997

1993

Formal Aspects Comput., 1993

1992

Towards a categorical semantics of type classes.

Fundam. Informaticae, 1992

1988

Computational category theory.

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-162736-9, 1988

1987

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.

Proceedings of the Category Theory and Computer Science, 1987

1985

Proceedings of the Category Theory and Computer Programming, 1985

Proceedings of the Category Theory and Computer Programming, 1985

Proceedings of the Category Theory and Computer Programming, 1985

Proceedings of the Category Theory and Computer Programming, 1985

1982

PhD thesis, 1982