MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Foundations of Software Technology and Theoretical Computer Science" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 86 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • data structure (abstract of invited lecture). In Fritz Henglein,  
  • by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
  • … 2004: Foundations of Software Technology and Theoretical Computer Science, volume 3328 of Lecture Notes…
  • Add To MetaCart
  • Academic Publications  
  • by Tanmoy Chakraborty, Prof Sanjeev, Khanna Cumulative
  • … Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 2006…
  • Add To MetaCart
  • Research Intern  
  • by Advisor Prof, Thomas Reps, Fall Spring, Mentor Sumit Gulwani — 2005
  • … of Software Technology and Theoretical Computer Science (FSTTCS) 2008, Compiler Construction (CC) 2008, Static…
  • Add To MetaCart
  • BRICS Research Series, 1998.  
  • by Brics, Mogens Nielsen, Christian N. S. Pedersen, Rune B. Lyngs, Jotun Hein Comparison — 1999
  • … and Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science: 18th Conference…
  • Add To MetaCart
  • Positions  
  • by Xiaoyang Gu, Advisor Jack, H. Lutz
  • … Technology and Theoretical Computer Science (FST&TCS) (Hyderabad, India, December 15-18, 2005), Springer…
  • Add To MetaCart
  • Research in computational molecular biology.  
  • by Max Alekseyev, Advisor Prof, Pavel Pevzner, Advisor Prof, Yevgeniy I. Gordon
  • … Technology and Theoretical Computer Science (FSTTCS 2004), Chennai, India. Lecture Notes in Computer Science…
  • Add To MetaCart
  • Publications Refereed Conference Publications  
  • by Nicholas Andrew Kidd, Advised Professor, Thomas W. Reps, N. Kidd, T. Reps, J. Dolby, M. Vaziri, Finding Concurrency-related Bugs
  • …. In Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 2007. Technical Reports…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB