Acta Informatica

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Acta Informatica
 
e-ISSN
1432-0525
 
ISSN
0001-5903
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
ONE NEW YORK PLAZA, SUITE 4600 , NEW YORK, United States, NY, 10004
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo Gray-box runtime enforcement of hyperpropertiesArticle Artikel Sep-2025
2Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana Hypernode automataArticle Artikel 9-Dec-2025
3Correnson-2025-Acta Informatica-vor.pdf.jpgCorrenson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg Symbolic execution for refuting ∀∃ hyperpropertiesArticle Artikel Dec-2025