David A. Schmidt

发表

Wolfgang Utschick, David A. Schmidt, Michael Joham, 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing.
Wolfgang Utschick, David A. Schmidt, W. Utschick, 2011, 2011 8th International Symposium on Wireless Communication Systems.
David A. Schmidt, Torben Æ. Mogensen, I. H. Sudborough, 2002 .
David A. Schmidt, Anindya Banerjee, A. Banerjee, 1993, MFPS.
Wolfgang Utschick, David A. Schmidt, Raphael Hunger, 2007, 2007 IEEE International Symposium on Information Theory.
Wolfgang Utschick, David A. Schmidt, Michael Joham, 2008, Eur. Trans. Telecommun..
David A. Schmidt, 2006, SAS.
David A. Schmidt, Daniel Le Métayer, 1996, CSUR.
David A. Schmidt, Antoine Miné, A. Miné, 2012 .
David A. Schmidt, 2004, Lecture Notes in Computer Science.
David A. Schmidt, 1980, Semantics-Directed Compiler Generation.
David A. Schmidt, 1983, Theor. Comput. Sci..
Wolfgang Utschick, David A. Schmidt, Alexander G. Schwing, 2007, 2007 IEEE International Conference on Communications.
Wolfgang Utschick, David A. Schmidt, Michael L. Honig, 2013, IEEE Transactions on Signal Processing.
David A. Schmidt, Bernhard Steffen, B. Steffen, 1998, SAS.
David A. Schmidt, 1997, SIGP.
David A. Schmidt, Anindya Banerjee, A. Banerjee, 1998, Sci. Comput. Program..
David A. Schmidt, Gurvan Le Guernic, Anindya Banerjee, 2006 .
David A. Schmidt, Husain Ibraheem Hajji Ibraheem, 1998 .
Radha Jagadeesan, Michael Huth, David A. Schmidt, 2001, ESOP.
David A. Schmidt, Austin Melton, A. Melton, 1986, Mathematical Foundations of Programming Semantics.
David A. Schmidt, 2002, The Essence of Computation.
David A. Schmidt, Kyung-Goo Doh, Kyung-Goo Doh, 2009, Semantics and Algebraic Specification.
David A. Schmidt, Austin Melton, George E. Strecker, 1985, CTCS.
David A. Schmidt, 1985, Programs as Data Objects.
Radha Jagadeesan, Michael Huth, David A. Schmidt, 2004, Mathematical Structures in Computer Science.
Wolfgang Utschick, David A. Schmidt, Guido Dietl, 2010, 2010 International ITG Workshop on Smart Antennas (WSA).
David A. Schmidt, Radhia Cousot, R. Cousot, 1996 .
Bernhard Steffen, David A. Schmidt, Markus Müller-Olm, 1999, SAS.
David A. Schmidt, Kyung-Goo Doh, Hyunha Kim, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
David A. Schmidt, Susan Even, S. Even, 1990, ESOP.
David A. Schmidt, Jacob K. White, Andrey Nechypurenko, 2006 .
Sumit Gulwani, Dirk Beyer, David A. Schmidt, 2018, Handbook of Model Checking.
David A. Schmidt, Austin Melton, Michael G. Main, 1987, Lecture Notes in Computer Science.
Wolfgang Utschick, David A. Schmidt, Michael L. Honig, 2009, 2009 IEEE International Conference on Communications.
Wolfgang Utschick, David A. Schmidt, Michael Joham, 2006, 2006 IEEE International Conference on Acoustics Speech and Signal Processing Proceedings.
David A. Schmidt, Neil D. Jones, N. Jones, 1980, Semantics-Directed Compiler Generation.
David A. Schmidt, Radhia Cousot, Elodie-Jane Sims, 2007 .
Masaaki Mizuno, David A. Schmidt, 2010, Formal Aspects of Computing.
David A. Schmidt, 2001, PPDP '01.
David A. Schmidt, 2007, High. Order Symb. Comput..
David A. Schmidt, 1996, CSUR.
David A. Schmidt, Brian T. Bennett, Mohammad S. Khan, 2020, Internet Technol. Lett..
Johannes Brehmer, Wolfgang Utschick, David A. Schmidt, 2007, IEEE Transactions on Signal Processing.
David A. Schmidt, 1988, Sci. Comput. Program..
David A. Schmidt, Frederick A. Piumelli, 1998 .
David A. Schmidt, 2012, Theor. Comput. Sci..
David A. Schmidt, 1998, LISP Symb. Comput..
David A. Schmidt, 2007, High. Order Symb. Comput..
David A. Schmidt, Kyung-Goo Doh, 1993, Comput. Lang..
David A. Schmidt, Susan Even, 1990, Theor. Comput. Sci..
Wolfgang Utschick, David A. Schmidt, Michael L. Honig, 2010, 2010 IEEE Global Telecommunications Conference GLOBECOM 2010.
David A. Schmidt, Brian T. Bennett, Mohamad S. Khan, 2019, 2019 SoutheastCon.
Wolfgang Utschick, David A. Schmidt, Michael Joham, 2005, 2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications.
Gautam Biswas, David A. Schmidt, John S. Kinnebrew, 2008 .
Wolfgang Utschick, David A. Schmidt, Michael L. Honig, 2008, 2008 International ITG Workshop on Smart Antennas.
David A. Schmidt, Anindya Banerjee, Gurvan Le Guernic, 2006, ASIAN.
David A. Schmidt, 1994, Foundations of computing series.
David A. Schmidt, Kyung-Goo Doh, Kyung-Goo Doh, 1992, ESOP.
David A. Schmidt, Adrian Fiech, Adrian Fiech, 2002, Theor. Comput. Sci..
David A. Schmidt, Anindya Banerjee, A. Banerjee, 1998, Sci. Comput. Program..
Radha Jagadeesan, Michael Huth, David A. Schmidt, 2001 .
David A. Schmidt, Yanhui Du, Anoop Singhal, 2013, J. Comput. Secur..
David A. Schmidt, Torben Æ. Mogensen, I. H. Sudborough, 2002 .
David A. Schmidt, Yuki Komagata, Y. Komagata, 1995 .
David A. Schmidt, David A. Schmidt, 1986 .
Chris Hankin, David A. Schmidt, Dave Schmidt, 2001, ACM-SIGACT Symposium on Principles of Programming Languages.
David A. Schmidt, Hyunha Kim, Kyung-Goo Doh, 2010 .
David A. Schmidt, Hyunha Kim, Kyung-Goo Doh, 2010 .
David A. Schmidt, David A Schmidt, 2000, High. Order Symb. Comput..
David A. Schmidt, David A. Schmidt, 1996, CSUR.
David A. Schmidt, B. Steffen, M. Müller-Olm, 1999, Sensors Applications Symposium.