2008 |
11 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstractions for model-checking game-theoretic properties of auctions.
AAMAS (3) 2008: 1613-1616 |
10 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.
DALT 2008: 197-214 |
9 | EE | Emmanuel M. Tadjouddine:
Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes.
Comput. J. 51(6): 688-699 (2008) |
8 | EE | John D. Pryce,
Emmanuel M. Tadjouddine:
Fast Automatic Differentiation Jacobians by Compact LU Factorization.
SIAM J. Scientific Computing 30(4): 1659-1677 (2008) |
2007 |
7 | EE | Emmanuel M. Tadjouddine:
Complexity of Verifying Game Equilibria.
CEEMAS 2007: 103-112 |
6 | EE | Emmanuel M. Tadjouddine,
Frank Guerin:
Verifying Dominant Strategy Equilibria in Auctions.
CEEMAS 2007: 288-297 |
2006 |
5 | EE | Frank Guerin,
Emmanuel M. Tadjouddine:
Realising Common Knowledge Assumptions in Agent Auctions.
IAT 2006: 579-586 |
2004 |
4 | EE | Shaun A. Forth,
Mohamed Tadjouddine,
John D. Pryce,
John K. Reid:
Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding.
ACM Trans. Math. Softw. 30(3): 266-299 (2004) |
2003 |
3 | EE | Mohamed Tadjouddine,
Shaun A. Forth,
John D. Pryce:
Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation.
ICCSA (2) 2003: 115-124 |
2002 |
2 | EE | Mohamed Tadjouddine,
Shaun A. Forth,
John D. Pryce,
John K. Reid:
Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation.
International Conference on Computational Science (2) 2002: 1077-1086 |
1998 |
1 | EE | Mohamed Tadjouddine,
F. Eyssette,
C. Faure:
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis.
SAS 1998: 311-326 |