Carolyn L. Talcott
发表
Peter Csaba Ölveczky,
Narciso Martí-Oliet,
Carolyn L. Talcott,
2015,
Logic, Rewriting, and Concurrency.
Carolyn L. Talcott,
Limin Jia,
Boon Thau Loo,
2011,
FMOODS/FORTE.
Carolyn L. Talcott,
Patrick Lincoln,
Steven Eker,
2003,
Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE Bioinformatics Conference. CSB2003.
Carolyn L. Talcott,
Daniel Elenius,
Grit Denker,
2007,
IEEE Wireless Communications.
Ashish Tiwari,
Yu Bai,
Carolyn L. Talcott,
2007,
2007 IEEE 7th International Symposium on BioInformatics and BioEngineering.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Carolyn L. Talcott,
Richard W. Weyhrauch,
R. Weyhrauch,
1994,
Logic, Language and Computation.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2012,
PODC '12.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Ashish Tiwari,
Carolyn L. Talcott,
2008,
CMSB.
Carolyn L. Talcott,
G. Denker,
José Meseguer,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Carolyn L. Talcott,
C. Talcott,
2006,
Proceedings of the 2006 Winter Simulation Conference.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
Carolyn L. Talcott,
Mark-Oliver Stehr,
C. Talcott,
2005,
Foundations of Global Computing.
Gul Agha,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
1998
.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2014,
IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2011,
Sci. Comput. Program..
Francisco Durán,
José Meseguer,
Carolyn L. Talcott,
2007,
All About Maude.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
Sara Abbaspour Asadollah,
Aida Causevic,
2020,
FMICS.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2011,
2011 International Conference on Collaboration Technologies and Systems (CTS).
Adrián Riesco,
Carolyn L. Talcott,
Merrill Knapp,
2020,
PACBB.
Carolyn L. Talcott,
Merrill Knapp,
C. Talcott,
2017,
CMSB.
Carolyn L. Talcott,
Ashish Tiwari,
2008
.
Carolyn L. Talcott,
Furio Honsell,
2006,
High. Order Symb. Comput..
Hua Li,
Rafael Alonso,
Carolyn L. Talcott,
2014,
UMAP Workshops.
Carolyn L. Talcott,
Patrick Lincoln,
Steven Eker,
2003,
CMSB.
Olivier Danvy,
Carolyn L. Talcott,
2002,
High. Order Symb. Comput..
Carolyn L. Talcott,
C. Talcott,
2006,
MTCoord@COORDINATION.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2005,
FInCo@ETAPS.
Carolyn L. Talcott,
Vivek Nigam,
Alisson Vasconcelos De Brito,
2017,
SEFM Workshops.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Sharad Mehrotra,
2012,
SpringSim.
Carolyn L. Talcott,
Ian A. Mason,
Furio Honsell,
1992,
CSL.
Carolyn L. Talcott,
Daniel Elenius,
Grit Denker,
2007,
Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).
Carolyn L. Talcott,
Ian A. Mason,
Gul A. Agha,
1992,
CONCUR.
Carolyn L. Talcott,
Alexandre Bronstein,
C. Talcott,
1988
.
Francisco Durán,
José Meseguer,
Carolyn L. Talcott,
2007,
All About Maude.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2012,
TACAS.
Carolyn L. Talcott,
Vivek Nigam,
Merrill Knapp,
2015,
CMSB.
Carolyn L. Talcott,
C. Talcott,
1996,
WRLA.
Carolyn L. Talcott,
Scott F. Smith,
C. Talcott,
1999,
FMOODS.
Carolyn L. Talcott,
1992,
Theor. Comput. Sci..
Carolyn L. Talcott,
C. Talcott,
1997
.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
CMSB.
Adrián Riesco,
Carolyn L. Talcott,
Merrill Knapp,
2017,
PACBB.
Carolyn L. Talcott,
Grit Denker,
J. J. Garcia-Luna-Aceves,
1999
.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2008,
2008 Design, Automation and Test in Europe.
Carolyn L. Talcott,
Merrill Knapp,
Huaiyu Mi,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Carolyn L. Talcott,
Ian A. Mason,
Richard Sommer,
2016
.
Zohar Manna,
Amir Pnueli,
Carolyn L. Talcott,
1994
.
Carolyn L. Talcott,
Richard W. Weyhrauch,
Marco Cadoli,
1998,
J. Log. Lang. Inf..
Nalini Venkatasubramanian,
Carolyn L. Talcott,
N. Venkatasubramanian,
1995,
PODC '95.
Francisco Durán,
José Meseguer,
Carolyn L. Talcott,
2007,
All About Maude.
Francisco Durán,
José Meseguer,
Santiago Escobar,
2016,
IJCAR.
Di Wu,
Carolyn L. Talcott,
Amelia Regan,
2013,
J. Parallel Distributed Comput..
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2007
.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Sebastian Gutierrez-Nolasco,
2006,
2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).
Francisco Durán,
José Meseguer,
Santiago Escobar,
2018,
WRLA@ETAPS.
Carolyn L. Talcott,
C. Talcott,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Carolyn L. Talcott,
Scott F. Smith,
2000,
IFIP Advances in Information and Communication Technology.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott,
2002,
Proceedings DARPA Active Networks Conference and Exposition.
Peter Csaba Ölveczky,
Narciso Martí-Oliet,
Carolyn L. Talcott,
2015,
Lecture Notes in Computer Science.
Carolyn L. Talcott,
Mark-Oliver Stehr,
C. Talcott,
2004,
WRLA.
Carolyn L. Talcott,
1997,
TACS.
Carolyn L. Talcott,
Vivek Nigam,
2020,
WRLA@ETAPS.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2018,
Log. Methods Comput. Sci..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1999,
Theor. Comput. Sci..
Carolyn L. Talcott,
Marjan Sirjani,
Shangping Ren,
2008,
Sci. Comput. Program..
Carolyn L. Talcott,
Sandeep Uttamchandani,
David Pease,
2003,
DSOM.
Carolyn L. Talcott,
John McCarthy,
1999
.
Francisco Durán,
José Meseguer,
Miguel Palomino,
2007,
All About Maude.
Carolyn L. Talcott,
José Meseguer,
J. Meseguer,
2002
.
Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott,
2001,
FASE.
Stéphane Natkin,
Carolyn L. Talcott,
Eric Gressier-Soudan,
2014,
VRIC.
Carolyn L. Talcott,
Ian A. Mason,
1995,
Int. J. Found. Comput. Sci..
Carolyn L. Talcott,
C. Talcott,
1990,
Theor. Comput. Sci..
Carolyn L. Talcott,
Gul A. Agha,
Prasanna Thati,
2004,
AMAST.
Fausto Giunchiglia,
Carolyn L. Talcott,
Paolo Pecchiari,
1997
.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
Vivek Nigam,
Abraão Aires Urquiza,
2016,
ESORICS.
Fausto Giunchiglia,
José Meseguer,
Carolyn L. Talcott,
2000,
FroCoS.
Carolyn L. Talcott,
C. Talcott,
1993,
Theor. Comput. Sci..
Francisco Durán,
José Meseguer,
Narciso Martí-Oliet,
2007,
All About Maude.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2019,
Sci. Comput. Program..
Carolyn L. Talcott,
Javier De Las Rivas,
Gustavo Santos-García,
2015,
HSB.
Hang Li,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2018,
CMSB.
Carolyn L. Talcott,
Alexandre Bronstein,
1989,
Automatic Verification Methods for Finite State Systems.
Carolyn L. Talcott,
C. Talcott,
2002,
Theor. Comput. Sci..
Vitaly Shmatikov,
Carolyn L. Talcott,
Vitaly Shmatikov,
2003
.
Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott,
2006,
Formal Methods Syst. Des..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1990,
US-Brazil Joint Workshops on the Formal Foundations of Software Systems.
Carolyn L. Talcott,
Grit Denker,
2006,
WRLA.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Gul A. Agha,
2001,
TSEM.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2001,
IEEE Distributed Syst. Online.
Olivier Danvy,
Carolyn L. Talcott,
Pierre-Etienne Moreau,
2006,
High. Order Symb. Comput..
Olivier Danvy,
Carolyn L. Talcott,
Pierre-Etienne Moreau,
2006
.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2012,
SIGCOMM '12.
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision
Carolyn L. Talcott,
Patrick Lincoln,
Mark-Oliver Stehr,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Carolyn L. Talcott,
Javier De Las Rivas,
Gustavo Santos-García,
2014,
IWBBIO.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2004,
WRLA.
Carolyn L. Talcott,
Ian A. Mason,
Furio Honsell,
1995,
Inf. Comput..
Carolyn L. Talcott,
C. Talcott,
2000,
AMAST.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1994,
Logic, Language and Computation.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2007,
FORMATS.
Carolyn L. Talcott,
Nalini Venkatasubramanian,
2015,
ARM@Middleware.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2012
.
Carolyn L. Talcott,
2013,
Festschrift for Dave Schmidt.
Carolyn L. Talcott,
Grit Denker,
Martin Wirsing,
2006,
WRLA.
Olivier Danvy,
Carolyn L. Talcott,
O. Danvy,
1999,
High. Order Symb. Comput..
Carolyn L. Talcott,
Richard W. Weyhrauch,
1990,
ECAI.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2007
.
Olivier Danvy,
Carolyn L. Talcott,
1999,
High. Order Symb. Comput..
José Meseguer,
Carolyn L. Talcott,
1999,
CONCUR.
Carolyn L. Talcott,
Limin Jia,
Jennifer Rexford,
2012,
TNET.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1997,
ICALP.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Farhad Arbab,
Carolyn L. Talcott,
Maneesh Yadav,
2015,
Software, Services, and Systems.
Ashish Tiwari,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
AB.
Carolyn L. Talcott,
1991,
Artificial and Mathematical Theory of Computation.
Carolyn L. Talcott,
Yue Yu,
Shangping Ren,
2009,
FOCLASA@ICALP.
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data
pdf
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
ArXiv.
Farhad Arbab,
Carolyn L. Talcott,
C. Talcott,
2002
.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Fausto Giunchiglia,
Carolyn L. Talcott,
Paolo Pecchiari,
2001,
Journal of Automated Reasoning.
Carolyn L. Talcott,
Muffy Calder,
Merrill Knapp,
2010,
CMSB '10.
Carolyn L. Talcott,
C. Talcott,
2008,
SFM.
Francisco Durán,
José Meseguer,
Narciso Martí-Oliet,
2007,
All About Maude.
Adrián Riesco,
Carolyn L. Talcott,
Javier De Las Rivas,
2016,
PACBB.
Carolyn L. Talcott,
2002,
FMOODS.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
1998,
Electron. Notes Theor. Comput. Sci..
Carolyn L. Talcott,
2018,
It's All About Coordination.
Carolyn L. Talcott,
Eric Gressier-Soudan,
Jong-Seok Choi,
2013,
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
Carolyn L. Talcott,
Scott F. Smith,
2000
.
José Meseguer,
Carolyn L. Talcott,
Grit Denker,
2000,
WRLA.
Carolyn L. Talcott,
C. Talcott,
1997,
High. Order Symb. Comput..
Carolyn L. Talcott,
Javier De Las Rivas,
Gustavo Santos-García,
2014,
PACBB.
Carolyn L. Talcott,
Ian A. Mason,
Gul A. Agha,
1997,
Journal of Functional Programming.
Carolyn L. Talcott,
1986,
Foundations of Logic and Functional Programming.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Francisco Durán,
José Meseguer,
Narciso Martí-Oliet,
2007,
All About Maude.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
Louis Galbiati,
C. Talcott,
1990,
CTRS.
Farhad Arbab,
Carolyn L. Talcott,
2002
.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2012,
TECS.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
N. Venkatasubramanian,
1995
.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
J. Comput. Secur..
Fausto Giunchiglia,
Carolyn L. Talcott,
Paolo Pecchiari,
1994,
FroCoS.
Francisco Durán,
José Meseguer,
Narciso Martí-Oliet,
2007,
All About Maude.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
ArXiv.
Ashish Tiwari,
Peter D. Karp,
Carolyn L. Talcott,
2013,
BMC Bioinformatics.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
2015,
RTA.
José Meseguer,
Carolyn L. Talcott,
2000,
SOEN.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Sebastian Gutierrez-Nolasco,
2006,
SAC '06.
Bahram Parvin,
Carolyn L. Talcott,
Paul T. Spellman,
2007,
2007 IEEE Symposium on Computational Intelligence and Bioinformatics and Computational Biology.
Carolyn L. Talcott,
Andrew D. Gordon,
Andrew M. Pitts,
1997,
Electron. Notes Theor. Comput. Sci..
Olivier Danvy,
Carolyn L. Talcott,
2009,
High. Order Symb. Comput..
José Meseguer,
Santiago Escobar,
Carolyn L. Talcott,
2009,
RTA.
Saeed Jalili,
Carolyn L. Talcott,
Mohammad Reza Mousavi,
2012,
Sci. Comput. Program..
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Gul A. Agha,
1992,
IWMM.
Gul Agha,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
1992
.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2011,
Journal of Internet Services and Applications.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1985
.
Francisco Durán,
José Meseguer,
Miguel Palomino,
2007,
All About Maude.
Carolyn L. Talcott,
Ian A. Mason,
1991
.
Carolyn L. Talcott,
Kathleen Fisher,
Paolo Di Blasio,
1997
.
Carolyn L. Talcott,
C. Talcott,
2008,
Software-Intensive Systems and New Computing Paradigms.
Carolyn L. Talcott,
2007
.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Sebastian Gutierrez-Nolasco,
2004,
Adaptive and Reflective Middleware.
Carolyn L. Talcott,
1991,
AMAST.
Carolyn L. Talcott,
John McCarthy,
1998
.
Ugo Montanari,
Carolyn L. Talcott,
C. Talcott,
1998,
HOOTS.
Francisco Durán,
Adrián Riesco,
José Meseguer,
2007,
All About Maude.
Farhad Arbab,
Carolyn L. Talcott,
Vivek Nigam,
2016,
SFM.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1992,
Theor. Comput. Sci..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2015,
POST.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2010,
UIC.
Carolyn L. Talcott,
Vivek Nigam,
Abraão Aires Urquiza,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
Carolyn L. Talcott,
Ian A. Mason,
1997,
ICALP.
José Meseguer,
Santiago Escobar,
Carolyn L. Talcott,
2009,
PROLE.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2014,
Future Gener. Comput. Syst..
Carolyn L. Talcott,
Grit Denker,
Shusaku Iida,
2009,
2009 13th Enterprise Distributed Object Computing Conference Workshops.
Carolyn L. Talcott,
Ian A. Mason,
Joseph Daniel Pehoushek,
1990
.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
IHI '12.
Saeed Jalili,
Carolyn L. Talcott,
Mohammad Reza Mousavi,
2010,
Electron. Notes Theor. Comput. Sci..
Carolyn L. Talcott,
David L. Dill,
Patrick Lincoln,
2005,
Systems Biology and Regulatory Genomics.
José Meseguer,
Carolyn L. Talcott,
Peter Csaba,
2001
.
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2007,
FMOODS.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Luca Spalazzi,
2008,
2008 International Symposium on Collaborative Technologies and Systems.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2003,
RTA.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018
.
Santiago Escobar,
Narciso Martí-Oliet,
Carolyn L. Talcott,
2015,
Logic, Rewriting, and Concurrency.
Takayasu Ito,
Olivier Danvy,
Carolyn L. Talcott,
2001,
High. Order Symb. Comput..
Carolyn L. Talcott,
Grit Denker,
2004,
WRLA.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2013,
Sci. Comput. Program..
José Meseguer,
Carolyn L. Talcott,
J. Meseguer,
1998,
WRLA.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2017,
FACS.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1989,
ICALP.
Carolyn L. Talcott,
David L. Dill,
D. Dill,
2006,
Trans. Comp. Sys. Biology.
Olivier Danvy,
Carolyn L. Talcott,
2009,
High. Order Symb. Comput..
Takayasu Ito,
Olivier Danvy,
Carolyn L. Talcott,
2002,
High. Order Symb. Comput..
Olivier Danvy,
Carolyn L. Talcott,
2009,
High. Order Symb. Comput..
Olivier Danvy,
Carolyn L. Talcott,
1999,
High. Order Symb. Comput..
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2000,
All About Maude.
Carolyn L. Talcott,
Ian A. Mason,
2000,
WRLA.
Carolyn L. Talcott,
Ian A. Mason,
Scott F. Smith,
1996,
Inf. Comput..
Grigore Rosu,
Carolyn L. Talcott,
Grit Denker,
2007,
WRLA.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Grit Denker,
2013,
HiCoNS '13.
Narciso Martí-Oliet,
Carolyn L. Talcott,
Patrick Lincoln,
2007,
All About Maude.
Carolyn L. Talcott,
Patrick Lincoln,
Steven Eker,
2005,
2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05).
Di Wu,
Julie A. McCann,
Nalini Venkatasubramanian,
2017,
IEEE Transactions on Computers.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
ArXiv.
Stéphane Natkin,
Carolyn L. Talcott,
Eric Gressier-Soudan,
2013
.
Carolyn L. Talcott,
C. Talcott,
2007,
CoOrg/MTCoord@COORDINATION.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Gul A. Agha,
2001,
FME.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1991,
PEPM '91.
José Meseguer,
Carolyn L. Talcott,
2000,
SOEN.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
RTA.
Olivier Danvy,
Carolyn L. Talcott,
2000,
High. Order Symb. Comput..
Carolyn L. Talcott,
C. Talcott,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2011,
UIC.
Francisco Durán,
José Meseguer,
Narciso Martí-Oliet,
2007,
All About Maude.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2016,
FORMATS.
Carolyn L. Talcott,
Andrew M. Pitts,
Andrew D. Gordon,
1997
.
Francisco Durán,
José Meseguer,
Santiago Escobar,
2011,
RTA.
Carolyn L. Talcott,
Vivek Nigam,
Abraão Aires Urquiza,
2018,
ArXiv.
Carolyn L. Talcott,
Patrick Lincoln,
Steven Eker,
2004,
WRLA.
Francisco Durán,
Robert Heinrich,
Steffen Zschaler,
2019,
Dagstuhl Reports.
Carolyn L. Talcott,
Kathleen Fisher,
Paolo Di Blasio,
2000,
IEEE Trans. Software Eng..
Olivier Danvy,
Carolyn L. Talcott,
O. Danvy,
2000,
High. Order Symb. Comput..
Carolyn L. Talcott,
Marjan Sirjani,
Shangping Ren,
2011,
Sci. Comput. Program..
Carolyn L. Talcott,
C. Talcott,
2008,
FInCo@ETAPS.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2016,
V2CPS@IFM.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
CPS-SPC@CCS.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
Math. Struct. Comput. Sci..
Olivier Danvy,
Carolyn L. Talcott,
O. Danvy,
2000,
High. Order Symb. Comput..
Carolyn L. Talcott,
Narciso Martí-Oliet,
Grigore Rosu,
2007,
High. Order Symb. Comput..
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2014,
Specification, Algebra, and Software.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
J. Comput. Secur..
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2022,
J. Log. Algebraic Methods Program..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
ICISSP.
Farhad Arbab,
Carolyn L. Talcott,
C. Talcott,
2002
.
Carolyn L. Talcott,
Patrick Lincoln,
Steven Eker,
2003
.