Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu avacs!
Hier klicken für Ihr Exposé |
Jens Oehlerking
1st AVACS Spring School. 15–19 March 2010, Oldenburg, Germany. www.avacs.org/spring2010 … Jens Oehlerking (Carl von Ossietzky Universität Oldenburg, D) …
Slawomir Segeth
Slawomir Segeth from Youtube, Avacs landing on nato air base teveren. MOST RECENT VIDEOS FOR "Tech". See more most recent ...
Stefan Kupferschmid
AVACS Technical Report No. - AVACS …: [Kupferschmid and Becker, 2011]: Stefan Kupferschmid and Bernd Becker ..., avacs
Marc Herbstritt
Marc Herbstritt. AVACS Technical Report, No. 30, SFB/TR 14 AVACS, August 2007. ... Bounded Model Checking with Parametric Data Structures . ...
Kinga Kiss
Kinga Kiss-Iakab (TrustSoft); Dipl.-Inform. Jens Oehlerking (AVACS); MSc CS&CE Abhishek Dhama · Dipl.-Inform. Nils Müllner (TrustSoft, ehem. AVACS) ..., avacs
Jürgen Niehaus
Copyright © 2010 AVACS Zuletzt geändert: 01.10.2012 durch Jürgen Niehaus.
Holger Hermanns
(AVACS Report with Holger Hermanns, Björn Wachter) Logic and model checking for hidden Markov models. (AVACS Report with Holger Hermanns, and David N. Jansen.
Swen Jacobs
AVACS: WhoIsWho: Automatic Verification And Analysis of Complex Systems … Swen Jacobs. MPI Saarbrücken. R1. H3. Tayfun Gezgin. Uni Oldenburg. H3. Thomas …
Boris Pigorsch
AVACS: WhoIsWho: S2. Boris Wirtz. Uni Oldenburg. H12. ... H12. Florian Pigorsch. Uni Freiburg. H3., avacs
Carsten Bösch
(FH) Björn-Carsten Bösch; Dipl.-Inform. Eike Möhlmann; Ehemalige Mitarbeiter Dr. Christian Storm; Dr.-Ing. Jens Oehlerking (AVACS) MSc CS&CE Abhishek Dhama
Lars Kuhtz
AVACS: WhoIsWho: 24 Mar 2011 ... Lars Kuhtz, unbekannt, S2. Lijun Zhang, unbekannt, S2, S3. Lothar Thiele, unbekannt, R2. Malte Helmert, Uni Freiburg, S1 ...
Gabriele Röger
AVACS Technical Report No. 21 - AVACS …: [Helmert and Röger, 2008]: Malte Helmert and Gabriele Röger. ….. [Röger et al. , 2008]: Gabriele Röger, Malte …
Ralf Buschermöhle
AVACS Technical Report No. 21 - AVACS …: [Brill et al., 2004a]: Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, and Hartmut …
Juri Lichtner
AVACS Technical Report No. 21 - AVACS …: In Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert …
Markus Pister
AVACS: WhoIsWho: Automatic Verification And Analysis of Complex Systems … Markus Pister. Uni des Saarlandes. R2. Markus Rabe. Uni des Saarlandes. S1. S2. …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ