Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. - Mohamed Tadjouddine; F. Eyssette; C. Faure (SAS, 1998)

Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation. - Mohamed Tadjouddine; Shaun A. Forth; John D. Pryce; John K. Reid (International Conference on Computational Science (2), 2002)

Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation. - Mohamed Tadjouddine; Shaun A. Forth; John D. Pryce (ICCSA (2), 2003)

Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding. - Shaun A. Forth; Mohamed Tadjouddine; John D. Pryce; John K. Reid (ACM Trans. Math. Softw., 2004)

Realising Common Knowledge Assumptions in Agent Auctions. - Frank Guerin; Emmanuel M. Tadjouddine (IAT, 2006)

Complexity of Verifying Game Equilibria. - Emmanuel M. Tadjouddine (CEEMAS, 2007)

Verifying Dominant Strategy Equilibria in Auctions. - Emmanuel M. Tadjouddine; Frank Guerin (CEEMAS, 2007)

Abstractions for model-checking game-theoretic properties of auctions. - Emmanuel M. Tadjouddine; Frank Guerin; Wamberto Weber Vasconcelos (AAMAS (3), 2008)

Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. - Emmanuel M. Tadjouddine; Frank Guerin; Wamberto Weber Vasconcelos (DALT, 2008)

Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes. - Emmanuel M. Tadjouddine (Comput. J., 2008)

Fast Automatic Differentiation Jacobians by Compact LU Factorization. - John D. Pryce; Emmanuel M. Tadjouddine (SIAM J. Sci. Comput., 2008)

A probabilistic framework for Automated Mechanism Design. - Emmanuel M. Tadjouddine (SOLI, 2010)

An Option Pricing Model Calibration Using Algorithmic Differentiation. - Emmanuel M. Tadjouddine; Yi Cao 001 (ISCIS, 2011)

Computational complexity of some intelligent computing systems. - Emmanuel M. Tadjouddine (Int. J. Intell. Comput. Cybern., 2011)

Optimal decision-making under uncertainties. - Emmanuel M. Tadjouddine; Xiaoyi Wu (FSKD, 2012)

Incremental attribute based particle swarm optimization. - Wei Bai 005; Shi Cheng; Emmanuel M. Tadjouddine; Sheng-Uei Guan (ICNC, 2012)

Modeling and simulation of Sequential Auctions: Pricing and calibration Algorithms. - Emmanuel M. Tadjouddine (Int. J. Model. Simul. Sci. Comput., 2012)

A Proof-Carrying Code Approach to Certificate Auction Mechanisms. - Wei Bai 005; Emmanuel M. Tadjouddine; Terry R. Payne; Sheng-Uei Guan (FACS, 2013)

Foundational Certification of Code Transformations Using Automatic Differentiation. - Emmanuel M. Tadjouddine; Wenjin Lv (Comput. Sci., 2014)

Enabling Automatic Certification of Online Auctions. - Wei Bai 005; Emmanuel M. Tadjouddine; Yu Guo (FESCA, 2014)

A Dialectical Approach to Enable Decision Making in Online Trading. - Wei Bai 005; Emmanuel M. Tadjouddine; Terry R. Payne (EUMAS/AT, 2015)

Calibration based on entropy minimization for a class of asset pricing models. - Emmanuel M. Tadjouddine (Appl. Soft Comput., 2016)

A nonmonotone inexact Newton method for unconstrained optimization. - Huan Gao; Hai-Bin Zhang; Zhibao Li; Emmanuel M. Tadjouddine (Optim. Lett., 2017)