Distribution Recovery for Invariant Generation of Probabilistic

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ProbInG
 
Project Title (de) Projekttitel (de)
Distribution Recovery for Invariant Generation of Probabilistic
 
Project Title (en) Projekttitel (en)
Distribution Recovery for Invariant Generation of Probabilistic Programs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT19-018
 

Publications

Filter:
Author:  Kenison, George James

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023
2Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James Positivity Problems for Reversible Linear Recurrence SequencesInproceedings Konferenzbeitrag 5-Jul-2023
3Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
4Kenison, George On the Skolem Problem for Reversible SequencesInproceedings Konferenzbeitrag22-Aug-2022
5Kenison-2021-On Positivity and Minimality for Second-Order Holonomic Sequ...-vor.pdf.jpgKenison, George James ; Klurman, Oleksiy ; Lefaucheux, Engel ; Luca, Florian ; Moree, Pieter ; Ouaknine, Joël ; Whiteland, Markus ; Worrell, James On Positivity and Minimality for Second-Order Holonomic SequencesInproceedings Konferenzbeitrag 1-Aug-2021