• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2024
• 
  Matthew Marcellino, Arya Wicaksana, Moeljono Widjaja:
  Zero-knowledge Identity Authentication for E-voting System. J. Internet Serv. Inf. Secur. 14(2): 18-31 (2024)
• 
  Matthew Hague, Artur Jez, Anthony W. Lin:
  Parikh's Theorem Made Symbolic. Proc. ACM Program. Lang. 8(POPL): 1945-1977 (2024)
• 
  Adarsh Salagame, Neha Bhattachan, Andre Caetano, Ian McCarthy, Henry Noyes, Brandon Petersen, Alexander Qiu, Matthew Schroeter, Nolan Smithwick, Konrad Sroka, Jason Widjaja, Yash Bohra, Kaushik Venkatesh Krishnamurthy, Kruthika Gangaraju, Paul Ghanem, Ioannis Mandralis, Eric Sihite, Arash Kalantari, Alireza Ramezani:
  How Strong a Kick Should be to Topple Northeastern's Tumbling Robot? AIM 2024: 76-81
• 2023
• 
  Matthew Hague, Artur Jez, Anthony W. Lin:
  Parikh's Theorem Made Symbolic. CoRR abs/2311.03901 (2023)
• 
  Adarsh Salagame, Neha Bhattachan, Andre Caetano, Ian McCarthy, Henry Noyes, Brandon Petersen, Alexander Qiu, Matthew Schroeter, Nolan Smithwick, Konrad Sroka, Jason Widjaja, Yash Bohra, Kaushik Venkatesh Krishnamurthy, Kruthika Gangaraju, Paul Ghanem, Ioannis Mandralis, Eric Sihite, Arash Kalantari, Alireza Ramezani:
  How Strong a Kick Should be to Topple Northeastern's Tumbling Robot? CoRR abs/2311.14878 (2023)
• 2022
• 
  Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
  Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022)
• 2021
• 
  Amanda E. Kraft, Matthew Widjaja, Trevor M. Sands, Brad J. Galego:
  Programmatically Identifying Cognitive Biases Present in Software Development. SciPy 2021: 94-105
• 
  Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR abs/2111.04298 (2021)
• 2020
• 
  Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342
• 
  Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
  Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) 2020: 122-140
• 
  Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR abs/2004.12371 (2020)
• 
  Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR abs/2007.06913 (2020)
• 2019
• 
  Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
  Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3(POPL): 49:1-49:30 (2019)
• 
  Matthew Hague, Anthony W. Lin, Chih-Duo Hong:
  CSS Minification via Constraint Solving. ACM Trans. Program. Lang. Syst. 41(2): 12:1-12:76 (2019)
• 2018
• 
  Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
  What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2(POPL): 3:1-3:29 (2018)
• 
  Matthew Hague, Anthony W. Lin:
  Decidable models of integer-manipulating programs with recursive parallelism. Theor. Comput. Sci. 750: 24-37 (2018)
• 
  Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
  Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR abs/1811.03167 (2018)
• 
  Matthew Hague, Anthony W. Lin, Chih-Duo Hong:
  CSS Minification via Constraint Solving (Technical Report). CoRR abs/1812.02989 (2018)
• 2017
• 
  Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
  What Is Decidable about String Constraints with the ReplaceAll Function. CoRR abs/1711.03363 (2017)
• 2016
• 
  Matthew Hague, Anthony Widjaja Lin:
  Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. RP 2016: 148-162
• 
  Matthew Hague, Anthony Widjaja Lin:
  Decidable models of integer-manipulating programs with recursive parallelism (technical report). CoRR abs/1605.06868 (2016)
• 2015
• 
  Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong:
  Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. OOPSLA 2015: 1-19
• 2014
• 
  Matthew Hague, Anthony Widjaja Lin, Luke Ong:
  Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach. CoRR abs/1412.5143 (2014)
• 2012
• 
  Matthew Hague, Anthony Widjaja Lin:
  Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. CAV 2012: 260-276
• 2011
• 
  Matthew Hague, Anthony Widjaja Lin:
  Model Checking Recursive Programs with Numeric Data Types. CAV 2011: 743-759
• 2010
• 
  Matthew Hague, Anthony Widjaja To:
  The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. FSTTCS 2010: 228-239