Name Card

Full name Familienname, Vorname
Goel, Amit
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1DAntoni-2024-Projective Model Counting for IP Addresses in Access Control...-vor.pdf.jpgD’Antoni, Loris ; Gacek, Andrew ; Goel, Amit ; Jovanovic, Dejan ; Kıcı, Rami Gökhan ; Peebles, Dan ; Rungta, Neha ; Sharoda, Yasmine ; Sung, Chungha Projective Model Counting for IP Addresses in Access Control PoliciesInproceedings Konferenzbeitrag Oct-2024
2Lotz-2024-Solving String Constraints with Concatenation Using SAT-vor.pdf.jpgLotz, Kevin ; Goel, Amit ; Dutertre, Bruno ; Kiesl-Reiter, Benjamin ; Kong, Soonho ; Nowotka, Dirk Solving String Constraints with Concatenation Using SATInproceedings Konferenzbeitrag Oct-2024