Concepedia

Christian Hofer

CH

9

Publications

320

Citations

9

H-Index

2007

Active since

Affiliations

University of Graz(Current)

Aarhus University

Christian Hofer is an author at University of Graz specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringBusinessCommunication

Publications per year

2007–2019

9

Publications

9

Polymorphic embedding of dsls

Christian Hofer, Klaus Ostermann, Tillmann Rendel et al. · 2008 · 123 citations

Engineering, Computer Architecture, Software Engineering +19

Large scale simulation of CO2 emissions caused by urban car traffic: An agent-based network approach

Christian Hofer, Georg Jäger, Manfred Füllsack · Journal of Cleaner Production · 2018 · 72 citations

Engineering, Data Science, Large Scale Simulation +10

Crowdworking: working with or against the crowd?

Georg Jäger, Laura S. Zilian, Christian Hofer et al. · Journal of Economic Interaction and Coordination · 2019 · 28 citations · Full text

Education, Wage Dumping, Communication +16

Typed self-representation

Tillmann Rendel, Klaus Ostermann, Christian Hofer · 2009 · 21 citations

Engineering, Program Analysis, Dependently Typed Programming +14

Critical transitions and Early Warning Signals in repeated Cooperation Games

Christian Hofer, Georg Jäger, Manfred Füllsack · Journal of Dynamics and Games · 2018 · 19 citations · Full text

Game Theory, Early Warning Signals, Communication +22

Rows per page

1–5 of 9