dblp keys for Donald Sannella

Donald Sannella

Keys

# of data records = 99

homepages/s/DonaldSannella journals/mscs/HoffmannSS22 series/utcs/SannellaFPW21 journals/mscs/HoffmannSS21 journals/tcs/AusielloKRSSC20 journals/tcs/AusielloKRSSC19 journals/corr/abs-1906-09181 conf/birthday/SannellaT18 conf/icalp/2018 journals/scp/CodescuMST17 conf/birthday/2016wadler journals/eceasst/AtkeyS15 journals/ijsi/MarczynskiST15 journals/tcs/AusielloKRS15 conf/birthday/SannellaT15 conf/birthday/Ibanez-GarciaMS15 conf/mfcs/2015-1 conf/mfcs/2015-2 journals/mscs/SannellaT14 conf/birthday/MossakowskiPST14 books/daglib/0028275 conf/tgc/AspinallAMS10 journals/mscs/BidoitST08 journals/tcs/MontanariS08 conf/birthday/SannellaT08 journals/tcs/SannellaS07 conf/tgc/2006 journals/tcs/Sannella06 conf/birthday/SannellaT06 conf/sfp/SannellaHAGSBLMMS05 conf/cassis/AspinallGHSS04 conf/wadt/MossakowskiST04 conf/icalp/2004 journals/cai/MossakowskiHST03 conf/mfcs/HannayKS03 journals/fac/RydeheardS02 journals/fac/BidoitST02 journals/iandc/HonsellS02 journals/tcs/AstesianoBKKMST02 conf/amast/AspinallS02 conf/mfcs/BidoitST02 conf/mfcs/MachadoS02 conf/rissef/BidoitST02 journals/tcs/AusielloSM01 conf/wadt/Sannella01 conf/fossacs/HonsellLST00 conf/icalp/PlotkinPST00 journals/csur/SannellaT99 conf/csl/HonsellS99 conf/ershov/Sannella99 conf/lopstr/Sannella99 series/ifip/SannellaT99 series/ifip/SannellaW99 conf/amast/BidoitST98 conf/fase/KahrsS98 journals/fac/SannellaT97 journals/tcs/KahrsST97 conf/tapsoft/Sanella97 journals/tcs/HofmannS96 conf/mfcs/SannellaT96 journals/scp/Sannella95 conf/tapsoft/HofmannS95 journals/apal/HarperST94 conf/idl/KahrsST94 conf/esop/1994 conf/sosl/KahrsST93 series/wsscs/SannellaT93 journals/acta/SannellaST92 journals/jlp/SannellaW92 conf/icalp/SannellaT92 conf/tapsoft/Krieg-BrucknerS91 books/sp/BidoitKLOS91 journals/eatcs/SanellaT90 conf/adt/SannellaT90 conf/adt/SannellaT90a conf/ctcs/HarperST89 conf/lics/HarperST89 conf/tapsoft/SannellaT89 journals/acta/SannellaT88 journals/iandc/SannellaT88 conf/adt/SannellaT88 journals/jcss/SannellaT87 conf/slp/SannellaW87 conf/tapsoft/SannellaT87 conf/adt/1987 conf/adt/SannellaT86 journals/tse/MacQueenS85 conf/ctcs/SannellaT85 conf/popl/SannellaT85 conf/tapsoft/SannellaT85 journals/acta/Sannella84 conf/adt/SannellaT84 conf/sdt/SannellaT84 conf/adt/SannellaW83 conf/caap/SannellaB83 conf/fct/SannellaW83 phd/ethos/Sannella82 conf/icalp/SannellaW82 conf/lfp/BurstallMS80

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.