Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Koenighofer
SMT-Based CPS Parameter Synthesis
Related publications
Improved BTG-based Preordering for SMT via Parallel Parameter Averaging: An Empirical Study
Journal of Natural Language Processing
RNN-based Derivation Structure Prediction for SMT
Stream-Based Randomised Language Models for SMT
Container Production Management System Based on the CPS
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
Evaluation of Cardinality Constraints on SMT-Based Debugging
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
SAT, SMT and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Impact of Word Segmentation on CCG-based Arabic-English SMT
DEStech Transactions on Computer Science and Engineering
