Søren Enevoldsen
Affiliations:- Aalborg University, Denmark
According to our database1,
Søren Enevoldsen
authored at least 11 papers
between 2015 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022
2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
2018
Fundam. Informaticae, 2018
2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015