📰 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.

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 ↗Mostofa Ahsan, Kendall E. Nygard54 citations
2. Minimal Modifications of Deep Neural Networks using Verification ↗Ben Goldberger, Guy Katz, Yossi Adi et al.46 citations
3. ARCH-COMP 2020 Category Report: Falsification ↗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 ↗Taylor Thomas Johnson, Diego Manzanas Lopez, Patrick Musau et al.27 citations
5. Tactic Learning and Proving for the Coq Proof Assistant ↗Lasse Blaauwbroek, Josef Urban, Herman Geuvers17 citations
6. A Study of Machine Learning Algorithms on Email Spam Classification ↗N Sutta, Z Liu, X Zhang15 citations
7. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗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 ↗Mnacho Echenim, Radu Iosif, Nicolas Peltier14 citations
9. In silico library design, screening and MD simulation of COX-2 inhibitors for anticancer activity ↗Ankita Sahu, Dibyabhaba Pradhan, Khalid Raza et al.14 citations
10. Rotation Based MSS/MCS Enumeration ↗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 ↗Mostofa Ahsan, Kendall E. Nygard54 citations
2. Minimal Modifications of Deep Neural Networks using Verification ↗Ben Goldberger, Guy Katz, Yossi Adi et al.46 citations
3. ARCH-COMP 2020 Category Report: Falsification ↗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 ↗Taylor Thomas Johnson, Diego Manzanas Lopez, Patrick Musau et al.27 citations
5. Tactic Learning and Proving for the Coq Proof Assistant ↗Lasse Blaauwbroek, Josef Urban, Herman Geuvers17 citations
6. A Study of Machine Learning Algorithms on Email Spam Classification ↗N Sutta, Z Liu, X Zhang15 citations
7. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗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 ↗Mnacho Echenim, Radu Iosif, Nicolas Peltier14 citations
9. In silico library design, screening and MD simulation of COX-2 inhibitors for anticancer activity ↗Ankita Sahu, Dibyabhaba Pradhan, Khalid Raza et al.14 citations
10. Rotation Based MSS/MCS Enumeration ↗Jaroslav Bendík, Ivana Černá14 citations
11. Stateful Premise Selection by Recurrent Neural NetworksBartosz Piotrowski, Josef Urban14 citations · our summary
12. Adversarial Machine Learning: Difficulties in Applying Machine Learning to Existing Cybersecurity Systems ↗Nick Rahimi, Jordan Maynor, Bidyut Gupta13 citations
13. Comparison Studies of Hierarchical Cluster-Based Routing Protocols in Wireless Sensor Networks ↗Deok Hee Nam13 citations
14. Polynomial Loops: Beyond Termination ↗Marcel Hark, Florian Frohn, Jürgen Giesl13 citations
15. Real-Time Learner Classification Using Cognitive Score ↗Avick Kumar Dey, Bibek Poddar, Pijush Kanti Dutta Pramanik et al.13 citations
16. Yawn Based Driver Fatigue Level Prediction ↗Haider Adeeb Kassem, Morshed Chowdhury, Jemal Abawajy et al.13 citations
17. Finding Small Proofs for Description Logic Entailments: Theory and Practice ↗Christian Alrabbaa, Franz Baader, Stefan Borgwardt et al.12 citations
18. Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems ↗Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al.12 citations
19. Learning What Others Know ↗Alexandru Baltag, Sonja Smets12 citations
20. Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicThibault Gauthier11 citations · our summary
21. ARCH-COMP20 Category Report: Stochastic Models ↗Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.10 citations
22. A Unity Framework for Multi-User VR Experiences ↗Alexander Novotny, Rowan Gudmundsson, Frederick Harris9 citations
23. Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions ↗Jens Pagel, Florian Zuleger9 citations
24. Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials ↗Edward Kim, Parasara Sridhar Duggirala9 citations
25. Parameter Synthesis for Probabilistic Hyperproperties ↗Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour et al.9 citations

See all 124 papers in 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 NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations

🧭 Top topics

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

🧮Reasoning (1)

📚 Fields

🖥️Computer Science (1)

🧑‍🔬 Top authors

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

🏛️ Top institutions

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

🎓Czech Technical University in PraguePrague · Czechia1 work here🎓University of WarsawWarsaw · Poland1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/