زبان مدل سازی ریو Reo Modeling Language / معناشناسی Semantics / خودکارافزار احتمالاتی بوخی رکوردی Probabilistic Buchi Automata / طراحی مولفه گرا Component Besed Design / زبان هماهنگی بیپ BIP Coordination Language
خودروهای الکتریکی Electric Motor Vehicles / انرژی Energy / حمل و نقل Transport / سیاست گذاری Policy Making / پویایی سیستم System Dynamic / سیستم های قدرت Power Systems / سیاست گذاری انرژی Energy Policy / تحلیل هزینه Cost Analysis