---
title: "EPiC series in computing 2020 — all accepted papers"
description: "All 124 papers of EPiC series in computing 2020 · page 1 of 2, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/) / [2020](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/) / papers

# EPiC series in computing 2020: all accepted papers

124 papers · page 1 of 2 · the most cited first · [← EPiC series in computing 2020](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/)

**1** [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/page/2/)

1. **[Convolutional Neural Networks with LSTM for Intrusion Detection ↗](https://doi.org/10.29007/j35r)**Mostofa Ahsan, Kendall E. Nygard*54 citations*
2. **[Minimal Modifications of Deep Neural Networks using Verification ↗](https://doi.org/10.29007/699q)**Ben Goldberger, Guy Katz, Yossi Adi et al.*46 citations*
3. **[ARCH-COMP 2020 Category Report: Falsification ↗](https://doi.org/10.29007/trr1)**Gidon Ernst, Paolo Arcaini, Ismail Bennani et al.*27 citations*
4. **[ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants ↗](https://doi.org/10.29007/9xgv)**Taylor Thomas Johnson, Diego Manzanas Lopez, Patrick Musau et al.*27 citations*
5. **[Tactic Learning and Proving for the Coq Proof Assistant ↗](https://doi.org/10.29007/wg1q)**Lasse Blaauwbroek, Josef Urban, Herman Geuvers*17 citations*
6. **[A Study of Machine Learning Algorithms on Email Spam Classification ↗](https://doi.org/10.29007/qshd)**N Sutta, Z Liu, X Zhang*15 citations*
7. **[ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗](https://doi.org/10.29007/zkf6)**Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff et al.*14 citations*
8. **[Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard ↗](https://doi.org/10.29007/f5wh)**Mnacho Echenim, Radu Iosif, Nicolas Peltier*14 citations*
9. **[In silico library design, screening and MD simulation of COX-2 inhibitors for anticancer activity ↗](https://doi.org/10.29007/z2wx)**Ankita Sahu, Dibyabhaba Pradhan, Khalid Raza et al.*14 citations*
10. **[Rotation Based MSS/MCS Enumeration ↗](https://doi.org/10.29007/8btb)**Jaroslav Bendík, Ivana Černá*14 citations*
11. **[Stateful Premise Selection by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/)**Bartosz Piotrowski, Josef Urban*14 citations · our summary*
12. **[Adversarial Machine Learning: Difficulties in Applying Machine Learning to Existing Cybersecurity Systems ↗](https://doi.org/10.29007/3xbb)**Nick Rahimi, Jordan Maynor, Bidyut Gupta*13 citations*
13. **[Comparison Studies of Hierarchical Cluster-Based Routing Protocols in Wireless Sensor Networks ↗](https://doi.org/10.29007/stzv)**Deok Hee Nam*13 citations*
14. **[Polynomial Loops: Beyond Termination ↗](https://doi.org/10.29007/nxv1)**Marcel Hark, Florian Frohn, Jürgen Giesl*13 citations*
15. **[Real-Time Learner Classification Using Cognitive Score ↗](https://doi.org/10.29007/fn7b)**Avick Kumar Dey, Bibek Poddar, Pijush Kanti Dutta Pramanik et al.*13 citations*
16. **[Yawn Based Driver Fatigue Level Prediction ↗](https://doi.org/10.29007/67kk)**Haider Adeeb Kassem, Morshed Chowdhury, Jemal Abawajy et al.*13 citations*
17. **[Finding Small Proofs for Description Logic Entailments: Theory and Practice ↗](https://doi.org/10.29007/nhpp)**Christian Alrabbaa, Franz Baader, Stefan Borgwardt et al.*12 citations*
18. **[Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems ↗](https://doi.org/10.29007/r74f)**Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al.*12 citations*
19. **[Learning What Others Know ↗](https://doi.org/10.29007/plm4)**Alexandru Baltag, Sonja Smets*12 citations*
20. **[Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic](https://md.research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/)**Thibault Gauthier*11 citations · our summary*
21. **[ARCH-COMP20 Category Report: Stochastic Models ↗](https://doi.org/10.29007/mqzc)**Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.*10 citations*
22. **[A Unity Framework for Multi-User VR Experiences ↗](https://doi.org/10.29007/r1q2)**Alexander Novotny, Rowan Gudmundsson, Frederick Harris*9 citations*
23. **[Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions ↗](https://doi.org/10.29007/vkmj)**Jens Pagel, Florian Zuleger*9 citations*
24. **[Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials ↗](https://doi.org/10.29007/rs5n)**Edward Kim, Parasara Sridhar Duggirala*9 citations*
25. **[Parameter Synthesis for Probabilistic Hyperproperties ↗](https://doi.org/10.29007/37lf)**Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour et al.*9 citations*
26. **[Sensitivity Analysis of Locked Circuits ↗](https://doi.org/10.29007/7tpd)**Joseph Sweeney, Marijn J. H. Heule, Larry Pileggi*9 citations*
27. **[Learning Ex Nihilo ↗](https://doi.org/10.29007/ggcf)**Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato et al.*8 citations*
28. **[A Study of the Landscape of Internet Censorship and Anti-Censorship in Middle East ↗](https://doi.org/10.29007/vpbg)**Nick Rahimi, Bidyut Gupta*7 citations*
29. **[A compositional semantics for Repairable Fault Trees with general distributions ↗](https://doi.org/10.29007/p16v)**Raúl E. Monti, Carlos E. Budde, Pedro R. D’Argenio*7 citations*
30. **[On relationships between imbalance and overlapping of datasets ↗](https://doi.org/10.29007/h71z)**Waleed A. Almutairi, Ryszard Janicki*7 citations*
31. **[Threats and Alert Analytics in Autonomous Vehicles ↗](https://doi.org/10.29007/j6h1)**Aakanksha Rastogi, Kendall E. Nygard*7 citations*
32. **[A Mechanised Semantics for HOL with Ad-hoc Overloading ↗](https://doi.org/10.29007/413d)**Johannes Åman Pohjola, Arve Gengelbach*6 citations*
33. **[ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗](https://doi.org/10.29007/7dt2)**Matthias Althoff, Stanley Bak, Zongnan Bao et al.*6 citations*
34. **[Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification ↗](https://doi.org/10.29007/f4vs)**Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson*6 citations*
35. **[A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars ↗](https://doi.org/10.29007/mx3f)**Ian M. Mitchell*5 citations*
36. **[ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking ↗](https://doi.org/10.29007/bhwx)**Lei Bu, Alessandro Abate, Dieky Adzkiya et al.*5 citations*
37. **[Co-expression networks uncover regulation of splicing and transcription markers of disease ↗](https://doi.org/10.29007/rl4h)**Pan Zhang, Bruce R. Southey, Sandra L. Rodriguez‐Zas*5 citations*
38. **[Coloring Unit-Distance Strips using SAT ↗](https://doi.org/10.29007/btmj)**Peter Oostema, Ruben Martins, Marijn J. H. Heule*5 citations*
39. **[New Monitoring Architectures for underwater oil/Gas Pipeline using Hyper sensors ↗](https://doi.org/10.29007/c84d)**Huda Aldosari, Raafat Elfouly, Reda A.A. Ammar et al.*5 citations*
40. **[Pavement Crack Detection Using Convolutional Neural Network ↗](https://doi.org/10.29007/h4k6)**Alaa F. Sheta, Hamza Turabieh, Sultan Aljahdali et al.*5 citations*
41. **[Reducing error propagation for long term energy forecasting using multivariate prediction ↗](https://doi.org/10.29007/mbb7)**Maher Selim, Ryan Zhou, Wenying Feng et al.*5 citations*
42. **[ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving ↗](https://doi.org/10.29007/bdq9)**Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin et al.*4 citations*
43. **[Aiming for the Goal with SInE ↗](https://doi.org/10.29007/q4pt)**Martin Suda*4 citations*
44. **[Multi-objective Optimisation of Gene Regulatory Networks: Insights from a Boolean Circadian Clock Model ↗](https://doi.org/10.29007/bvbj)**Ozgur E. Akman, Jonathan Edward Fieldsend*4 citations*
45. **[Visualizing Omics Data from Spaceflight Samples using the NASA GeneLab Platform ↗](https://doi.org/10.29007/rh7n)**Daniel C. Berrios, Eric M. Weitz, Kirill A. Grigorev et al.*4 citations*
46. **[A Bimodal Approach for the Discovery of a View of the Implementation Platform of Legacy Object-Oriented Systems under Modernization Process ↗](https://doi.org/10.29007/rbp7)**Hamza Abdelmalek, Gino Chénard, Ismaïl Khriss et al.*3 citations*
47. **[A Verified SAT Solver Framework including Optimization and Partial Valuations ↗](https://doi.org/10.29007/96wb)**Mathias Fleury, Christoph Weidenbach*3 citations*
48. **[An ASP-based Approach for Boolean Networks Representation and Attractor Detection ↗](https://doi.org/10.29007/fb4f)**Tarek Khaled, Belaïd Benhamou*3 citations*
49. **[An Integrated Framework for Friend Recommender System based on Graph Theoretic Approach ↗](https://doi.org/10.29007/4bwn)**Runa Ganguli, Akash Mehta, Narayan Chandra Debnath et al.*3 citations*
50. **[Antiprenexing for WSkS: A Little Goes a Long Way ↗](https://doi.org/10.29007/6bfc)**Vojtěch Havlena, Lukáš Holík, Ondřej Lengál et al.*3 citations*
51. **[Exploring Deep Neural Network Architectures: A Case Study on Improving Antimicrobial Peptide Recognition ↗](https://doi.org/10.29007/rbxj)**Manpriya Dua, Daniel Barbará, Amarda Shehu*3 citations*
52. **[Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation ↗](https://doi.org/10.29007/k8jd)**Jarkko Savela, Emilia Oikarinen, Matti J„ärvisalo*3 citations*
53. **[Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback ↗](https://doi.org/10.29007/ppgx)**Yan Xiang Wu, Jinchuan Chen, Plarent Haxhidauti et al.*3 citations*
54. **[Learning Data Structure Shapes from Memory Graphs ↗](https://doi.org/10.29007/dhpw)**Jan H. Boockmann, Luettgen Gerald*3 citations*
55. **[Mapping and visualization of publication networks of public university faculty in computer science and electrical engineering ↗](https://doi.org/10.29007/dk44)**Conor Carroll, Nupur Garg, Theresa Migler et al.*3 citations*
56. **[SAT, Computer Algebra, Multipliers ↗](https://doi.org/10.29007/j8cm)**Daniela Kaufmann, Armin Biere, Manuel Kauers*3 citations*
57. **[The Triguarded Fragment with Transitivity ↗](https://doi.org/10.29007/z359)**Emanuel Kieroński, Adam Malinowski*3 citations*
58. **[UI Error Reduction for High Spatial Visualization Users when Using Adaptive Software to Verify Addresses ↗](https://doi.org/10.29007/58s9)**Thitivatr Patanasakpinyo, Les Miller*3 citations*
59. **[A Scalable Cloud Native Platform For Interactive Museum Exhibits ↗](https://doi.org/10.29007/6b3j)**Paul Cappaert, Alex Redei*2 citations*
60. **[ARCH-COMP20 Repeatability Evaluation Report ↗](https://doi.org/10.29007/8dp4)**Taylor Thomas Johnson*2 citations*
61. **[Clique Selection and its Effect on Paraclique Enrichment: An Experimental Study ↗](https://doi.org/10.29007/3sdd)**Yuping Lu, Charles Phillips, Elissa J. Chesler et al.*2 citations*
62. **[Convolutional neural net learns promoter sequence features driving transcription strength ↗](https://doi.org/10.29007/8fmw)**Nicholas Leiby, Ayaan Hossain, Howard M. Salis*2 citations*
63. **[Estimating the Concentration of Students from Time Series Images ↗](https://doi.org/10.29007/gl3b)**Hoang Nguyen, Yu Takahata, Masaaki Goto et al.*2 citations*
64. **[From Unsupervised Multi-Instance Learning to Identification of Near-Native Protein Structures ↗](https://doi.org/10.29007/pjcf)**Fardina Fathmiul Alam, Amarda Shehu*2 citations*
65. **[Implementing Timed Petri net for Modeling and Simulation in Card Gameplay ↗](https://doi.org/10.29007/htqb)**Garrett Hope, Paul Brodhead, Seung-yun Kim*2 citations*
66. **[Models of Concurrent Kleene Algebra ↗](https://doi.org/10.29007/qp92)**Alexandra Silva*2 citations*
67. **[New Approach to Teaching Computer Programming to Freshmen ↗](https://doi.org/10.29007/sl43)**Jacob Sukhodolsky*2 citations*
68. **[Predicting Cerebral Aneurysm Rupture by Gradient Boosting Decision Tree using Clinical, Hemodynamic, and Morphological Information ↗](https://doi.org/10.29007/jjwt)**Toshiyuki Haruhara, Hideto Ohgi, Masaaki Suzuki et al.*2 citations*
69. **[SOC and SOH Monitoring Algorithms for Lithium Batteries Using Multilayer Neural Networks ↗](https://doi.org/10.29007/m89x)**Jong‐Hyun Lee, Hyun Sil Kim, In Soo Lee*2 citations*
70. **[Using GeoHashes to Combine IOT and GIS to Provide Business Intelligence to the Informal Sector in South Africa ↗](https://doi.org/10.29007/rssv)**Laurie L. Butgereit*2 citations*
71. **[Zero-skipping in CapsNet. Is it worth it? ↗](https://doi.org/10.29007/cd8h)**Ramin Sharifi, Pouya Shiri, Amirali Baniasadi*2 citations*
72. **[Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI ↗](https://doi.org/10.29007/k647)**Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu et al.*1 citation*
73. **[Analysis of Mutation Bias in Shaping Codon Usage Bias and Its Association with Gene Expression Across Species ↗](https://doi.org/10.29007/87r9)**Zhixiu Lu, Michael A. Gilchrist, Scott Emrich*1 citation*
74. **[Bifurcation Analysis of a Mathematical Model of Tumor Growth in MCF-7 Breast Cancer Cell Line ↗](https://doi.org/10.29007/spj5)**Hsiu‐Chuan Wei*1 citation*
75. **[Common Knowledge in an Epistemic Logic with Hypotheses ↗](https://doi.org/10.29007/43wj)**Levan Uridia, Dirk Walther*1 citation*
76. **[Description Logics That Count, and What They Can and Cannot Count ↗](https://doi.org/10.29007/ltzn)**Franz Baader, Filippo De Bortoli*1 citation*
77. **[Disease Outbreak Detection Using Search Keywords Patterns ↗](https://doi.org/10.29007/z8tp)**Izzat Mahmoud Alsmadi, Zaid Almubaid, Hisham Al-Mubaid*1 citation*
78. **[Epileptic Focus Localization Based on iEEG Plot Images by Using Convolutional Neural Network ↗](https://doi.org/10.29007/9jmg)**Xuyang Zhao, Linfeng Sui, Toshihisa Tanaka et al.*1 citation*
79. **[Face Image Deblurring: A Data-Driven Strategy ↗](https://doi.org/10.29007/tlhq)**Abdelwahed Nahli, Yuanzhouhan Cao, Shugong Xu*1 citation*
80. **[Graphical Processing Unit - Supported RNA Secondary Structure Comparison ↗](https://doi.org/10.29007/bhsr)**Mutlu Mete, Abdullah N. Arslan*1 citation*
81. **[Identification of Deregulated Transcription Factors Involved in Specific Bladder Cancer Subtypes ↗](https://doi.org/10.29007/v7qj)**Magali Champion, Julien Chiquet, Pierre Neuvial et al.*1 citation*
82. **[Metrics and Indicators to evaluate the degree of transformation to Smart City of a city. An Ad-Hoc Quality Model ↗](https://doi.org/10.29007/xcq9)**Narayan Chandra Debnath, Mario Gabriel Peralta, Carlos Humberto Salgado et al.*1 citation*
83. **[Mining approximate frequent dense modules from multiple gene expression datasets ↗](https://doi.org/10.29007/d87q)**San Ha Seo, Saeed Salem*1 citation*
84. **[Productivity Comparison among Software Projects ↗](https://doi.org/10.29007/s6kd)**Cuauhtémoc López-Martín*1 citation*
85. **[Property Preserving Embedding of First-order Logic ↗](https://doi.org/10.29007/18t1)**Julian Parsert, Stephanie Autherith, Cezary Kaliszyk*1 citation*
86. **[Smart Ecosystems through Voice and Images ↗](https://doi.org/10.29007/ztmt)**Alexander I. Iliev, Peter L. Stanchev*1 citation*
87. **[Soccer Playing Robot Goal Scoring Algorithm Using Fuzzy Petri nets ↗](https://doi.org/10.29007/rgnk)**Paul Brodhead, Garrett Hope, Seung-yun Kim*1 citation*
88. **[Transformation Methodology of Binary Executables to Run on Bare Machines ↗](https://doi.org/10.29007/11g5)**Navid Ordouie, Rasha Almajed, Ramesh K. Karne et al.*1 citation*
89. **[Who Needs Category Theory? ↗](https://doi.org/10.29007/4dr3)**Andreas R. Blass, Yuri G. Gurevich*1 citation*
90. **[A Framework for Word Segmentation in Images using Density-based Clustering ↗](https://doi.org/10.29007/hq3n)**Hui Guo, Qin Ding
91. **[A Study of Update Methods for BoND-Tree Index on Non-ordered Discrete Vector Data ↗](https://doi.org/10.29007/3zq4)**Ramblin Cherniak, Qiang Zhu, Sakti K. Pramanik
92. **[A typed parallel lambda-calculus via 1-depth intermediate proofs ↗](https://doi.org/10.29007/g15z)**Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
93. **[ASPECT, an LDA-Based Predictive Algorithm for In Vitro Selection ↗](https://doi.org/10.29007/vkrq)**Puzhou Wang
94. **[Active Rules in a Graph Database Environment ↗](https://doi.org/10.29007/1w4k)**Ying Jin, Vadlamannati Bharath, Jinaliben Shah
95. **[Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps ↗](https://doi.org/10.29007/rvq6)**Nabila Mansouri, Hana Bougueddima, Yousra Ben Jemâa
96. **[Analysis of Real-Time Control Systems using First-Order Continuization ↗](https://doi.org/10.29007/8nq6)**Maximilian Gaukler
97. **[Assessing Protein-Drug Resistance Due to Mutations via a Rigidity Analysis in silico Approach ↗](https://doi.org/10.29007/7gnf)**Dylan Carpenter, Tess Thackray, Cecilia Kalthoff et al.
98. **[Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving ↗](https://doi.org/10.29007/q91g)**Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik et al.
99. **[Bioinformatics analysis of hereditary disease gene set to identify key modulators of myocardial remodeling during heart regeneration in zebrafish ↗](https://doi.org/10.29007/9p1h)**Lawrence Yu‐Min Liu, Zih‐Yin Lai, Min-Hsuan Lin et al.
100. **[Channel-Matched OFDM (CM-OFDM) for Enhanced Performance of Multiuser Systems Operating in Underwater Acoustic Channels ↗](https://doi.org/10.29007/kmzx)**Said E. El‐Khamy, Dalia Ibrahim

**1** [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/) — EPiC series in computing 2020