--- title: "EPiC series in computing — journal, papers and authors" description: "EPiC series in computing: 4 works in the Elamur Research library (2017–2020), 183 citations; its topics, authors and institutions." canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/epic-series-in-computing/) [home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / EPiC series in computing # EPiC series in computing Journal - [Website](https://www.easychair.org/publications/EPiC) - [OpenAlex](https://openalex.org/S4220651395) - [Wikidata](https://www.wikidata.org/wiki/Q108068710) - [ISSN 2398-7340](https://portal.issn.org/resource/ISSN/2398-7340) [**4** works in our library](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/#works) · [**183** citations of these works](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/#works) · [**58** citations in our library](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/#works) · [**2017–2020** years of the works here](#years) ## Works by year Works in our library by year 4 dated works from 2017 to 2020; the busiest year is 2017 with 1. **The numbers** | Year | Works | | --- | --- | | 2020 | 1 | | 2019 | 1 | | 2018 | 1 | | 2017 | 1 | ## Volumes by year Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions. ### 2020s [**2020** 1 paper](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/) ### 2010s [**2019** 1 paper](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2019/) · [**2018** 1 paper](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/) · [**2017** 1 paper](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2017/) ## Top topics Topics of its works in our library, with the number of works on each. [Reasoning (3)](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Legal AI (1)](https://md.research.elamur.ai/free/en/topics/legal-ai/) · [Hebrew & Aramaic (1)](https://md.research.elamur.ai/free/en/topics/hebrew-aramaic/) ## Fields [Computer Science (4)](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Arts and Humanities (1)](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) ## Top authors Authors with a page who published here most often: their works here, and the citations of those works. [🧑‍🔬**Cezary Kaliszyk**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) · [🧑‍🔬**Christian Szegedy**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/christian-szegedy/) · [🧑‍🔬**Geoffrey Irving**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/geoffrey-irving/) · [🧑‍🔬**Sarah M. Loos**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/sarah-m-loos/) · [🧑‍🔬**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/) · [🧑‍🔬**Thibault Gauthier**1 work here · 15 citations](https://md.research.elamur.ai/free/en/authors/thibault-gauthier/) · [🧑‍🔬**Dov M. Gabbay**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/dov-m-gabbay/) · [🧑‍🔬**Michaël Abraham**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/michael-abraham/) · [🧑‍🔬**Uri J. Schild**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/uri-j-schild/) ## Top institutions Institutions on the bylines of its works here, by the number of works. [🎓**Czech Technical University in Prague** Prague · Czechia 2 works here](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🏢**Google** Mountain View · United States 1 work here](https://md.research.elamur.ai/free/en/companies/google/) · [🎓**Universität Innsbruck** Innsbruck · Austria 1 work here](https://md.research.elamur.ai/free/en/universities/universitat-innsbruck/) · [🎓**University of Warsaw** Warsaw · Poland 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-warsaw/) · [🎓**Carnegie Mellon University** Pittsburgh · United States 1 work here](https://md.research.elamur.ai/free/en/universities/carnegie-mellon-university/) ## Works in our library (4) The most cited first (OpenAlex citations plus our library's). 1. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/) EPiC series in computing**Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.*2017 · 139 citations* 2. **[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**Bartosz Piotrowski, Josef Urban*2020 · 21 citations* 3. **[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/) EPiC series in computing**Thibault Gauthier*2019 · 15 citations* 4. **[The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation](https://md.research.elamur.ai/free/en/papers/abraham-2018-handling-loops-talmudic-logic/) EPiC series in computing**Michael Abraham, Dov M. Gabbay, Uri J. Schild*2018 · 8 citations* Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.