Elamur Research⌕
☰
home / venues / EPiC series in computing

EPiC series in computing

Journal

WebsiteOpenAlexWikidataISSN 2398-7340

 4works in our library 183citations of these works 58citations in our library 2017–2020years of the works here

 Works by year

Works in our library by year

4 dated works from 2017 to 2020; the busiest year is 2017 with 1.

Works in our library by year12017: 120172018: 120182019: 120192020: 12020
The numbers
YearWorks
20201
20191
20181
20171

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

20201 paper

2010s

20191 paper20181 paper20171 paper

 Top topics

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

Reasoning (3)Legal AI (1)Hebrew & Aramaic (1)

 Fields

Computer Science (4)Arts and Humanities (1)

 Top authors

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

🧑‍🔬Cezary Kaliszyk1 work here · 139 citations🧑‍🔬Christian Szegedy1 work here · 139 citations🧑‍🔬Geoffrey Irving1 work here · 139 citations🧑‍🔬Sarah M. Loos1 work here · 139 citations🧑‍🔬Bartosz Piotrowski1 work here · 21 citations🧑‍🔬Josef Urban1 work here · 21 citations🧑‍🔬Thibault Gauthier1 work here · 15 citations🧑‍🔬Dov M. Gabbay1 work here · 8 citations🧑‍🔬Michaël Abraham1 work here · 8 citations🧑‍🔬Uri J. Schild1 work here · 8 citations

 Top institutions

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

🎓Czech Technical University in PraguePrague · Czechia2 works here🏢GoogleMountain View · United States1 work here🎓Universität InnsbruckInnsbruck · Austria1 work here🎓University of WarsawWarsaw · Poland1 work here🎓Carnegie Mellon UniversityPittsburgh · United States1 work here

 Works in our library (4)

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

  1. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
  2. Stateful Premise Selection by Recurrent Neural NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations
  3. Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicEPiC series in computingThibault Gauthier2019 · 15 citations
  4. The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in ArgumentationEPiC series in computingMichael Abraham, Dov M. Gabbay, Uri J. Schild2018 · 8 citations

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.

↑ back to top

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