Edit Profile (opens in new tab) Sojka, Petr Co-Author Distance Author ID: sojka.petr Published as: Sojka, Petr Documents Indexed: 9 Publications since 2008 8 Contributions as Editor Co-Authors: 29 Co-Authors with 13 Joint Publications 489 Co-Co-Authors all top 5 Co-Authors 4 single-authored 3 Líška, Martin 3 Ruzicka, Michal 2 Carette, Jacques 2 Lupták, Dávid 2 Novotný, Vít 2 Štefánik, Michal 2 Wenzel, Makarius 1 Aspinall, David 1 Autexier, Serge 1 Borbinha, José 1 Bouche, Thierry 1 Campbell, John A. 1 Davenport, James Harold 1 Dos Reis, Gabriel 1 Jeuring, Johan 1 Kopecek, Ivan 1 Krejčíř, Vlastimil 1 Lange, Christoph 1 Nowiński, Aleksander 1 Pala, Karel 1 Rákosník, Jiří 1 Řehůřek, Radim 1 Sexton, Alan P. 1 Shminke, Boris A. 1 Sorge, Volker 1 Suzuki, Masakazu 1 Urban, Josef 1 Watt, Stephen Michael 1 Windsteiger, Wolfgang Serials 4 Lecture Notes in Computer Science 1 Mathematics in Computer Science Fields 16 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 24 times in 21 Documents Cited by ▼ Year ▼ Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 7 2014 Indexing and searching mathematics in digital libraries. Architecture, design and scalability issues. Zbl 1335.68292 Sojka, Petr; Líška, Martin 7 2011 Math indexer and searcher web interface. Towards fulfillment of mathematicians’ information needs. Zbl 1304.68199 Líška, Martin; Sojka, Petr; Růžička, Michal 4 2014 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008 1 2013 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Zbl 1158.00018 1 2008 CICM’21 systems entries. Zbl 1485.68300 Líška, Martin; Lupták, Dávid; Novotný, Vít; Růžička, Michal; Shminke, Boris; Sojka, Petr; Štefánik, Michal; Wenzel, Makarius 1 2021 Project EuDML – a first year demonstration. Zbl 1335.68288 Borbinha, José; Bouche, Thierry; Nowiński, Aleksander; Sojka, Petr 1 2011 Digitization workflow in the Czech digital mathematics library. Zbl 1333.68264 Sojka, Petr 1 2014 CICM’21 systems entries. Zbl 1485.68300 Líška, Martin; Lupták, Dávid; Novotný, Vít; Růžička, Michal; Shminke, Boris; Sojka, Petr; Štefánik, Michal; Wenzel, Makarius 1 2021 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 7 2014 Math indexer and searcher web interface. Towards fulfillment of mathematicians’ information needs. Zbl 1304.68199 Líška, Martin; Sojka, Petr; Růžička, Michal 4 2014 Digitization workflow in the Czech digital mathematics library. Zbl 1333.68264 Sojka, Petr 1 2014 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008 1 2013 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Indexing and searching mathematics in digital libraries. Architecture, design and scalability issues. Zbl 1335.68292 Sojka, Petr; Líška, Martin 7 2011 Project EuDML – a first year demonstration. Zbl 1335.68288 Borbinha, José; Bouche, Thierry; Nowiński, Aleksander; Sojka, Petr 1 2011 DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Zbl 1158.00018 1 2008 all cited Publications top 5 cited Publications all top 5 Cited by 58 Authors 4 Kohlhase, Michael 4 Sojka, Petr 3 Müller, Dennis 3 Rabe, Florian 2 Guidi, Ferruccio 2 Iancu, Mihnea 2 Korniłowicz, Artur 2 Líška, Martin 2 Sacerdoti Coen, Claudio 2 Wiesing, Tom 1 Avigad, Jeremy 1 Bancerek, Grzegorz 1 Bandyopadhyay, Sivaji 1 Blanchette, Jasmin Christian 1 Borbinha, José 1 Bouche, Thierry 1 Byliński, Czesław 1 Caminati, Marco Bright 1 Chen, Xiaoyu 1 Dadure, Pankaj 1 Dehaye, Paul-Olivier 1 Gauthier, Thibault 1 Ginev, Deyan 1 Grabowski, Adam 1 Jucovshi, Constantin 1 Kaliszyk, Cezary 1 Klein, Gerwin 1 Koepke, Peter 1 Kohlhase, Andrea 1 Konovalov, Olexandr 1 Lelièvre, Samuel 1 Liu, Hongyuan 1 Lorenzen, Anton 1 Lupták, Dávid 1 Matuszewski, Roman 1 Nagashima, Yutaka 1 Naumowicz, Adam 1 Novotný, Vít 1 Nowiński, Aleksander 1 Orakwue, Awelemdy 1 Oripov, Akbar 1 Pąk, Karol 1 Pakray, Partha 1 Paulson, Lawrence Charles 1 Pfeiffer, Markus 1 Popescu, Andrei 1 Ruzicka, Michal 1 Schefter, Jürgen 1 Shi, Qingxuan 1 Shminke, Boris A. 1 Snelting, Gregor 1 Song, Yujin 1 Sperber, Wolfram 1 Štefánik, Michal 1 Teschke, Olaf 1 Thiéry, Nicolas Marc 1 Yang, Fang 1 Zanibbi, Richard Cited in 4 Serials 2 Journal of Automated Reasoning 1 Computer Languages, Systems & Structures 1 Mathematical Biosciences and Engineering 1 Mathematics in Computer Science Cited in 4 Fields 21 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year