| Machine learning-assisted virtual patching of web applications. | 0 | 0.34 | 2018 |
| Possibilistic-Based Bidding Strategies in Electronic Auctions | 0 | 0.34 | 1998 |
| Bidding Strategies for Trading Agents in Auction-Based Tournaments | 1 | 0.37 | 1998 |
| Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers | 18 | 2.97 | 1998 |
| Structural Recursive Definitions in Type Theory | 40 | 2.11 | 1998 |
| An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol | 17 | 1.16 | 1995 |
