---
title: "EPiC series in computing 2020 — papers — Elamur Research"
description: "EPiC series in computing 2020 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/2020/"
---
[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/)

[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

# EPiC series in computing 2020 — papers

The works of EPiC series in computing published in 2020 that our library holds: 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**124** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/#works) · [**21** citations of these works](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All works of the year (124)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 124 papers in EPiC series in computing 2020 — papers →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[Stateful Premise Selection by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Bartosz Piotrowski, Josef Urban*2020 · 21 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Bartosz Piotrowski**1 work here · 21 citations](https://md.research.elamur.ai/free/en/authors/bartosz-piotrowski/) · [🧑‍🔬**Josef Urban**1 work here · 21 citations](https://md.research.elamur.ai/free/en/authors/josef-urban/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🎓**Czech Technical University in Prague** Prague · Czechia 1 work here](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🎓**University of Warsaw** Warsaw · Poland 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-warsaw/)

works and citations from OpenAlex and our library.

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