tr-announce June 2012

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 3 discussions

2012-12: Symbolic Evaluation Graphs and Term Rewriting --- A General Methodology for Analyzing Logic Programs
by Thomas Ströder
11 years, 10 months

2012-09: Quantitative Timed Analysis of Interactive Markov Chains
by Thomas Ströder
11 years, 10 months

2012-07: Hackers in Your Pocket: A Survey of Smartphone Security Across Platforms
by Thomas Ströder
11 years, 10 months
Results per page: