Publication | Date of Publication | Type |
---|
On the stability and deformability of top stars | 2024-02-20 | Paper |
Multivariant assertion-based guidance in abstract interpretation | 2023-11-09 | Paper |
On irregular states and Argyres-Douglas theories | 2023-10-12 | Paper |
Partition functions of non-Lagrangian theories from the holomorphic Anomaly | 2023-09-29 | Paper |
CFT description of BH's and ECO's: QNMs, superradiance, echoes and tidal responses | 2023-04-03 | Paper |
OPE coefficients in Argyres-Douglas theories | 2022-11-25 | Paper |
More on the SW-QNM correspondence | 2022-10-21 | Paper |
Introduction to the 38th International Conference on Logic Programming Special Issue | 2022-09-30 | Paper |
Introduction to the 38th International Conference on Logic Programming Special Issue II | 2022-09-30 | Paper |
A General Framework for Static Cost Analysis of Parallel Logic Programs | 2022-08-25 | Paper |
Incremental Analysis of Logic Programs with Assertions and Open Predicates | 2022-08-25 | Paper |
Computing Abstract Distances in Logic Programs | 2022-08-25 | Paper |
An Integrated Approach to Assertion-Based Random Testing in Prolog | 2022-08-25 | Paper |
Testing your (static analysis) truths | 2022-03-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q5020649 | 2022-01-06 | Paper |
Incremental and Modular Context-sensitive Analysis | 2021-09-03 | Paper |
Gauge theories on compact toric manifolds | 2021-08-19 | Paper |
The chiral ring of gauge theories in eight dimensions | 2021-06-11 | Paper |
Light rings of five-dimensional geometries | 2021-05-31 | Paper |
The multipolar structure of fuzzballs | 2021-05-03 | Paper |
The dark side of fuzzball geometries | 2019-07-25 | Paper |
Two-point correlators in non-conformal \( \mathcal{N} =2 \) gauge theories | 2019-07-25 | Paper |
Non-perturbative gauge/gravity correspondence in \( \mathcal{N} = 2\) theories | 2018-10-16 | Paper |
Probing fuzzballs with particles, waves and strings | 2018-09-07 | Paper |
Stringy origin of 4d black hole microstates | 2018-06-12 | Paper |
Type IIB flux vacua from G-theory. I | 2018-05-31 | Paper |
Type IIB flux vacua from G-theory. II | 2018-05-31 | Paper |
Instanton corrections to the effective action of \( \mathcal{N}=4 \) SYM | 2018-05-31 | Paper |
S-duality and the prepotential in \( \mathcal{N}={2}^{\star } \) theories. I: The ADE algebras | 2018-05-31 | Paper |
S-duality and the prepotential of \(\mathcal{N}={2}^{\star } \) theories. II: The non-simply laced algebras | 2018-05-31 | Paper |
Wilson loops and chiral correlators on squashed spheres | 2018-05-31 | Paper |
Strings in bubbling geometries and dual Wilson loop correlators | 2018-04-03 | Paper |
Two-point correlators in \(\mathcal{N} = 2\) gauge theories | 2018-02-14 | Paper |
More on microstate geometries of 4d black holes | 2018-02-05 | Paper |
Practical run-time checking via unobtrusive property caching | 2017-11-09 | Paper |
Description and Optimization of Abstract Machines in a Dialect of Prolog | 2017-11-09 | Paper |
Semantic code browsing | 2017-11-09 | Paper |
Wilson loops and chiral correlators on squashed spheres | 2017-07-04 | Paper |
Deformed Seiberg-Witten curves for ADE quivers | 2016-08-12 | Paper |
Exact results in \( \mathcal{N}=2 \) gauge theories | 2016-08-12 | Paper |
Branes, U-folds and hyperelliptic fibrations | 2016-08-12 | Paper |
Resumming instantons in N=2* theories with arbitrary gauge groups | 2016-01-31 | Paper |
Non-perturbative effective interactions from fluxes | 2016-01-20 | Paper |
Pre-indexed Terms for Prolog | 2015-10-02 | Paper |
Multi instanton tests of holography | 2014-12-08 | Paper |
Gauge theories on {\(\Omega\)}-backgrounds from non commutative Seiberg-Witten curves | 2014-09-26 | Paper |
Stringy instanton corrections to \(\mathcal{N}=2\) gauge couplings | 2014-05-27 | Paper |
Phenotyping Genetic Diseases Using an Extension of µ-Scores for Multivariate Data | 2013-12-05 | Paper |
D1D5 microstate geometries from string amplitudes | 2013-09-03 | Paper |
A special road to AdS vacua | 2013-08-27 | Paper |
Intersecting Attractors | 2013-06-19 | Paper |
Modular Extensions for Modular (Logic) Languages | 2013-03-13 | Paper |
Lightweight compilation of (C)LP to JavaScript | 2013-03-13 | Paper |
Higher spin holography for SYM in \(d\) dimensions | 2012-09-23 | Paper |
Flux interactions on D-branes and instantons | 2012-08-18 | Paper |
An overview of Ciao and its design philosophy | 2012-06-25 | Paper |
String theory on D\(p\)-plane waves | 2011-11-29 | Paper |
Supergravity duals of matrix string theory | 2011-11-29 | Paper |
Instanton on toric singularities and black hole countings | 2011-11-28 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy | 2008-06-19 | Paper |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog | 2007-09-10 | Paper |
Superstring sigma models from spin chains: the \(\text{SU}(1,1| 1)\) case | 2007-04-16 | Paper |
Multi-instanton calculus on ALE spaces | 2007-04-10 | Paper |
\(\mathrm{SL}(2)\) spin chain and spinning strings on \(\text{AdS}_5\times S^5\) | 2007-04-10 | Paper |
Spin bit models from non-planar \(N=4\) SYM. | 2007-04-05 | Paper |
Logic Programming | 2006-06-27 | Paper |
Higher spin holography and string states on AdS5 × S5 | 2005-06-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4816912 | 2004-09-14 | Paper |
Higher derivative F-terms in \(N = 2\) strings | 2003-04-02 | Paper |
AdS duals of matrix strings | 2003-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4784988 | 2002-12-17 | Paper |
D1/D5 systems in N=4 string theories | 2001-07-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2710316 | 2001-04-23 | Paper |
RG-flows and open/closed string duality | 2001-03-26 | Paper |
Anomalies \(\& \) tadpoles | 2001-03-21 | Paper |
On the perturbative corrections around D-string instantons | 2000-12-04 | Paper |
\(D\)-strings in unconventional type I vacuum configurations | 2000-07-12 | Paper |
Anomalous couplings for D-branes and O-planes | 2000-07-12 | Paper |
Fivebrane instantons and higher derivative couplings in type I theory | 2000-07-12 | Paper |
Discrete torsion in non-geometric orbifolds and their open-string descendants | 2000-07-12 | Paper |
Bound states of type I D-strings | 2000-07-11 | Paper |
Scale-independent spin effects in D-brane dynamics. | 2000-07-11 | Paper |
BPS states and supersymmetric index in \(N=2\) type I string vacua | 1997-09-10 | Paper |
Higher derivative \(F\)-terms in \(N=2\) strings | 1996-11-12 | Paper |