Mohamed Tadjouddine
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 11 |      | Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos: Abstractions for model-checking game-theoretic properties of auctions. AAMAS (3) 2008: 1613-1616 |
| 10 | | Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos: Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. DALT 2008: 197-214 |
| 9 | | Emmanuel M. Tadjouddine: Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes. Comput. J. 51(6): 688-699 (2008) |
| 8 | | 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 | | Emmanuel M. Tadjouddine: Complexity of Verifying Game Equilibria. CEEMAS 2007: 103-112 |
| 6 | | Emmanuel M. Tadjouddine, Frank Guerin: Verifying Dominant Strategy Equilibria in Auctions. CEEMAS 2007: 288-297 |
| 2006 | ||
| 5 | | Frank Guerin, Emmanuel M. Tadjouddine: Realising Common Knowledge Assumptions in Agent Auctions. IAT 2006: 579-586 |
| 2004 | ||
| 4 | | 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 | | Mohamed Tadjouddine, Shaun A. Forth, John D. Pryce: Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation. ICCSA (2) 2003: 115-124 |
| 2002 | ||
| 2 | | 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 | | Mohamed Tadjouddine, F. Eyssette, C. Faure: Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. SAS 1998: 311-326 |
| 1 | F. Eyssette | [1] |
| 2 | C. Faure | [1] |
| 3 | Shaun A. Forth | [2] [3] [4] |
| 4 | Frank Guerin | [5] [6] [10] [11] |
| 5 | John D. Pryce | [2] [3] [4] [8] |
| 6 | John K. Reid (J. K. Reid) | [2] [4] |
| 7 | Wamberto Weber Vasconcelos | [10] [11] |