Author

At Linz

OpenAlex ID: A5089595334

Dependency Schemes and Search-Based QBF Solving: Theory and Practice

2012 · At Linz, Johannes Kepler · 24

Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays

2009 · At Linz, Johannes Kepler · 15

Fast and Rigorous Computation of Special Functions to High Precision

2014 · At Linz, Johannes Kepler · 10

Extracting Hardware Circuits from CNF Formulas

2014 · At Linz, Johannes Kepler · 6

Removable Singularities of Ore Operators

2013 · At Linz, Johannes Kepler · 6

Mathematical Modelling and Simulation of Ion Channels

2009 · At Linz, Johannes Kepler · 6

Anti-Unification Algorithms: Design, Analysis, and Implementation

2015 · At Linz, Johannes Kepler · 3

Extracting and Checking Q-Resolution Proofs from a State-Of-The-Art QBF-Solver

2012 · At Linz, Johannes Kepler · 2

Topology Optimization in Electrical Engineering

2012 · At Linz, Johannes Kepler · 1

A Sobolev Space Smoother for Atmospheric Tomography in Multi Conjugate Adaptive Optics

2012 · At Linz, Johannes Kepler · 1

Definite Integration in Dierential Fields

2012 · At Linz, Johannes Kepler · 1

Activity Sequence Modeling and Multi-Targeted Clustering for Personalization in E-Learning

2011 · At Linz, Johannes Kepler · 1

Goal Oriented Sensing in Pervasive Computing

2015 · At Linz, Johannes Kepler

A Runtime Environment for the True/C VM

2013 · At Linz, Johannes Kepler

Examples of educating employees about IT security: How are companies doing it, what are they doing?

2013 · At Linz, Johannes Kepler

Ecient Solution Strategies in Isogeometric Analysis

2013 · At Linz, Johannes Kepler

Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry

2012 · At Linz, Johannes Kepler

App Store for Massive Scale Software Diversity

2012 · At Linz, Johannes Kepler

Extracting and Validating Skolem/Herbrand Function-Based QBF Certificates

2012 · At Linz, Johannes Kepler

Computational Logic and Quantier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms

2012 · At Linz, Johannes Kepler

Network Coordination Layer for Interactive Wireless Low-Power Sensor Nodes

2011 · At Linz, Johannes Kepler

Dynamic Code Evolution for Java

2011 · At Linz, Johannes Kepler

Rational General Solutions of First-Order Algebraic ODEs

2011 · At Linz, Johannes Kepler

E-cient Thin Plate Spline Interpolation and its Application to Adaptive Optics

2010 · At Linz, Johannes Kepler

Shape Optimization based on Black Box Simulations

2010 · At Linz, Johannes Kepler

Works count: 26

Citation count: 76

H-index: 6

I10-index: 3