Ivrii, Alexander

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Ivrii, Alexander
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Reynolds, Andrew

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

PreviewAuthor(s)TitleTypeIssue Date
130_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
216_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf.jpgArif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite TracesInproceedings Konferenzbeitrag 2020