Martin Derka
Orcid: 0000-0001-7514-3004
According to our database1,
Martin Derka
authored at least 31 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.
CoRR, 2024
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024
2023
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
Proceedings of the 4th International Workshop on Distributed Infrastructure for the Common Good, 2023
2022
Proceedings of the 3rd International Workshop on Distributed Infrastructure for the Common Good, 2022
2020
Proceedings of the IEEE International Conference on Blockchain, 2020
2019
Proceedings of the Graph Drawing and Network Visualization - 27th International Symposium, 2019
2018
Proceedings of the 16th Scandinavian Symposium and Workshops on Algorithm Theory, 2018
Proceedings of the LATIN 2018: Theoretical Informatics, 2018
2017
Proceedings of the Algorithms and Data Structures - 15th International Symposium, 2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Proceedings of the Graph Drawing and Network Visualization - 25th International Symposium, 2017
Proceedings of the Graph Drawing and Network Visualization - 25th International Symposium, 2017
2016
J. Graph Algorithms Appl., 2016
Recognition of Triangulation Duals of Simple Polygons With and Without Holes.
Proceedings of the 28th Canadian Conference on Computational Geometry, 2016
2015
$1$-String $B_1$-VPG Representations of Planar Partial $3$-Trees and Some Subclasses.
CoRR, 2015
Proceedings of the Combinatorial Algorithms - 26th International Workshop, 2015
Proceedings of the 31st International Symposium on Computational Geometry, 2015
Proceedings of the 27th Canadian Conference on Computational Geometry, 2015
2014
Proceedings of the 26th Canadian Conference on Computational Geometry, 2014
2013