| The promise of entrepreneurship education: Reconceptualizing the individual–opportunity nexus as a conceptual framework for entrepreneurship education C Thrane, P Blenker, S Korsgaard, H Neergaard International small business journal 34 (7), 905-924, 2016 | 153 | 2016 |
| A tale of two Kirzners: Time, uncertainty, and the “nature” of opportunities S Korsgaard, H Berglund, C Thrane, P Blenker Entrepreneurship Theory and Practice 40 (4), 867-889, 2016 | 137 | 2016 |
| The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane IARCS Annual Conference on Foundations of Software Technology and …, 2011 | 73 | 2011 |
| Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen The Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010 | 70 | 2010 |
| Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science 412 (28), 3358-3369, 2011 | 40 | 2011 |
| Entreprenørskabsundervisning-proces, refleksion og handling LT Bager, P Blenker, P Rasmussen, C Thrane | 32 | 2010 |
| Timed automata can always be made implementable P Bouyer, KG Larsen, N Markey, O Sankur, C Thrane International Conference on Concurrency Theory, 76-91, 2011 | 30 | 2011 |
| Weighted modal transition systems SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane Formal Methods in System Design 42, 193-220, 2013 | 28 | 2013 |
| Quantitative refinement for weighted modal transition systems SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane Mathematical Foundations of Computer Science 2011: 36th International …, 2011 | 27 | 2011 |
| Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL), 2011 | 25 | 2011 |
| A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic KG Larsen, U Fahrenberg, C Thrane Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2009 | 25* | 2009 |
| General quantitative specification theories with modalities SS Bauer, U Fahrenberg, A Legay, C Thrane International Computer Science Symposium in Russia, 18-30, 2012 | 17 | 2012 |
| Verification, performance analysis and controller synthesis for real-time systems U Fahrenberg, KG Larsen, CR Thrane International Conference on Fundamentals of Software Engineering, 34-61, 2009 | 14 | 2009 |
| 11 Public Innovation and Organizational Structure MLF Jakobsen, C Thrane Enhancing public innovation by transforming public governance, 217, 2016 | 11 | 2016 |
| Slicing for UPPAAL C Thrane, U Sørensen Student Paper, 2008 Annual IEEE Conference, 1-5, 2008 | 11 | 2008 |
| Progression and coherence in enterprise education: An overall framework supporting diversity P Blenker, S Robinson, C Thrane Entrepreneurial Learning, 134-155, 2015 | 9 | 2015 |
| Slicing for UPPAAL. U Sørensen, C Thrane Aalborg University. Department of Computer Science, 2007 | 8 | 2007 |
| Quantitative Models and Analysis for Reactive Systems C Thrane Department of Computer Science, Aalborg University, 2011 | 6 | 2011 |
| Model-based Verification and Analysis for Real-Time Systems U Fahrenberg, KG Larsen, C Thrane NATO Science for Peace and Security Series - D: Information and …, 2011 | 6 | 2011 |
| Quantitative analysis of weighted transition systems U Fahrenberg, KG Larsen, CR Thrane Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010 | 3 | 2010 |
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)在 polytechnique.edu 的电子邮件经过验证
