ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2013 | Technical Report | IST-REx-ID: 5410 |

Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Conference Paper | IST-REx-ID: 2327 |

From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.

[Submitted Version] View | Files available | DOI

2013 | Conference Paper | IST-REx-ID: 590

Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.

View | DOI

2013 | Journal Article | IST-REx-ID: 5920

Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.

View | Files available | DOI

2013 | Journal Article | IST-REx-ID: 591

Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.

View | DOI