| |
# of records = 63
homepages/33/1623 journals/csur/Shankar09 journals/csur/HoareMLS09 conf/vstte/2008 conf/atva/Shankar08 conf/tphol/OwreS08 conf/cav/MouraDS07 conf/cade/2006 conf/fsttcs/Shankar05 conf/cav/MouraORRSST04 conf/cade/MouraORRS04 journals/pieee/TiwariSR03 conf/unu/Shankar02 conf/cade/FordS02 conf/fm/Shankar02 conf/lics/Shankar02 conf/rta/ShankarR02 conf/cav/FilliatreORS01 conf/lics/RuessS01 conf/lopstr/Shankar01 conf/tacas/TiwariRSS01 conf/tphol/Shankar01 conf/asm/Shankar00 conf/concur/Shankar00 conf/cav/SaidiS99 conf/wadt/ShankarO99 conf/wss/KulkarniRS99 journals/fmsd/RuessSS99 conf/fm/OwreRSS98 conf/ftrtft/PnueliSS98 conf/procomet/QadeerS98 journals/tse/RushbyOS98 conf/compos/Shankar97 conf/tacas/OwreRS97 conf/vlsid/RajanSS97 conf/cade/CyrlukLS96 conf/cav/RuessSS96 conf/cav/OwreRRSS96 conf/fmcad/Shankar96 conf/fm/HavelundS96 conf/ftrtft/Shankar96 journals/scp/Shankar96 conf/cav/RajanSS95 conf/lics/LincolnSS95 conf/mpc/Shankar95 journals/tse/OwreRSH95 conf/ftrtft/SkakkebaekS94 conf/lics/LincolnS94 conf/tpcd/CyrlukRSS94 conf/tpcd/OwreRSS94 conf/cav/Shankar93 conf/fm/OwreRSH93 journals/apal/LincolnSS93 journals/ai/Shankar93 conf/cade/Shankar92 conf/cade/OwreRS92 conf/ftrtft/Shankar92 journals/apal/LincolnMSS92 conf/lics/LincolnSS91 conf/focs/LincolnMSS90 journals/ipl/ShankarR88 journals/jacm/Shankar88 journals/jar/Shankar85
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)