Concepedia

Johanna Högberg

JH

Statistics

Publications

6

Citations

163

H-Index

6

Active since

2005

Affiliations

Umeå University(Current)

Swedish Defence Research Agency

International Computer Science Institute

Johanna Högberg is an author at Umeå University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal VerificationCombinatorial OptimizationData ScienceFormal MethodsKnowledge DiscoveryComputational ComplexitySystems Engineering

Publications per year

2005–2010

6

Publications

6

Detecting Social Positions Using Simulation

Joel Brynielsson, Johanna Högberg, Lisa Kaati et al. · 2010 · 54 citations

Crowd Simulation, Engineering, Network Analysis +21

Backward and forward bisimulation minimization of tree automata

Johanna Högberg, Andreas Maletti, Jonathan May · Theoretical Computer Science · 2009 · 43 citations

Mathematical Programming, Tree Language, Engineering +8

Query Learning of Regular Tree Languages: How to Avoid Dead States

Frank Drewes, Johanna Högberg · Theory of Computing Systems · 2005 · 24 citations

Natural Language Processing, Tree Language, Syntax +15

BISIMULATION MINIMIZATION OF TREE AUTOMATA

Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati · International Journal of Foundations of Computer Science · 2007 · 16 citations

Tree Language, Engineering, Automated Reasoning +13

Bisimulation Minimisation of Weighted Automata on Unranked Trees

Johanna Högberg, Andreas Maletti, Heiko Vogler · Fundamenta Informaticae · 2009 · 15 citations

Mathematical Programming, Tree Automata, Engineering +17

1–5 of 6