| Publication | Date of Publication | Type |
|---|
Gauge theory meets cosmology
Journal of Cosmology and Astroparticle Physics | 2025-01-23 | Paper |
| Regular path clauses and their application in solving loops | 2024-12-03 | Paper |
Non-spinning tops are stable
Journal of High Energy Physics | 2024-12-03 | Paper |
Tidal resonances for fuzzballs
Journal of High Energy Physics | 2024-06-14 | Paper |
Post Newtonian emission of gravitational waves from binary systems: a gauge theory perspective
Journal of High Energy Physics | 2024-06-08 | Paper |
On the stability and deformability of top stars
Journal of High Energy Physics | 2024-02-20 | Paper |
Multivariant assertion-based guidance in abstract interpretation
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Multivariant assertion-based guidance in abstract interpretation
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
On irregular states and Argyres-Douglas theories
Journal of High Energy Physics | 2023-10-12 | Paper |
Partition functions of non-Lagrangian theories from the holomorphic Anomaly
Journal of High Energy Physics | 2023-09-29 | Paper |
CFT description of BH's and ECO's: QNMs, superradiance, echoes and tidal responses
Journal of High Energy Physics | 2023-04-03 | Paper |
OPE coefficients in Argyres-Douglas theories
Journal of High Energy Physics | 2022-11-25 | Paper |
More on the SW-QNM correspondence
Journal of High Energy Physics | 2022-10-21 | Paper |
Introduction to the 38th International Conference on Logic Programming Special Issue
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Introduction to the 38th International Conference on Logic Programming Special Issue II
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Incremental analysis of logic programs with assertions and open predicates
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
An integrated approach to assertion-based random testing in Prolog
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| Testing your (static analysis) truths | 2022-03-23 | Paper |
| scientific article; zbMATH DE number 7453190 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453190 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Incremental and modular context-sensitive analysis
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Gauge theories on compact toric manifolds
Letters in Mathematical Physics | 2021-08-19 | Paper |
The chiral ring of gauge theories in eight dimensions
Journal of High Energy Physics | 2021-06-11 | Paper |
Light rings of five-dimensional geometries
Journal of High Energy Physics | 2021-05-31 | Paper |
The multipolar structure of fuzzballs
Journal of High Energy Physics | 2021-05-03 | Paper |
The dark side of fuzzball geometries
Journal of High Energy Physics | 2019-07-25 | Paper |
Two-point correlators in non-conformal \( \mathcal{N} =2 \) gauge theories
Journal of High Energy Physics | 2019-07-25 | Paper |
Non-perturbative gauge/gravity correspondence in \( \mathcal{N} = 2\) theories
Journal of High Energy Physics | 2018-10-16 | Paper |
Probing fuzzballs with particles, waves and strings
Journal of High Energy Physics | 2018-09-07 | Paper |
Stringy origin of 4d black hole microstates
Journal of High Energy Physics | 2018-06-12 | Paper |
Wilson loops and chiral correlators on squashed spheres
Journal of High Energy Physics | 2018-05-31 | Paper |
S-duality and the prepotential in \( \mathcal{N}={2}^{\star } \) theories. I: The ADE algebras
Journal of High Energy Physics | 2018-05-31 | Paper |
S-duality and the prepotential of \(\mathcal{N}={2}^{\star } \) theories. II: The non-simply laced algebras
Journal of High Energy Physics | 2018-05-31 | Paper |
Type IIB flux vacua from G-theory. II
Journal of High Energy Physics | 2018-05-31 | Paper |
Type IIB flux vacua from G-theory. I
Journal of High Energy Physics | 2018-05-31 | Paper |
Instanton corrections to the effective action of \( \mathcal{N}=4 \) SYM
Journal of High Energy Physics | 2018-05-31 | Paper |
Strings in bubbling geometries and dual Wilson loop correlators
Journal of High Energy Physics | 2018-04-03 | Paper |
Two-point correlators in \(\mathcal{N} = 2\) gauge theories
Nuclear Physics B | 2018-02-14 | Paper |
More on microstate geometries of 4d black holes
Journal of High Energy Physics | 2018-02-05 | Paper |
Practical run-time checking via unobtrusive property caching
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Description and optimization of abstract machines in a dialect of Prolog
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Semantic code browsing
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Wilson loops and chiral correlators on squashed spheres
Journal of Geometry and Physics | 2017-07-04 | Paper |
Deformed Seiberg-Witten curves for ADE quivers
Journal of High Energy Physics | 2016-08-12 | Paper |
Exact results in \( \mathcal{N}=2 \) gauge theories
Journal of High Energy Physics | 2016-08-12 | Paper |
Branes, U-folds and hyperelliptic fibrations
Journal of High Energy Physics | 2016-08-12 | Paper |
| Resumming instantons in N=2* theories with arbitrary gauge groups | 2016-01-31 | Paper |
Non-perturbative effective interactions from fluxes
Journal of High Energy Physics | 2016-01-20 | Paper |
Pre-indexed Terms for Prolog
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Multi instanton tests of holography
Journal of High Energy Physics | 2014-12-08 | Paper |
Gauge theories on {\(\Omega\)}-backgrounds from non commutative Seiberg-Witten curves
Journal of High Energy Physics | 2014-09-26 | Paper |
Dynamical supersymmetry breaking in intersecting brane models
Journal of High Energy Physics | 2014-08-29 | Paper |
Stringy instanton corrections to \(\mathcal{N}=2\) gauge couplings
Journal of High Energy Physics | 2014-05-27 | Paper |
Phenotyping genetic diseases using an extension of \(\mu\)-scores for multivariate data
Statistical Applications in Genetics and Molecular Biology | 2013-12-05 | Paper |
D1D5 microstate geometries from string amplitudes
Journal of High Energy Physics | 2013-09-03 | Paper |
A special road to AdS vacua
Journal of High Energy Physics | 2013-08-27 | Paper |
Intersecting attractors
Springer Proceedings in Physics | 2013-06-19 | Paper |
Modular extensions for modular (logic) languages
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Lightweight compilation of (C)LP to JavaScript
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Higher spin holography for SYM in \(d\) dimensions
Physics Letters B | 2012-09-23 | Paper |
Flux interactions on D-branes and instantons
Journal of High Energy Physics | 2012-08-18 | Paper |
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
Supergravity duals of matrix string theory
Journal of High Energy Physics | 2011-11-29 | Paper |
String theory on D\(p\)-plane waves
Journal of High Energy Physics | 2011-11-29 | Paper |
Instanton on toric singularities and black hole countings
Journal of High Energy Physics | 2011-11-28 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Superstring sigma models from spin chains: the \(\text{SU}(1,1| 1)\) case
Nuclear Physics B | 2007-04-16 | Paper |
Multi-instanton calculus on ALE spaces
Nuclear Physics B | 2007-04-10 | Paper |
\(\mathrm{SL}(2)\) spin chain and spinning strings on \(\text{AdS}_5\times S^5\)
Nuclear Physics B | 2007-04-10 | Paper |
Spin bit models from non-planar \(N=4\) SYM.
Nuclear Physics B | 2007-04-05 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Higher spin holography and string states on AdS5 × S5
Fortschritte der Physik | 2005-06-13 | Paper |
| scientific article; zbMATH DE number 2100472 (Why is no real title available?) | 2004-09-14 | Paper |
Higher derivative F-terms in \(N = 2\) strings
Nuclear Physics B | 2003-04-02 | Paper |
AdS duals of matrix strings
Classical and Quantum Gravity | 2003-01-01 | Paper |
scientific article; zbMATH DE number 1846982 (Why is no real title available?)
(available as arXiv preprint) | 2002-12-17 | Paper |
D1/D5 systems in N=4 string theories
Nuclear Physics B | 2001-07-15 | Paper |
scientific article; zbMATH DE number 1590015 (Why is no real title available?)
(available as arXiv preprint) | 2001-04-23 | Paper |
RG-flows and open/closed string duality
Journal of High Energy Physics | 2001-03-26 | Paper |
RG-flows and open/closed string duality
Journal of High Energy Physics | 2001-03-26 | Paper |
Anomalies \(\& \) tadpoles
Journal of High Energy Physics | 2001-03-21 | Paper |
On the perturbative corrections around D-string instantons
Journal of High Energy Physics | 2000-12-04 | Paper |
Anomalous couplings for D-branes and O-planes
Nuclear Physics B | 2000-07-12 | Paper |
\(D\)-strings in unconventional type I vacuum configurations
Nuclear Physics B | 2000-07-12 | Paper |
Fivebrane instantons and higher derivative couplings in type I theory
Nuclear Physics B | 2000-07-12 | Paper |
Discrete torsion in non-geometric orbifolds and their open-string descendants
Nuclear Physics B | 2000-07-12 | Paper |
Bound states of type I D-strings
Nuclear Physics B | 2000-07-11 | Paper |
Scale-independent spin effects in D-brane dynamics.
Nuclear Physics B | 2000-07-11 | Paper |
BPS states and supersymmetric index in \(N=2\) type I string vacua
Nuclear Physics B | 1997-09-10 | Paper |
Higher derivative \(F\)-terms in \(N=2\) strings
Nuclear Physics B | 1996-11-12 | Paper |
