# Gudmund Grov

According to our database

Collaborative distances:

^{1}, Gudmund Grov authored at least 47 papers between 2005 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Machine Learning for Networking - Third International Conference, 2020

2019

Formal Aspects Comput., 2019

Proceedings of the Practice of Enterprise Modeling, 2019

2018

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

2017

Sci. Comput. Program., 2017

CoRR, 2017

2016

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).

Math. Comput. Sci., 2016

J. Log. Comput., 2016

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.

J. Formaliz. Reason., 2016

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.

CoRR, 2016

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

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

Proceedings of the FM 2016: Formal Methods, 2016

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

2014

Sci. Comput. Program., 2014

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

CoRR, 2014

2013

Sci. Comput. Program., 2013

CoRR, 2013

CoRR, 2013

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Proceedings of the NASA Formal Methods, 2012

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Arch. Formal Proofs, 2011

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

High. Order Symb. Comput., 2010

Proceedings of the Second International Workshop on Invariant Generation, 2010

Proceedings of the Second International Workshop on Invariant Generation, 2010

Proceedings of the Abstract State Machines, 2010

2009

PhD thesis, 2009

2008

Preserving coordination properties when transforming concurrent system components.

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Towards a Box Calculus for Hierarchical Hume.

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

2006

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005