Wies, Thomas
- Complete Multiparty Session Type Projection with Automata
2023/05/26 by Elaine Li, Felix Stutz, Li, Elaine +5 · 6 citations
Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Logic, programming, and type systems
- Learning Invariants using Decision Trees
2015/01/20 by Krishna, Siddharth, Puhrsch, Christian, Wies, Thomas · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Data Flow Refinement Type Inference
2020/11/10 by Pavlinovic, Zvonimir, Su, Yusen, Wies, Thomas · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Inverse-Weighted Survival Games
2021/11/16 by Xintian Han, Mark Goldstein, Han, Xintian +9 · 1 citation
Computer Science · Mathematics · #Advanced Causal Inference Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning in Healthcare #Statistical Methods and Inference
- Deciding Subtyping for Asynchronous Multiparty Sessions
2024/01/29 by Li, Elaine, Stutz, Felix, Wies, Thomas · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Characterizing Implementability of Global Protocols with Infinite States and Data
2024/11/08 by Elaine Li, Felix Stutz, Li, Elaine +5 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Mobile Agent-Based Network Management #Petri Nets in System Modeling #Programming Languages (cs.PL)