| |
# of records = 55
homepages/t/AshishTiwari conf/frocos/Tiwari09 conf/lics/CreusGMT09 conf/sas/GodoyT09 conf/vmcai/TalyGT09 journals/automatica/AbateTS09 conf/cav/GulwaniT08 conf/cmsb/Takahashi08a conf/hybrid/Tiwari08 conf/popl/GulwaniMT08 journals/amc/DeoT08 journals/fmsd/Tiwari08 conf/ab/TiwariTKLL07 conf/bibe/AbateBSTT07 conf/cade/TiwariG07 conf/cav/GulwaniT07 conf/esop/GulwaniT07 conf/ipcv/BhattacharyaTANS07 conf/rta/GodoyHT07 conf/vmcai/GulwaniT07 conf/hybrid/2006 conf/esop/GulwaniT06 conf/pldi/GulwaniT06 conf/cade/GodoyT05 conf/csl/Tiwari05 conf/csl/GodoyT05 conf/hybrid/Rodriguez-CarbonellT05 conf/cav/MouraORRSST04 conf/cav/Tiwari04 conf/fsttcs/GulwaniTN04 conf/hybrid/TiwariK04 conf/hybrid/LincolnT04 conf/cade/GodoyT04 journals/tocl/GodoyNT04 journals/apal/GodoyTV04 journals/aaecc/GodoyTV04 journals/dmtcs/BerregebRT04 conf/hybrid/GhoshTT03 conf/hybrid/Tiwari03 conf/sew/TiwariSR03 conf/stacs/GodoyTV03 journals/jar/BachmairTV03 journals/pieee/TiwariSR03 conf/hybrid/TiwariK02 conf/lics/Tiwari02 conf/fsttcs/Tiwari01 conf/tacas/TiwariRSS01 conf/cade/TiwariBR00 conf/cade/BachmairT00 conf/frocos/BachmairRTV00 journals/cor/AhujaOT00 conf/hicss/HandaST99 conf/rta/BachmairRRT99 conf/hicss/HandaST98 conf/rta/BachmairT97
Copyright © 2009-11-27 by Michael Ley (ley@uni-trier.de)