european journal of cardio-thoracic surgery (6)
journal of automated reasoning (6)
theory of computing systems (5)
acta crystallographica: section d, structural biology (4)
european journal of pediatrics (4)
journal of peptide science (4)
mathematical structures in computer science (4)
archives of orthopaedic & trauma surgery (3)
cancers (3)
chemmedchem (3)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (3)
4th international conference on formal structures for computation and deduction (2)
converter (2)
european journal of medicinal chemistry (2)
european journal of paediatric neurology (2)
journal of medicinal chemistry (2)
journal of the american chemical society (2)
ways of proof theory (2)
19th international conference on types for proofs and programs (1)
2019 ieee international parallel and distributed processing symposium (ipdps), parallel and distributed processing symposium (ipdps), 2019 ieee international (1)
2021 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2021 ieee international conference on (1)
2022 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2022 ieee/rsj international conference on (1)
2023 ieee international conference on cloud engineering (ic2e), cloud engineering (ic2e), 2023 ieee international conference on, ic2e (1)
21st international conference on types for proofs and programs (1)
acm transactions on graphics (1)
archiv der pharmazie (1)
archives of orthopaedic and trauma surgery (1)
archives of orthopaedic and trauma surgery: including arthroscopy and sports medicine (1)
frontiers in physiology (1)
fruhe neuzeit im videospiel: geschichtswissenschaftliche perspektiven (1)
genetics in medicine (1)
langmuir (1)
lics '18---33rd annual acm/ieee symposium on logic in computer science (1)
logical methods in computer science (1)
logical methods in computer science (lmcs) (1)
old bike mart (1)
studia comeniana et historica (1)
the ifcolog journal of logics and their applications (1)