Kathi Fisler

发表

Kathi Fisler, Theophilos Giannakopoulos, Daniel J. Dougherty, 2009, FM.
Kathi Fisler, Shriram Krishnamurthi, Michael Greenberg, 2004, SIGSOFT '04/FSE-12.
Kathi Fisler, Shriram Krishnamurthi, Emmanuel Schanzer, 2011, ITiCSE '11.
Kathi Fisler, K. Fisler, Kathi Fisler, 2014, ICER '14.
Kathi Fisler, John Clements, K. Fisler, 2010 .
Matthias Hauswirth, Joe Gibbs Politz, Ville Tirronen, 2014, ITiCSE-WGR '14.
Kathi Fisler, Moshe Y. Vardi, Kathi Fisler, 1999, CHARME.
Kathi Fisler, Steven D. Johnson, K. Fisler, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Pascal Van Hentenryck, Kathi Fisler, Shriram Krishnamurthi, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Kathi Fisler, Moshe Y. Vardi, Kathi Fisler, 2002, Formal Methods Syst. Des..
Kathi Fisler, Shriram Krishnamurthi, Guillaume Marceau, 2011, SIGCSE.
Kathi Fisler, Shriram Krishnamurthi, Justin Pombrio, 2017, SNAPL.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2014, ITiCSE '14.
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson, 2019, SIGCSE.
Kathi Fisler, Michael Carl Tschantz, Shriram Krishnamurthi, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2008, SIGSOFT '08/FSE-16.
Kathi Fisler, Shriram Krishnamurthi, Emmanuel Schanzer, 2019, Commun. ACM.
Stephen N. Freund, Kathi Fisler, Kim B. Bruce, 2011 .
Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund, 2016, SIGCSE.
Kathi Fisler, K. Fisler, 2003, International Journal on Software Tools for Technology Transfer.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2016, SIGCSE.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2010, FoSER '10.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2014, ICER '14.
Kathi Fisler, Moshe Y. Vardi, Zijiang Yang, 2001, TACAS.
Kathi Fisler, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Kathi Fisler, Shriram Krishnamurthi, Guillaume Marceau, 2011, ICER.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2019, The Cambridge Handbook of Computing Education Research.
Jia Liu, Kathi Fisler, Shriram Krishnamurthi, 2001 .
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson, 2017, SIGCSE.
Kathi Fisler, Hana Chockler, K. Fisler, 2005, CHARME.
Matthias Felleisen, Kathi Fisler, Shriram Krishnamurthi, 1999 .
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson, 2018, SIGCSE.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2020, ArXiv.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2013, HotSDN '13.
Kathi Fisler, Francisco Enrique Vicente Castro, K. Fisler, 2016, SIGCSE.
Mark Claypool, Kathi Fisler, Craig Jordan, 2011, 2011 10th Annual Workshop on Network and Systems Support for Games.
Kathi Fisler, Francisco Enrique Vicente Castro, K. Fisler, 2017, Koli Calling.
Kathi Fisler, Moshe Y. Vardi, K. Fisler, 1998, FMCAD.
Kathi Fisler, Shriram Krishnamurthi, Harry C. Li, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Kathi Fisler, K. Fisler, 1999, J. Log. Lang. Inf..
Kathi Fisler, Shriram Krishnamurthi, Colin Blundell, 2004 .
Kathi Fisler, Shriram Krishnamurthi, Emmanuel Schanzer, 2015, 2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond).
Kathi Fisler, Shriram Krishnamurthi, Don Batory, 2001 .
Kathi Fisler, Shriram Krishnamurthi, Harry C. Li, 2005, Automated Software Engineering.
Kathi Fisler, Francisco Enrique Vicente Castro, K. Fisler, 2017, ICER.
Colleen M. Lewis, Aman Yadav, Mark Guzdial, 2020, SIGCSE.
Simon L. Peyton Jones, Cliff B. Jones, Murali Sitaraman, 2006, GPCE '06.
Kathi Fisler, Paul Freitas, Dan Bjorge, 2012, DSAL '12.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2007, TSEM.
Kathi Fisler, Robert P. Kurshan, 1997, Formal Hardware Verification.
Kathi Fisler, Shriram Krishnamurthi, Harry C. Li, 2002, SPIN.
Kathi Fisler, Shriram Krishnamurthi, Francisco Enrique Vicente Castro, 2017, Koli Calling.
Kathi Fisler, Shriram Krishnamurthi, Guillaume Marceau, 2011, Onward! 2011.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2001, ESEC/FSE-9.
Kathi Fisler, Stephen A. Bloch, Viera K. Proulx, 2003 .
Kathi Fisler, Shriram Krishnamurthi, Emmanuel Schanzer, 2018, SIGCSE.
Kathi Fisler, Shriram Krishnamurthi, Harry C. Li, 2002, SIGSOFT '02/FSE-10.
Kathi Fisler, Francisco Enrique Vicente Castro, K. Fisler, 2020, SIGCSE.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2002 .
Matthias Felleisen, Kathi Fisler, Shriram Krishnamurthi, 2015, SIGCSE.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2005, VSTTE.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Kathi Fisler, Shriram Krishnamurthi, Salman Saghafi, 2012, AOSD.
Kathi Fisler, Shriram Krishnamurthi, Salman Saghafi, 2012 .
Kathi Fisler, Jan Vahrenhold, Michael E. Caspersen, 2016, Dagstuhl Reports.
Kathi Fisler, Shriram Krishnamurthi, Yanyan Ren, 2019, ICER.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2018, SIGCSE.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2006, IJCAR.
Kathi Fisler, Shriram Krishnamurthi, John Wrenn, 2018, ICER.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2010, LISA.
Kathi Fisler, Shriram Krishnamurthi, Emmanuel Schanzer, 2018, SIGCSE.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2012, ABZ.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2010, SACMAT '10.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2014, ITiCSE '14.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2007, ESORICS.
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, 2021, SIGCSE.
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2021, ICER.
Kathi Fisler, Daniel J. Dougherty, Shriram Krishnamurthi, 2010 .
Pascal Van Hentenryck, Kathi Fisler, Shriram Krishnamurthi, .
Kathi Fisler, Shriram Krishnamurthi, 1999 .
Kathi Fisler, Shriram Krishnamurthi, K. Fisler, 2005 .