Catherine A. Meadows
Publication Activity (10 Years)
Years Active: 1984-2023
Publications (10 Years): 23
Publications (10 Years): 23
Publications
- D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
- Olga Chen, Aaron D. Jaggard, Catherine A. Meadows, Michael C. Shlanta
- Catherine A. Meadows
- Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia SapiñaProtocol Analysis with Time. CoRR (2020)
- Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
- Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
- Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
- Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Catherine A. Meadows
- Olga Chen, Catherine A. Meadows, Gautam Trivedi
- Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
- Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran
- Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
- Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran
- Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
- Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
- Catherine A. Meadows, Dusko Pavlovic
- Dusko Pavlovic, Catherine A. Meadows
- Hubert Comon-Lundh, Catherine A. Meadows
- Dusko Pavlovic, Catherine A. Meadows
- Hubert Comon-Lundh, Ralf Küsters, Catherine A. Meadows
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
- Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
- Dusko Pavlovic, Catherine A. Meadows
- Dusko Pavlovic, Catherine A. Meadows
- Catherine A. Meadows
- Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine A. Meadows, José Meseguer
- Catherine A. Meadows
- Dusko Pavlovic, Catherine A. Meadows
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Dusko Pavlovic, Catherine A. Meadows
- Catherine A. Meadows, Paul F. Syverson, LiWu Chang
- Iliano Cervesato, Catherine A. Meadows, Dusko Pavlovic
- Christopher Lynch, Catherine A. Meadows
- Loukas Lazos, Radha Poovendran, Catherine A. Meadows, Paul F. Syverson, LiWu Chang
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Catherine A. Meadows
- Christopher Lynch, Catherine A. Meadows
- Catherine A. Meadows, Dusko Pavlovic
- Catherine A. Meadows
- Michael Backes, Catherine A. Meadows, John C. Mitchell
- Catherine A. Meadows
- Catherine A. Meadows
- Ran Canetti, Catherine A. Meadows, Paul F. Syverson
- Catherine A. Meadows, Paul F. Syverson
- Catherine A. Meadows
- Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto
- Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows
- Stuart G. Stubblebine, Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows, Dennis M. Volpano
- Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows
- Paul F. Syverson, Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows, Ira S. Moskowitz
- Catherine A. Meadows
- Catherine A. Meadows
- Gustavus J. Simmons, Catherine A. Meadows
- Richard A. Kemmerer, Catherine A. Meadows, Jonathan K. Millen
- Catherine A. Meadows
- Catherine A. Meadows
- Paul F. Syverson, Catherine A. Meadows
- Catherine A. Meadows
- Catherine A. Meadows