Personensuche
X
?
Developments in Language Theory; Lecture Notes in Computer Science ,
8
Checking Regular Invariance Under Tightly-Controlled String..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
On the Satisfiability of Context-free String Constraints wi..:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
10
On Network Topologies and the Decidability of Reachability ..:
, In:
?
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ,
12
Reachability in Database-driven Systems with Numerical Attr..:
, In:
?
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ,
14
Recency-Bounded Verification of Dynamic Database-Driven Sys..:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
15