Obserwuj
Bruno Loff
Bruno Loff
University of Porto and INESC-Tec
Zweryfikowany adres z fc.up.pt - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Computational complexity with experiments as oracles
E Beggs, JF Costa, B Loff, JV Tucker
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2008
522008
Computing with a full memory: catalytic space
H Buhrman, R Cleve, M Koucký, B Loff, F Speelman
Proceedings of the forty-sixth annual ACM symposium on Theory of computing …, 2014
452014
Simulation theorems via pseudo-random properties
A Chattopadhyay, M Koucký, B Loff, S Mukhopadhyay
computational complexity 28, 617-659, 2019
43*2019
NP-hardness of circuit minimization for multi-output functions
R Ilango, B Loff, IC Oliveira
35th Computational Complexity Conference (CCC 2020), 2020
372020
Towards a reverse newman’s theorem in interactive information complexity
J Brody, H Buhrman, M Koucký, B Loff, F Speelman, N Vereshchagin
Algorithmica 76, 749-781, 2016
372016
Computational complexity with experiments as oracles. II. Upper bounds
E Beggs, JF Costa, B Loff, JV Tucker
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2009
312009
Simulation beats richness: New data-structure lower bounds
A Chattopadhyay, M Koucký, B Loff, S Mukhopadhyay
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing …, 2018
252018
On the complexity of measurement in classical physics
E Beggs, JF Costa, B Loff, J Tucker
Theory and Applications of Models of Computation: 5th International …, 2008
242008
Oracles and advice as measurements
E Beggs, JF Costa, B Loff, JV Tucker
Unconventional Computing: 7th International Conference, UC 2008 Vienna …, 2008
232008
Derandomizing from random strings
H Buhrman, L Fortnow, M Koucký, B Loff
2010 IEEE 25th Annual Conference on Computational Complexity, 58-63, 2010
222010
Five Views of Hypercomputation.
B Loff, JF Costa
Int. J. Unconv. Comput. 5 (3-4), 193-207, 2009
212009
Lifting theorems for equality
B Loff, S Mukhopadhyay
36th International Symposium on Theoretical Aspects of Computer Science …, 2019
17*2019
Reductions to the set of random strings: The resource-bounded case
B Loff, L Friedman, H Buhrman, E Allender
Logical Methods in Computer Science 10, 2014
17*2014
Catalytic space: non-determinism and hierarchy
H Buhrman, M Koucký, B Loff, F Speelman
Theory of Computing Systems 62, 116-135, 2018
162018
Computability on reals, infinite limits and differential equations
B Loff, JF Costa, J Mycka
Applied Mathematics and Computation 191 (2), 353-371, 2007
162007
The computational power of parsing expression grammars
B Loff, N Moreira, R Reis
Journal of Computer and System Sciences 111, 1-21, 2020
112020
A foundation for real recursive function theory
JF Costa, B Loff, J Mycka
Annals of Pure and Applied Logic 160 (3), 255-288, 2009
112009
Hardness of approximation for knapsack problems
H Buhrman, B Loff, L Torenvliet
Theory of Computing Systems 56, 372-393, 2015
9*2015
The new promise of analog computation
B Loff, JF Costa, J Mycka
Computability in Europe, 2007
8*2007
A functional characterisation of the analytical hierarchy
B Loff
Computability in Europe, 247-256, 2007
82007
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20