Name Card

Full name Familienname, Vorname
JAROSCHEK, Maximilian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Jaroschek, Maximilian ; Kauers, Manuel ; Kovács, Laura Lonely Points in SimplicesArticle Artikel 29-Sep-2022
2Barkatou, Moulay A. ; Jaroschek, Maximilian Removing apparent singularities of linear difference systemsArtikel Article 2019
3Barkatou, Moulay A. ; Jaroschek, Maximilian Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsKonferenzbeitrag Inproceedings 2018
4Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura Aligator.jl – A Julia Package for Loop Invariant GenerationKonferenzbeitrag Inproceedings 2018
5Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Invariant Generation for Multi-Path Loops with Polynomial AssignmentsKonferenzbeitrag Inproceedings2018
6Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Polynomial Invariant Generation for Multi-Path LoopsPräsentation Presentation2017
7Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric SequencesKonferenzbeitrag Inproceedings2017
8Barkatou, Moulay ; Jaroschek, Maximilian Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016
9Jaroschek, Maximilian ; Barkatou, Moulay Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016
10Jaroschek, Maximilian Quantifier Elimination Over The RealsPräsentation Presentation2016