Petra Hofstedt

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Brandenburg University of Technology Cottbus-Senftenberg(Current)

Petra Hofstedt is an author at Brandenburg University of Technology Cottbus-Senftenberg specializing in computing, constraint solving, and constraint programming.

Publications per year

2003–2015

Publications

Integration of declarative and constraint programming

Petra Hofstedt, Peter Pepper · Theory and Practice of Logic Programming · 2007 · 16 citations

Computing, Computer Science, Knowledge Representation +10

Formal Verification of Software for the Contiki Operating System Considering Interrupts

Thilo Vörtler, Benny Höckner, Petra Hofstedt et al. · 2015 · 11 citations

Computing, Computer Engineering, Computer Science +17

Meta-S: A Strategy-Oriented Meta-Solver Framework.

Frank Stephan, Petra Hofstedt, Raphael Bertrand Pierre · 2003 · 10 citations

Computing, Strategy, Formal Methods +11

1–3 of 3