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