1. Forum
  2. Usenet
  3. COMP.DOC.TECHREPORTS
AIB 2017-02: Analyzing Runtime Complexity via Innermost Runtime Complex

By Jera Hensel on Fri Mar 31 11:20:12 2017

Latest reply by Jera Hensel on Fri Mar 31 11:20:12 2017
AIB 2016-10: Towards Privacy-Preserving Multi-Party Bartering

By Jera Hensel on Tue Dec 20 10:48:29 2016

Latest reply by Jera Hensel on Tue Dec 20 10:48:29 2016
AIB 2016-07: Verification of Programmable Logic Controller Code using M

By Jera Hensel on Tue Nov 22 07:51:47 2016

Latest reply by Jera Hensel on Tue Nov 22 07:51:47 2016
AIB 2016-09: Automatically Proving Termination and Memory Safety for Pr

By Jera Hensel on Wed Sep 28 19:23:54 2016

Latest reply by Jera Hensel on Wed Sep 28 19:23:54 2016
AIB 2016-05: Proceedings of the 2nd KuVS Expert Talk on Localization

By Jera Hensel on Wed Jul 20 15:33:16 2016

Latest reply by Jera Hensel on Wed Jul 20 15:33:16 2016
AIB 2016-06: The SensorCloud Protocol: Securely Outsourcing Sensor Data

By Jera Hensel on Wed Jul 13 11:05:07 2016

Latest reply by Jera Hensel on Wed Jul 13 11:05:07 2016
AIB 2016-04: Proving Termination of Programs with Bitvector Arithmetic

By Jera Hensel on Mon Apr 25 10:54:50 2016

Latest reply by Jera Hensel on Mon Apr 25 10:54:50 2016
AIB 2016-03: Lower Runtime Bounds for Integer Programs

By Jera Hensel on Wed Apr 13 18:49:33 2016

Latest reply by Jera Hensel on Wed Apr 13 18:49:33 2016
AIB 2016-02: Comparative Evaluation and Improvement of Computational Ap

By Jera Hensel on Sun Apr 3 12:36:22 2016

Latest reply by Jera Hensel on Sun Apr 3 12:36:22 2016
=?UTF-8?Q?AIB_2015-13:_Ansatz_zur_variantenreichen_und_modellbasier?= =

By Jera Hensel on Fri Dec 11 12:56:48 2015

Latest reply by Jera Hensel on Fri Dec 11 12:56:48 2015
AIB 2015-14: Symbolic vs. Algorithmic Differentiation of GSL Integratio

By Jera Hensel on Wed Nov 11 09:03:35 2015

Latest reply by Jera Hensel on Wed Nov 11 09:03:35 2015
AIB 2015-12: Tree-like Grammars and Separation Logic

By =?UTF-8?Q?Thomas_Str=c3=b6der?= on Wed Sep 23 09:14:43 2015

Latest reply by =?UTF-8?Q?Thomas_Str=c3=b6der?= on Wed Sep 23 09:14:43 2015