The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jens Brandt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
    Maximal Causality Analysis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:106-115 [Conf]
  2. Klaus Schneider, Jens Brandt, Tobias Schüle
    Causality analysis of synchronous programs with delayed actions. [Citation Graph (0, 0)][DBLP]
    CASES, 2004, pp:179-189 [Conf]
  3. Jens Brandt, Klaus Schneider
    Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EUC, 2005, pp:405-417 [Conf]
  4. Jens Brandt, Klaus Schneider
    Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:405-420 [Conf]
  5. Matthias Dick, Jens Brandt, Verena Kahmann, Lars C. Wolf
    Adaptive transcoding proxy architecture for video streaming in mobile networks. [Citation Graph (0, 0)][DBLP]
    ICIP (3), 2005, pp:700-703 [Conf]
  6. Jens Brandt, Verena Kahmann, Lars C. Wolf
    A Flexible Reflector for Media Streams. [Citation Graph (0, 0)][DBLP]
    KiVS Kurzbeiträge und Workshop, 2005, pp:41-48 [Conf]
  7. Verena Kahmann, Jens Brandt, Lars C. Wolf
    Collaborative streaming in heterogeneous and dynamic scenarios. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2006, v:49, n:11, pp:58-63 [Journal]
  8. Klaus Schneider, Jens Brandt, Tobias Schüle
    A Verified Compiler for Synchronous Programs with Local Declarations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:71-97 [Journal]
  9. Klaus Schneider, Jens Brandt, Eric Vecchié
    Modular Compilation of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:75-84 [Conf]
  10. Klaus Schneider, Jens Brandt, Eric Vecchié
    Efficient code generation from synchronous programs. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:165-174 [Conf]

  11. Desynchronizing Synchronous Programs by Modes. [Citation Graph (, )][DBLP]


  12. Performing causality analysis by bounded model checking. [Citation Graph (, )][DBLP]


  13. Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. [Citation Graph (, )][DBLP]


  14. Translating concurrent action oriented specifications to synchronous guarded actions. [Citation Graph (, )][DBLP]


  15. Adaptive video streaming for mobile clients. [Citation Graph (, )][DBLP]


  16. Formal Reasoning About Causality Analysis. [Citation Graph (, )][DBLP]


  17. How Different are Esterel and SystemC?. [Citation Graph (, )][DBLP]


  18. System Description Aspects as Syntactic Sugar. [Citation Graph (, )][DBLP]


Search in 1.304secs, Finished in 1.305secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002