Uli Fahrenberg

1 - 23 ud af 23Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2011
  2. Udgivet

    Energy Games in Multiweighted Automata. / Fahrenberg, U. ; Juhl, L. ; Larsen, Kim Guldstrand ; Srba, J..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6916 LNCS Springer, 2011. s. 95-115 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  3. Udgivet

    Quantitative refinement for weighted modal transition systems. / Bauer, S.S. ; Fahrenberg, U. ; Legay, A. ; Juhl, L. ; Larsen, Kim Guldstrand ; Thrane, C..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6907 LNCS 2011. s. 60-71.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  4. Udgivet

    Metrics for weighted transition systems : Axiomatization and complexity. / Larsen, Kim Guldstrand ; Fahrenberg, U. ; Thrane, C..

    I: Theoretical Computer Science, Vol. 412, Nr. 28, 01.06.2011, s. 3358-3369.

    Publikation: Forskning - peer review › Tidsskriftartikel

  5. Udgivet

    Quantitative analysis of real-time systems using priced timed automata. / Bouyer, P. ; Markey, N. ; Fahrenberg, U. ; Larsen, Kim Guldstrand.

    I: Communications of the A C M, Vol. 54, Nr. 9, 01.09.2011, s. 78-87.

    Publikation: Forskning - peer review › Tidsskriftartikel

  6. Udgivet

    Distances for Weighted Transition Systems: Games and Properties. / Fahrenberg, Uli ; Thrane, Claus R. ; Larsen, Kim Guldstrand.

    I: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. 2011. s. 134-147.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  7. Accepteret

    History-preserving bisimilarity for higher-dimensional automata via open maps. / Fahrenberg, Uli.

    I: Logical Methods in Computer Science, 2011, s. 2-20.

    Publikation: Forskning - peer review › Tidsskriftartikel

  8. 2010
  9. Udgivet

    Quantitative analysis of weighted transition systems. / Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk.

    I: Journal of Logic and Algebraic Programming, Vol. 79, Nr. 7, 10.2010, s. 689-703.

    Publikation: Forskning - peer review › Tidsskriftartikel

  10. Udgivet

    A quantitative characterization of weighted Kripke structures in temporal logic. / Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk.

    I: Computing and Informatics, Vol. 29, Nr. 6+, 2010, s. 1311-1324.

    Publikation: Forskning - peer review › Tidsskriftartikel

  11. Udgivet

    Timed automata with observers under energy constraints. / Bouyer, Patricia ; Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Markey, Nicolas.

    I: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery, 2010.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  12. Udgivet

    Verification, performance analysis and controller synthesis for real-time systems. / Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk.

    I: Lecture Notes in Computer Science, Vol. 5961, 2010, s. 34-61.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  13. 2009
  14. Udgivet

    Discounting in Time. / Fahrenberg, Uli ; Larsen, Kim Guldstrand.

    I: Electronic Notes in Theoretical Computer Science, Vol. 253, Nr. 3, 11.2009, s. 25-31.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  15. Udgivet

    A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic : Best Paper Award. / Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk ; Fahrenberg, Uli.

    I: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2009.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  16. Udgivet

    A quantitative characterization of weighted Kripke structures in temporal logic. / Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk.

    2009. Paper presented at QUANTLOG, .

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  17. Udgivet

    Discount-Optimal Infinite Runs in Priced Timed Automata. / Fahrenberg, Uli ; Larsen, Kim Guldstrand.

    I: Electronic Notes in Theoretical Computer Science, Vol. 239, 2009, s. 179-191.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  18. Udgivet

    Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. / Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk.

    I: Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. red. / Manfred Broy ; Wassiou Sitou ; Tony Hoare. Vol. 22 IOS Press, 2009. (NATO Science for Peace and Security Series - D: Information and Communication Security; 22).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  19. 2008
  20. Udgivet

    How to pull back open maps along semantics functors. / Fahrenberg, Uli.

    2008. Abstract from ACCAT, .

    Publikation: Forskning - peer review › Konferenceabstrakt til konference

  21. Udgivet

    Infinite Runs in Weighted Timed Automata with Energy Constraints. / Bouyer, Patricia ; Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Markey, Nicolas ; Srba, Jiri.

    I: 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, 2008. s. 33-47 (Lecture Notes in Computer Science; 5215).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  22. 2007
  23. Udgivet

    Reparametrizations of Continuous Paths. / Fahrenberg, Uli ; Raussen, Martin.

    I: Journal of Homotopy and Related Structures, Vol. 2, Nr. 2, 2007, s. 93-117.

    Publikation: Forskning - peer review › Tidsskriftartikel

  24. 2006
  25. Udgivet

    Reparametrizations of continuous paths. / Fahrenberg, Uli ; Raussen, Martin.

    Department of Mathematical Sciences, Aalborg University, 2006. 20 s. (Research Report Series; R-2006-22).

    Publikation: Forskning › Rapport

  26. 2005
  27. Udgivet

    A category of higher-dimensional automata. / Fahrenberg, Uli.

    I: Foundations of Software Science and Computation Structures. red. / Vladimiro Sassone. IEEE Computer Society Press, 2005. s. 187-201 (Lecture Notes in Computer Science; 3441).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  28. Udgivet

    Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation. / Fahrenberg, Ulrich.

    Dept. of Mathematical Sciences : Aalborg Universitetsforlag, 2005. 22 s. (Research Report Series; R-2005-01).

    Publikation: Forskning › Rapport

  29. 2004
  30. Udgivet

    Directed homology. / Fahrenberg, Uli.

    I: CONCUR 2003: CMCIM and GETCO. red. / T. Hildebrandt ; A. Kurz ; E. Goubault ; U. Fahrenberg. 2004. s. 111-125.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  31. 2003
  32. Udgivet

    The geometry of timed PV programs. / Fahrenberg, Ulrich.

    I: Proceedings of the Fourth Workshop on Geometric and Topological Methods in Concurrency: Electronic Notes in Computer Science. Vol. 81. udg. Elsevier, 2003. s. 14.

    Publikation: Forskning › Konferenceartikel i proceeding

© Videnbasen, Aalborg Universitet · vbn@aub.aau.dk · Om VBN