Will Marrero

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
5EEHazem H. Hamed, Ehab S. Al-Shaer, Will Marrero: Modeling and Verification of IPSec and VPN Security Policies. ICNP 2005: 259-278
4EEWill Marrero, Amber Settle: Testing first: emphasizing testing in early programming courses. ITiCSE 2005: 4-8
3EERadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175
2EEWill Marrero: Using BDDs to Decide CTL. TACAS 2005: 222-236
2000
1 Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero: Model checking algorithms for the µ-calculus. Proof, Language, and Interaction 2000: 309-338

Coauthor Index

1Ehab Al-Shaer (Ehab S. Al-Shaer) [5]
2Sergey Berezin [1]
3Edmund M. Clarke [1]
4Hazem H. Hamed [5]
5Radha Jagadeesan [3]
6Somesh Jha [1]
7Corin Pitcher [3]
8Vijay A. Saraswat [3]
9Amber Settle [4]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)