Links to all the papers will be available soon.

  • With Arkadev Chattopadhyay, Michal Koucký and Sagnik Mukhopadhyay. Simulation Theorems via Pseudorandom Properties. Submitted. (ArXiV)
  • With Arkadev Chattopadhyay, Pavel Dvorák, Michal Koucký and Sagnik Mukhopadhyay. Lower Bounds for Elimination via Weak Regularity. STACS 2017. (ECCC)
  • With Harry Buhrman, Michal Koucký, and Florian Speelman. Catalytic Space: non-determinism and hierarchy. STACS 2016. (pdf)
  • With Harry Buhrman, Richard Cleve, Michal Koucký and Florian Speelman. Computing on a full memory: Catalytic Space. STOC 2014. (pdf, video, slides)
  • With Harry Buhrman and Leen Torenvliet. Hardness of approximation for knapsack problems. Theory of Computing Systems, 2014. (pdf)
  • With Joshua Brody, Harry Buhrman, Michal Koucký, Florian Speelman and Nickolay Vereshchagin. Towards a reverse Newman’s theorem in interactive information complexity. CCC 2013. Journal version published in Algorithmica. (pdf)
  • With Eric Allender, Harry Buhrman and Luke Friedman. Reductions to the set of random strings: The resource-bounded case. MFCS 2012. Journal version published in Logical Methods in Computer Science. (pdf)
  • With Harry Buhrman, Lance Fortnow and John M. Hitchcock. Learning reductions to sparse Sets. MFCS 2013. (pdf)
  • With Harry Buhrman, Lance Fortnow and Michal Koucký. Derandomizing from random strings. CCC 2010. (pdf)
  • With Amir M. Ben-Amram and Isabel Oitavem. Monotonicity constraints in characterizations of PSPACE. Journal of Logic and Computation, 2012. (pdf)
  • With José Félix Costa and Jerzy Mycka. A foundation for real recursive function theory. Annals of Pure and Applied Logic, 2009. (pdf)
  • With José Félix Costa. Five views of hypercomputation. International Journal of Unconventional Computing, 2009.
  • With José Félix Costa and Jerzy Mycka. The new promise of analog computation. LNCS 4497, 2007.
  • With José Félix Costa and Jerzy Mycka. Computability on reals, infinite limits and differential equations. Journal of applied mathematics and computation, 2007.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s