User: Guest  Login
sort by:
and:
next

Giannakopoulos, Yiannis;Koutsoupias, Elias;Lazos, Philip
Online Market Intermediation
CoRR
2017
abs/1703.09279
Beggs, Edwin;Costa, José Félix;Poças, Diogo;Tucker, John V.
Computations with oracles that measure vanishing quantities
Mathematical Structures in Computer Science
2017
27
8
1315--1363
Ambaram, Tânia;Beggs, Edwin;Félix Costa, José;Poças, Diogo;Tucker, John V.
An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles
73--115
Advances in Unconventional Computing: Volume 1: Theory
Adamatzky, Andrew
Springer International Publishing
2017
Costa, José Félix;Poças, Diogo
Solving Smullyan Puzzles with Formal Systems
Axiomathes
2017
apr
Happach, Felix
Stabile Clusterings und die äußeren Normalenkegel
OR News
2017
61
11-13
Gottschau, Marinus;Haverkort, Herman;Matzke, Kilian
Reptilings and space-filling curves for acute triangles
Discrete & Computational Geometry
2017
12
1--30
Giannakopoulos, Yiannis;Kyropoulou, Maria
The VCG Mechanism for Bayesian Scheduling
ACM Trans. Econ. Comput. (TEAC)
2017
5
4
nov
19:1--19:16
Giannakopoulos, Yiannis;Koutsoupias, Elias;Lazos, Philip
Online Market Intermediation
44th International Colloquium on Automata, Languages, and Programming (ICALP '17)
Full version in CoRR: abs/1703.09279
2017
Křetínský, Jan;Meggendorfer, Tobias;Waldmann, Clara;Weininger, Maximilian
Index Appearance Record for Transforming Rabin Automata into Parity Automata
443--460
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Legay, Axel;Margaria, Tiziana
Springer Berlin Heidelberg
2017
Pace, N.;Sonnino, A.
On linear codes admitting large automorphism groups
Designs, Codes and Cryptography
2017
83
1
115--143
sort by:
and:
next