Follow
Claus Thrane
Claus Thrane
Assistant Professor, Dept. of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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
1142016
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
1102016
Quantitative analysis of weighted transition systems
C Thrane, U Fahrenberg, KG Larsen
The Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
682010
The Quantitative Linear-Time–Branching-Time Spectrum
U Fahrenberg, A Legay, C Thrane
IARCS Annual Conference on Foundations of Software Technology andá…, 2011
672011
Metrics for weighted transition systems: Axiomatization and complexity
KG Larsen, U Fahrenberg, C Thrane
Theoretical Computer Science 412 (28), 3358-3369, 2011
372011
Timed automata can always be made implementable
P Bouyer, KG Larsen, N Markey, O Sankur, C Thrane
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011á…, 2011
302011
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
282013
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
282011
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL), 2011
252011
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
Computer Science–Theory and Applications: 7th International Computer Scienceá…, 2012
182012
Verification, performance analysis and controller synthesis for real-time systems
U Fahrenberg, KG Larsen, CR Thrane
Fundamentals of Software Engineering: Third IPM International Conferenceá…, 2010
142010
Slicing for UPPAAL
C Thrane, U S°rensen
Student Paper, 2008 Annual IEEE Conference, 1-5, 2008
112008
Slicing for UPPAAL.
U S°rensen, C Thrane
Aalborg University. Department of Computer Science, 2007
102007
11 Public Innovation and Organizational Structure
MLF Jakobsen, C Thrane
Enhancing public innovation by transforming public governance, 217, 2016
92016
Progression and coherence in enterprise education: An overall framework supporting diversity
P Blenker, S Robinson, C Thrane
Entrepreneurial Learning, 134-155, 2015
72015
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
62011
Quantitative Models and Analysis for Reactive Systems
C Thrane
Department of Computer Science, Aalborg University, 2011
52011
Quantitative analysis of weighted transition systems
U Fahrenberg, KG Larsen, CR Thrane
Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
42010
Designing experiential entrepreneurship education based on entrepreneurial practice and behavior
JP Warhuus, H Neergaard, C Thrane
Research Handbook on Entrepreneurial Behavior, Practice and Process, 335-360, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20