tr-announce July 2011

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

2011-16: Toward Adjoint OpenFOAM
by Carsten Fuhs
12 years, 10 months

2011-14: Solving Muller Games via Safety Games
by Carsten Fuhs
12 years, 10 months

2011-07: An Operational Semantics for Activity Diagrams using SMV
by Carsten Fuhs
12 years, 10 months

2011-13: Toward Adjoint OpenMP
by Carsten Fuhs
12 years, 10 months

2011-08: A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
by Carsten Fuhs
12 years, 10 months
Results per page: