Nie jesteś zalogowany | Zaloguj się

Paweł Parys

Liczba publikacji: 65

2023

2022

2021

2020

2019

2018

2017

2016

2015

  • Igor Walukiewicz, Paweł Parys , Sylvain Salvati, Lorenzo Clemente , Ordered Tree-Pushdown Systems, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), Bangalore, India, 16 grudnia 2015 - 18 grudnia 2015. Zobacz w PBN
  • Wojciech Czerwiński , Wim Martens, Paweł Parys , Marcin Przybyłko, The (Almost) Complete Guide to Tree Pattern Containment, 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015, Melbourne, Australia, 31 maja 2015 - 4 czerwca 2015. Zobacz w PBN

2014

  • Paweł Parys , First-Order Logic on CPDA Graphs, Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014, Moscow, the Russian Federation, 7 czerwca 2014 - 11 czerwca 2014. Zobacz w PBN
  • Paweł Parys , How Many Numbers Can a Lambda-Term Contain?, Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014, Kanazawa, Japan, 4 czerwca 2014 - 6 czerwca 2014. Zobacz w PBN
  • Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys , Michael Vanden Boom, Two-Way Cost Automata and Cost Logics Over Infinite Trees, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, Vienna, Austria, 14 lipca 2014 - 18 lipca 2014. Zobacz w PBN

2013

2012

2011

2010

2009

2008

2006

2004

2003

  • Wojciech Legierski, Paweł Parys , System for Solving Timetabling Problems, AI-METH 2003 Symposium on Methods of Artificial Intelligence, Gliwice, Poland, 5 listopada 2003 - 7 listopada 2003. Zobacz w PBN