Richard Ostertág
According to our database1,
Richard Ostertág
authored at least 10 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 24th Conference Information Technologies, 2024
Proceedings of the 24th Conference Information Technologies, 2024
2023
On the usefulness of linear types for correct nonce use enforcement during compile time.
CoRR, 2023
2018
Approaching Side-effects in Pure Functional Programming by Interpreting Data Structures as Recipes.
Proceedings of the 18th Conference Information Technologies, 2018
2015
Proceedings of the Proceedings ITAT 2015: Information Technologies, 2015
2013
2009
Proceedings of the Conference on Theory and Practice of Information Technologies, 2009
2008
Proceedings of the Conference on Theory and Practice of Information Technologies, 2008
2007
2002
Problems in practical use of electronic signatures.
Informatica (Slovenia), 2002