DBLP Keys for 'Frank Pfenning'

# of records = 130

homepages/p/FPfenning conf/cade/McLaughlinP09 conf/pepm/SimmonsP09 conf/tlca/LovasP09 journals/entcs/ReedP09 conf/csfw/DeYoungGP08 conf/icalp/SimmonsP08 conf/lpar/McLaughlinP08 journals/tocl/NanevskiPP08 journals/toplas/ParkPT08 journals/entcs/LovasP08 journals/entcs/WatkinsCPW08 journals/jar/ChaudhuriPP08 conf/cade/2007 conf/icfp/Pfenning07 conf/icra/SaranliP07 conf/ndss/BowersBGPR07 conf/rta/Pfenning07 conf/tlca/Pfenning07 conf/rta/2006 conf/csfw/GargP06 conf/esorics/GargBBPR06 conf/cade/ChaudhuriPP06 conf/cade/ChaudhuriP05 conf/concur/GargP05 conf/csl/ChaudhuriP05 conf/icfp/Pfenning05 conf/popl/ParkPT05 conf/ppdp/LopezPPW05 journals/tocl/HarperP05 journals/jfp/CraryKP05 journals/jfp/NanevskiP05 conf/aplas/Pfenning04 conf/lics/VIICHP04 conf/popl/DunfieldP04 conf/tphol/AndersonP04 journals/jar/AndrewsBPBIX04 conf/gpce/2003 conf/cade/PientkaP03 conf/fossacs/DunfieldP03 conf/ijcai/ThrunGPBSL03 conf/icfp/NanevskiPP03 conf/popl/PetersenHCP03 conf/tphol/SchurmannP03 conf/types/WatkinsCPW03 journals/tocl/MomiglianoP03 journals/logcom/CervesatoP03 journals/tcs/ColbyCHLP03 conf/grid/ChangCDHLVP02 journals/tocl/AbadiLP02 journals/entcs/Pfenning02a journals/entcs/Pfenning02 journals/iandc/CervesatoP02 conf/lics/Pfenning01 books/el/RV01/Pfenning01 journals/corr/cs-LO-0109072 journals/corr/cs-LO-0110028 journals/jacm/DaviesP01 journals/mscs/PfenningD01 journals/tcs/SchurmannDP01 conf/icfp/DaviesP00 conf/pepm/Pfenning00 conf/saig/Pfenning00 journals/amai/GramlichKP00 journals/iandc/Pfenning00 journals/tcs/CervesatoHP00 conf/agp/MomiglianoP99 conf/cade/PfenningS99 conf/iclp/MomiglianoP99 conf/popl/XiP99 conf/ppdp/Pfenning99 conf/tlca/PolakowP99 journals/entcs/PolokowP99 journals/entcs/DanvyDP99 conf/cade/Pfenning98 conf/cade/SchurmannP98 conf/pldi/WicklineLP98 conf/pldi/XiP98 conf/types/PfenningS98 journals/csur/WicklineLPD98 journals/entcs/PfenningS98 journals/logcom/HarperP98 journals/sLogica/SiegP98 conf/lics/CervesatoP97 conf/tlca/DespeyrouxPS97 journals/jsyml/NarendranPS97 conf/caap/Pfenning96 conf/elp/CervesatoHP96 conf/esop/RohwedderP96 conf/iclp/DowekHKP96 conf/lics/CervesatoP96 conf/popl/DaviesP96 journals/jar/AndrewsBINPX96 conf/lics/Pfenning95 journals/entcs/PfenningW95 conf/lpar/1994 conf/cade/Pfenning94 conf/tphol/AndrewsBINPX93 conf/slp/KohlhaseP93 conf/lics/NarendranPS93 conf/ppcp/MichaylovP93 journals/fuin/Pfenning93 conf/cade/PfenningR92 conf/lics/PfenningH92 books/mit/pfenning92/NadathurP92 books/mit/pfenning92/Pfenning92 journals/ml/DietzenP92 conf/elp/MichaylovP91 conf/slp/DietzenP91 conf/lics/Pfenning91 conf/pepm/MichaylovP91 conf/pldi/FreemanP91 journals/apal/MillerNPS91 journals/tcs/PfenningL91 conf/cade/PfenningN90 conf/cade/AndrewsINP90 conf/cade/FeltyGMP90 conf/iclp/Pfenning90 conf/lics/Pfenning89 conf/icml/DietzenP89 conf/mfps/PfenningP89 conf/tapsoft/PfenningL89 conf/cade/Pfenning88 conf/cade/AndrewsINP88 conf/lfp/Pfenning88 conf/pldi/PfenningE88 conf/sde/NordP88 conf/sde/LeePRS88 conf/cade/AndrewsPIK86 conf/cade/Pfenning84

XML