Will Marrero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2005
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICNP | Modeling and Verification of IPSec and VPN Security Policies. | Hazem H. Hamed, Ehab S. Al-Shaer, Will Marrero |
| 2005 | ITiCSE | Testing first: emphasizing testing in early programming courses. | Will Marrero, Amber Settle |
| 2005 | PPDP | Timed constraint programming: a declarative approach to usage control. | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
| 2005 | TACAS | Using BDDs to Decide CTL. | Will Marrero |