Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2012Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based SearchSinha, Arnab; Malik, Sharad; Wang, Chao; Gupta, Aarti
15-Aug-2015On computing minimal independent support and its applications to sampling and countingIvrii, A; Malik, S; Meel, KS; Vardi, MY
Jun-2020Partial Recovery of Erdős-Rényi Graph Alignment via k-Core AlignmentCullina, Daniel; Kiyavash, Negar; Mittal, Prateek; Poor, H Vincent
9-Jun-2018How to quantify graph De-anonymization risksLee, W-H; Liu, C; Ji, S; Mittal, P; Lee, RB
3-Jul-2020Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime MeasuresBagchi, Saurabh; Aggarwal, Vaneet; Chaterji, Somali; Douglis, Fred; Gamal, Aly El, et al
5-Jun-2017De-SAG: On the De-Anonymization of Structure-Attribute Graph DataJi, Shouling; Wang, Ting; Chen, Jianhai; Li, Weiqing; Mittal, Prateek, et al
15-Feb-2015Model checking unbounded concurrent listsSethi, D; Talupur, M; Malik, S
5-Jul-2012Indirect exchange interaction in fully metal-semiconductor separated single-walled carbon nanotubes revealed by electron spin resonanceHavlicek, M; Jantsch, W; Wilamowski, Z; Yanagi, K; Kataura, H, et al
11-Apr-2014SybilBelief: A Semi-Supervised Learning Approach for Structure-Based Sybil DetectionGong, Neil Zhenqiang; Frank, Mario; Mittal, Prateek
2020Reduced Recombination and Capacitor-like Charge Buildup in an Organic HeterojunctionSchwarz, KN; Geraghty, PB; Mitchell, VD; Khan, S-U-Z; Sandberg, OJ, et al