René's URL Explorer Experiment


Title: dblp: Karl Palmskog

Description: List of computer science publications by Karl Palmskog

Keywords:

direct link

Domain: dblp.org


Hey, it has json ld scripts:
{"@context": "http://schema.org","@type": "WebSite","url": "https://dblp.org","sameAs": ["https://dblp.uni-trier.de","https://dblp.dagstuhl.de","https://www.wikidata.org/entity/Q1224715","https://en.wikipedia.org/wiki/DBLP","https://bsky.app/profile/dblp.org","https://mastodon.social/@dblp"],"name": "dblp computer science bibliography","alternateName": "DBLP","description": "The dblp computer science bibliography is the online reference for open bibliographic information on major computer science journals and proceedings.","image": "https://dblp.org/img/logo.320x120.png","thumbnailUrl": "https://dblp.org/img/dblp.icon.192x192.png","creator": {"@context": "http://schema.org","@type": "Organization","name": "Schloss Dagstuhl - Leibniz Center for Informatics","url": "https://www.dagstuhl.de","logo": "https://www.dagstuhl.de/fileadmin/assets/images/lzi_logo.gif","contactPoint": {"@context": "http://schema.org","@type": "ContactPoint","contactType": "customer support","url": "https://dblp.org/db/about/team","email": "dblp@dagstuhl.de"},"sameAs": ["https://www.wikidata.org/entity/Q879857","https://en.wikipedia.org/wiki/Dagstuhl"]},"dateCreated": "1993","datePublished": "1993","dateModified": "2026-02-20","locationCreated": "Trier, Germany","funder": [{"@context": "http://schema.org","@type": "Organization","name": "Leibniz Association","url": "https://www.leibniz-gemeinschaft.de/","logo": "https://www.leibniz-gemeinschaft.de/fileadmin/portal/logo-black.svg","sameAs": ["https://www.wikidata.org/entity/Q680090","https://en.wikipedia.org/wiki/Leibniz_Association"]},{"@context": "http://schema.org","@type": "Organization","name": "Federal Ministry of Research, Technology and Space","url": "https://www.bmftr.bund.de/","logo": "https://www.bmftr.bund.de/SiteGlobals/Frontend/Images/images/logo-en.svg","sameAs": ["https://www.wikidata.org/entity/Q492234","https://en.wikipedia.org/wiki/Federal_Ministry_of_Research,_Technology_and_Space"]},{"@context": "http://schema.org","@type": "Organization","name": "Saarland State Chancellery","url": "https://www.saarland.de/stk/DE/home/home_node.html","logo": "https://www.saarland.de/bilder/res_stk/stk.png","sameAs": ["https://www.wikidata.org/entity/Q15848758","https://de.wikipedia.org/wiki/Saarl%C3%A4ndische_Staatskanzlei"]},{"@context": "http://schema.org","@type": "Organization","name": "Ministry of Science and Health of Rhineland-Palatinate","url": "https://mwg.rlp.de/","logo": "https://mwg.rlp.de/fileadmin/_logos/mwg.svg","sameAs": ["https://www.wikidata.org/entity/Q15835282","https://de.wikipedia.org/wiki/Ministerium_f%C3%BCr_Wissenschaft_und_Gesundheit_Rheinland-Pfalz"]}],"genre": "computer science","inLanguage": "en-US","license": "https://creativecommons.org/publicdomain/zero/1.0/","isAccessibleForFree": "true","potentialAction": [{"@type": "SearchAction","target": "https://dblp.org/search?q={search_term_string}","query-input": "required name=search_term_string"}]}
{"@context": "http://schema.org","@type": "Dataset","url": "https://dblp.org/xml/release","sameAs": ["https://dblp.uni-trier.de/xml/release","https://dblp.dagstuhl.de/xml/release"],"name": "dblp XML data dump","description": "The raw dblp metadata in XML files as stable, persistent releases.","keywords": "dblp, XML, computer science, scholarly publications, metadata","temporalCoverage": "1936/..","thumbnailUrl": "https://dblp.org/img/dblp.icon.192x192.png","creator": {"@context": "http://schema.org","@type": "Organization","name": "Schloss Dagstuhl - Leibniz Center for Informatics","url": "https://www.dagstuhl.de","logo": "https://www.dagstuhl.de/fileadmin/assets/images/lzi_logo.gif","contactPoint": {"@context": "http://schema.org","@type": "ContactPoint","contactType": "customer support","url": "https://dblp.org/db/about/team","email": "dblp@dagstuhl.de"},"sameAs": ["https://www.wikidata.org/entity/Q879857","https://en.wikipedia.org/wiki/Dagstuhl"]},"dateCreated": "1993","datePublished": "1993","dateModified": "2026-02-20","locationCreated": "Trier, Germany","funder": [{"@context": "http://schema.org","@type": "Organization","name": "Leibniz Association","url": "https://www.leibniz-gemeinschaft.de/","logo": "https://www.leibniz-gemeinschaft.de/fileadmin/portal/logo-black.svg","sameAs": ["https://www.wikidata.org/entity/Q680090","https://en.wikipedia.org/wiki/Leibniz_Association"]},{"@context": "http://schema.org","@type": "Organization","name": "Federal Ministry of Research, Technology and Space","url": "https://www.bmftr.bund.de/","logo": "https://www.bmftr.bund.de/SiteGlobals/Frontend/Images/images/logo-en.svg","sameAs": ["https://www.wikidata.org/entity/Q492234","https://en.wikipedia.org/wiki/Federal_Ministry_of_Research,_Technology_and_Space"]},{"@context": "http://schema.org","@type": "Organization","name": "Saarland State Chancellery","url": "https://www.saarland.de/staatskanzlei.htm","logo": "https://www.saarland.de/bilder/res_stk/stk.png","sameAs": ["https://www.wikidata.org/entity/Q15848758","https://de.wikipedia.org/wiki/Saarl%C3%A4ndische_Staatskanzlei"]},{"@context": "http://schema.org","@type": "Organization","name": "Ministry of Science and Health of Rhineland-Palatinate","url": "https://mwg.rlp.de/","logo": "https://mwg.rlp.de/fileadmin/_logos/mwg.svg","sameAs": ["https://www.wikidata.org/entity/Q15835282","https://de.wikipedia.org/wiki/Ministerium_f%C3%BCr_Wissenschaft_und_Gesundheit_Rheinland-Pfalz"]}],"genre": "computer science","inLanguage": "en-US","license": "https://creativecommons.org/publicdomain/zero/1.0/","isAccessibleForFree": "true","distribution": [{"@type": "DataDownload","encodingFormat": "application/gzip","contentUrl": "https://dblp.org/xml/release/"}]}

None2
genrecomputer science

Links:

https://www.dagstuhl.de/en
dblphttps://dblp.org
Bloghttps://blog.dblp.org
Statisticshttps://dblp.org/statistics/
Update feedhttps://dblp.org/feed/
dblp artifacts @ DROPShttps://drops.dagstuhl.de/entities/collection/dblp
XML dumphttps://dblp.org/xml/
RDF dumphttps://dblp.org/rdf/
browsehttps://dblp.org/db/
Personshttps://dblp.org/pers/
Conferenceshttps://dblp.org/db/conf/
Journalshttps://dblp.org/db/journals/
Serieshttps://dblp.org/db/series/
Repositorieshttps://dblp.org/db/repo/
searchhttps://dblp.org/search/
Search dblphttps://dblp.org/search/
SPARQL querieshttps://sparql.dblp.org
Lookup by IDhttps://dblp.org/lookup/
abouthttps://dblp.org/db/about/
F.A.Q.https://dblp.org/faq/
Teamhttps://dblp.org/db/about/team.html
Advisory Boardhttps://dblp.org/db/about/advisoryboard.html
Licensehttps://dblp.org/db/about/copyright.html
Privacyhttps://dblp.org/db/about/privacy.html
Imprinthttps://dblp.org/db/about/imprint.html
nfdihttps://www.nfdi.de/?lang=en
NFDI - National Research Data Infrastructure Germanyhttps://www.nfdi.de/?lang=en
consortiahttps://www.nfdi.de/consortia/?lang=en
NFDIxCShttps://nfdixcs.org/
eventshttps://nfdixcs.org/veranstaltungen
mastodonhttps://mastodon.social/@nfdixcs@nfdi.social
NFDI4DataSciencehttps://www.nfdi4datascience.de/
ORKGhttps://www.orkg.org
CEURhttp://ceur-ws.org/
MyBinderhttps://mybinder.org/
eventshttps://www.nfdi4datascience.de/events/
mastodonhttps://mastodon.social/@NFDI4DS@nfdi.social
publicationshttps://scholar.google.com/citations?user=MB2fMGEAAAAJ
donatehttps://www.dagstuhl.de/en/dblp/donate
learn morehttps://www.dagstuhl.de/en/dblp/donate
donate using PayPalhttps://www.paypal.com/donate/?hosted_button_id=PTA6M4GHUCTTJ
solidarityhttps://www.leibniz-gemeinschaft.de/en/about-us/whats-new/news/forschungsnachrichten-single/newsdetails/solidaritaet-mit-der-ukraine
(ua)https://www-leibniz--gemeinschaft-de.translate.goog/en/about-us/whats-new/news/forschungsnachrichten-single/newsdetails/solidaritaet-mit-der-ukraine?_x_tr_sl=en&_x_tr_tl=uk
(ru)https://www-leibniz--gemeinschaft-de.translate.goog/en/about-us/whats-new/news/forschungsnachrichten-single/newsdetails/solidaritaet-mit-der-ukraine?_x_tr_sl=en&_x_tr_tl=ru
newshttps://news.un.org/en/tags/ukraine
(ua)https://news-un-org.translate.goog/en/tags/ukraine?_x_tr_sl=en&_x_tr_tl=uk
(ru)https://news-un-org.translate.goog/en/tags/ukraine?_x_tr_sl=en&_x_tr_tl=ru
donatehttps://donate.unhcr.org/int/en/ukraine-emergency
donatehttps://www.doctorswithoutborders.org/what-we-do/where-we-work/ukraine
donatehttps://www.icrc.org/en/where-we-work/europe-central-asia/ukraine
ERA4Ukrainehttps://euraxess.ec.europa.eu/ukraine/
Assistance in Germanyhttps://www.daad-ukraine.org/en/
Ukrainian Global Universityhttps://uglobal.university/
https://google.com/search?q=
Googlehttps://google.com/search?q=
Google Scholarhttps://scholar.google.com/scholar?q=
Semantic Scholarhttps://www.semanticscholar.org/search?q=
Internet Archive Scholarhttps://scholar.archive.org/search?q=
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=
ORCIDhttps://orcid.org/orcid-search/search?searchQuery=
https://orcid.org/0000-0003-0228-1240
0000-0003-0228-1240https://orcid.org/0000-0003-0228-1240
https://dblp.org/pid/54/6008.html?view=bibtex
BibTeXhttps://dblp.org/pid/54/6008.html?view=bibtex
RIShttps://dblp.org/pid/54/6008.ris
RDF N-Tripleshttps://dblp.org/pid/54/6008.nt
RDF Turtlehttps://dblp.org/pid/54/6008.ttl
RDF/XMLhttps://dblp.org/pid/54/6008.rdf
XMLhttps://dblp.org/pid/54/6008.xml
RSShttps://dblp.org/pid/54/6008.rss
https://google.com/search?q=Karl+Palmskog
Googlehttps://google.com/search?q=Karl+Palmskog
Google Scholarhttps://scholar.google.com/scholar?q=Karl+Palmskog
Semantic Scholarhttps://www.semanticscholar.org/search?q=Karl+Palmskog
Internet Archive Scholarhttps://scholar.archive.org/search?q=Karl+Palmskog
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Karl+Palmskog
ORCIDhttps://orcid.org/orcid-search/search?searchQuery=Karl+Palmskog
https://bsky.app/intent/compose?text=Karl+Palmskog%27s+publications+at+%23dblp%0Ahttps://dblp.org/pid/54/6008
Blueskyhttps://bsky.app/intent/compose?text=Karl+Palmskog%27s+publications+at+%23dblp%0Ahttps://dblp.org/pid/54/6008
Reddithttps://www.reddit.com/submit?url=https://dblp.org/pid/54/6008&title=Karl+Palmskog%27s+publications+at+dblp
BibSonomyhttps://www.bibsonomy.org/editBookmark?url=https://dblp.org/pid/54/6008
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https://dblp.org/pid/54/6008&title=Karl+Palmskog%27s+publications+at+dblp&source=dblp+computer+science+bibliography
https://dblp.org/pid/54/6008https://dblp.org/pid/54/6008
https://dblp.org/db/about/team.html
How can I correct errors in dblp?https://dblp.org/faq/1474623
contact dblphttps://dblp.org/db/about/team.html
https://dblp.org/pers/hd/p/Palmskog:Karl
'20https://dblp.org/pers/hd/p/Palmskog:Karl#the2020s
'10https://dblp.org/pers/hd/p/Palmskog:Karl#the2010s
'00https://dblp.org/pers/hd/p/Palmskog:Karl#the2000s
https://dblp.org/pers/hd/p/Palmskog:Karl#coauthors
https://dblp.org/pers/hd/p/Palmskog:Karl#footer
Trierhttps://dblp.uni-trier.de/pid/54/6008.html
by typehttps://dblp.org/pid/54/6008.html?view=by-type
Homehttps://dblp.org
Personshttps://dblp.org/pers/
highly cited coauthorshttps://sparql.dblp.org?exec=true&query=%23%23+Highly+cited+coauthors+of+Karl+Palmskog%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+cito%3A+%3Chttp%3A%2F%2Fpurl.org%2Fspar%2Fcito%2F%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0ASELECT+%3Fname+%3Faffiliation+%28COUNT%28DISTINCT+%3Fcite%29+as+%3Fcites%29+%28%3Fcoauthor+as+%3Fdblp%29+%28SAMPLE%28%3Forcids%29+as+%3Forcid%29+WHERE+%7B%0A++VALUES+%3Fauthor+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D%0A++%3Fcopubl+dblp%3AauthoredBy+%3Fauthor+.%0A++%3Fcopubl+dblp%3AauthoredBy+%3Fcoauthor+.%0A++FILTER+%28+%3Fauthor+%21%3D+%3Fcoauthor+%29+.%0A++%3Fcoauthor+rdfs%3Alabel+%3Fname+.%0A++OPTIONAL+%7B+%3Fcoauthor+dblp%3Aorcid+%3Forcids+.+%7D%0A++OPTIONAL+%7B+%3Fcoauthor+dblp%3AprimaryAffiliation+%3Faffiliation+.+%7D%0A++%3Fpubl+dblp%3AauthoredBy+%3Fcoauthor+.%0A++%3Fpubl+dblp%3Aomid+%3Fomid+.%0A++%3Fcite+cito%3AhasCitedEntity+%3Fomid+.%0A%7D%0AGROUP+BY+%3Fname+%3Faffiliation+%3Fcoauthor%0AORDER+BY+DESC%28%3Fcites%29%0ALIMIT+10
co-cited other authorshttps://sparql.dblp.org?exec=true&query=%23%23+Papers+that+cite+Karl+Palmskog+do+also+cite+author+...%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+cito%3A+%3Chttp%3A%2F%2Fpurl.org%2Fspar%2Fcito%2F%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0ASELECT+%3Fname+%3Faffiliation+%28COUNT%28%3Fother_pers%29+as+%3Ffreq%29+%28%3Fother_pers+as+%3Fdblp%29+%28SAMPLE%28%3Forcids%29+as+%3Forcid%29+WHERE+%7B%0A++VALUES+%3Fthis_pers+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D+.%0A++%3Fthis_publ+dblp%3AauthoredBy+%3Fthis_pers+.%0A++%3Fthis_publ+dblp%3Aomid+%3Fthis_omid+.%0A++%3Fthis_cite+cito%3AhasCitedEntity+%3Fthis_omid+.%0A++%3Fthis_cite+cito%3AhasCitingEntity+%3Fsource_omid+.%0A++%3Fother_cite+cito%3AhasCitingEntity+%3Fsource_omid+.%0A++%3Fother_cite+cito%3AhasCitedEntity+%3Fother_omid+.%0A++FILTER%28+%3Fother_omid+%21%3D+%3Fthis_omid+%29+.%0A++%3Fother_publ+dblp%3Aomid+%3Fother_omid+.%0A++%3Fother_publ+dblp%3AauthoredBy+%3Fother_pers+.%0A++FILTER%28+%3Fother_pers+%21%3D+%3Fthis_pers+%29+.%0A++%3Fother_pers+dblp%3AprimaryCreatorName+%3Fname+.%0A++OPTIONAL+%7B+%3Fother_pers+dblp%3AprimaryAffiliation+%3Faffiliation+.+%7D%0A++OPTIONAL+%7B+%3Fother_pers+dblp%3Aorcid+%3Forcids+.+%7D%0A%7D%0AGROUP+BY+%3Fname+%3Faffiliation+%3Fother_pers%0AORDER+BY+DESC%28%3Ffreq%29%0ALIMIT+10
non-coauthors with many coauthors in commonhttps://sparql.dblp.org?exec=true&query=%23%23+Non-coauthors+of+Karl+Palmskog+with+many+coauthors+in+common%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0ASELECT+%3Fname+%3Faffiliation+%28COUNT%28DISTINCT+%3Fcoauthor%29+AS+%3Fcount%29+%28%3Fcocoauthor+as+%3Fdblp%29+%28SAMPLE%28%3Forcids%29+as+%3Forcid%29+WHERE+%7B%0A++VALUES+%3Fauthor+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D%0A++%3Fpubl+dblp%3AauthoredBy+%3Fauthor+.%0A++%3Fpubl+dblp%3AauthoredBy+%3Fcoauthor+.%0A++FILTER+%28+%3Fauthor+%21%3D+%3Fcoauthor+%29+.%0A++%3Fcopubl+dblp%3AauthoredBy+%3Fcoauthor+.%0A++%3Fcopubl+dblp%3AauthoredBy+%3Fcocoauthor+.%0A++FILTER+%28+%3Fauthor+%21%3D+%3Fcocoauthor+%29+.%0A++MINUS+%7B+%3Fcocopubl+dblp%3AauthoredBy+%3Fauthor+.+%3Fcocopubl+dblp%3AauthoredBy+%3Fcocoauthor+%7D%0A++%3Fcocoauthor+rdfs%3Alabel+%3Fname+.%0A++OPTIONAL+%7B+%3Fcocoauthor+dblp%3AprimaryAffiliation+%3Faffiliation+.+%7D%0A++OPTIONAL+%7B+%3Fcocoauthor+dblp%3Aorcid+%3Forcids+.+%7D%0A%7D%0AGROUP+BY+%3Fname+%3Faffiliation+%3Fcocoauthor%0AORDER+BY+DESC%28%3Fcount%29%0ALIMIT+10
highly cited publicationshttps://sparql.dblp.org?exec=true&query=%23%23+Highly+cited+publications+by+Karl+Palmskog%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+cito%3A+%3Chttp%3A%2F%2Fpurl.org%2Fspar%2Fcito%2F%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0ASELECT+%3Flabel+%3Fyear+%28COUNT%28DISTINCT+%3Fcite%29+as+%3Fcites%29+%28%3Fpubl+as+%3Fdblp%29+%28SAMPLE%28%3Fdois%29+as+%3Fdoi%29+WHERE+%7B%0A++VALUES+%3Fauthor+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D%0A++%3Fpubl+dblp%3AauthoredBy+%3Fauthor+.%0A++%3Fpubl+rdfs%3Alabel+%3Flabel+.%0A++%3Fpubl+dblp%3Aomid+%3Fomids+.%0A++OPTIONAL+%7B+%3Fcite+cito%3AhasCitedEntity+%3Fomids+.+%7D%0A++OPTIONAL+%7B+%3Fpubl+dblp%3AyearOfPublication+%3Fyear+.+%7D%0A++OPTIONAL+%7B+%3Fpubl+dblp%3Adoi+%3Fdois+.+%7D%0A%7D%0AGROUP+BY+%3Flabel+%3Fyear+%3Fpubl%0AORDER+BY+DESC%28%3Fcites%29%0ALIMIT+10
co-cited publicationshttps://sparql.dblp.org?exec=true&query=%23%23+Papers+that+cite+Karl+Palmskog+do+also+cite+paper+...%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+cito%3A+%3Chttp%3A%2F%2Fpurl.org%2Fspar%2Fcito%2F%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0APREFIX+schema%3A+%3Chttps%3A%2F%2Fschema.org%2F%3E%0ASELECT+%3Flabel+%3Fyear+%28COUNT%28DISTINCT+%3Fother_cite%29+as+%3Ffreq%29+%28%3Fother_publ+as+%3Fdblp%29+%28SAMPLE%28%3Fdois%29+as+%3Fdoi%29+%3Furl+WHERE+%7B%0A++VALUES+%3Fthis_pers+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D+.%0A++%3Fthis_publ+dblp%3AauthoredBy+%3Fthis_pers+.%0A++%3Fthis_publ+dblp%3Aomid+%3Fthis_omid+.%0A++%3Fthis_cite+cito%3AhasCitedEntity+%3Fthis_omid+.%0A++%3Fthis_cite+cito%3AhasCitingEntity+%3Fsource_omid+.%0A++%3Fother_cite+cito%3AhasCitingEntity+%3Fsource_omid+.%0A++%3Fother_cite+cito%3AhasCitedEntity+%3Fother_omid+.%0A++FILTER%28+%3Fother_omid+%21%3D+%3Fthis_omid+%29+.%0A++OPTIONAL+%7B%0A++++%3Fother_publ+dblp%3Aomid+%3Fother_omid+.%0A++++%3Fother_publ+rdfs%3Alabel+%3Flabel+.%0A++++OPTIONAL+%7B+%3Fother_publ+dblp%3AyearOfPublication+%3Fyear+.+%7D%0A++++OPTIONAL+%7B+%3Fother_publ+dblp%3Adoi+%3Fdois+.+%7D%0A++%7D%0A++MINUS+%7B+%3Fother_publ+dblp%3AauthoredBy+%3Fthis_pers+.+%7D%0A++OPTIONAL+%7B+%3Fother_omid+schema%3Aurl+%3Furl+.+%7D%0A%7D%0AGROUP+BY+%3Flabel+%3Fyear+%3Fother_publ+%3Furl%0AORDER+BY+DESC%28%3Ffreq%29%0ALIMIT+10
authors citing this authorhttps://sparql.dblp.org?exec=true&query=%23%23+Who+is+citing+Karl+Palmskog%3F%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0APREFIX+cito%3A+%3Chttp%3A%2F%2Fpurl.org%2Fspar%2Fcito%2F%3E%0APREFIX+rdfs%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23%3E%0ASELECT+%3Fname+%3Faffiliation+%28COUNT%28%3Fother_pers%29+as+%3Ffreq%29+%28%3Fother_pers+as+%3Fdblp%29+%28SAMPLE%28%3Forcids%29+as+%3Forcid%29+WHERE+%7B%0A++VALUES+%3Fthis_pers+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D+.%0A++%3Fthis_publ+dblp%3AauthoredBy+%3Fthis_pers+.%0A++%3Fthis_publ+dblp%3Aomid+%3Fthis_omid+.%0A++%3Fcite+cito%3AhasCitedEntity+%3Fthis_omid+.%0A++%3Fcite+cito%3AhasCitingEntity+%3Fother_omid+.%0A++%3Fother_publ+dblp%3Aomid+%3Fother_omid+.%0A++%3Fother_publ+dblp%3AauthoredBy+%3Fother_pers+.%0A++FILTER%28+%3Fother_pers+%21%3D+%3Fthis_pers+%29%0A++%3Fother_pers+dblp%3AprimaryCreatorName+%3Fname+.%0A++OPTIONAL+%7B+%3Fother_pers+dblp%3AprimaryAffiliation+%3Faffiliation+.+%7D%0A++OPTIONAL+%7B+%3Fother_pers+dblp%3Aorcid+%3Forcids+.+%7D%0A%7D%0AGROUP+BY+%3Fname+%3Faffiliation+%3Fother_pers%0AORDER+BY+DESC%28%3Ffreq%29%0ALIMIT+10
number of authors per paperhttps://sparql.dblp.org?exec=true&query=%23%23+Number-of-authors+statistic+for+Karl+Palmskog%0APREFIX+dblp%3A+%3Chttps%3A%2F%2Fdblp.org%2Frdf%2Fschema%23%3E%0ASELECT+%3Fnumber_of_authors+%28COUNT%28%3Fnumber_of_authors%29+AS+%3Ffreq%29+WHERE+%7B%0A++VALUES+%3Fpers+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D+.%0A++%3Fpubl+dblp%3AauthoredBy+%3Fpers+.%0A++%3Fpubl+dblp%3AnumberOfCreators+%3Fnumber_of_authors+.%0A%7D%0AGROUP+BY+%3Fnumber_of_authors%0AORDER+BY+%3Fnumber_of_authors
or build your own?https://sparql.dblp.org?query=SELECT+%2A+WHERE+%7B%0A++VALUES+%3Fpers+%7B+%3Chttps%3A%2F%2Fdblp.org%2Fpid%2F54%2F6008%3E+%7D+.%0A%0A%7D
https://dblp.org/faq/
What is the meaning of the colors in the publication lists?https://dblp.org/faq/1474790
https://doi.org/10.1007/978-3-032-15700-3_8
electronic edition via DOIhttps://doi.org/10.1007/978-3-032-15700-3_8
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-032-15700-3_8
details & citationshttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.html
https://api.crossref.org/works/10.1007%2F978-3-032-15700-3_8
https://api.openalex.org/works/doi:10.1007%2F978-3-032-15700-3_8
https://dblp.org/rec/conf/vmcai/LindnerPCDGN26.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.html?view=bibtex
RIShttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.ris
RDF N-Tripleshttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.nt
RDF Turtlehttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.ttl
RDF/XMLhttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.rdf
XMLhttps://dblp.org/rec/conf/vmcai/LindnerPCDGN26.xml
https://google.com/search?q=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
Googlehttps://google.com/search?q=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
Google Scholarhttps://scholar.google.com/scholar?q=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-032-15700-3_8
https://bsky.app/intent/compose?text=%22Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-032-15700-3_8
Blueskyhttps://bsky.app/intent/compose?text=%22Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-032-15700-3_8
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-032-15700-3_8&title=%22Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-032-15700-3_8
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-032-15700-3_8&title=%22Forward+Symbolic+Execution+for+Trustworthy+Automation+of+Binary+Code+Verification.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/vmcai/LindnerPCDGN26https://dblp.org/rec/conf/vmcai/LindnerPCDGN26
Andreas Lindnerhttps://dblp.org/pid/28/610.html
Scott Constablehttps://dblp.org/pid/303/0434.html
Mads Damhttps://dblp.org/pid/d/MadsDam.html
Roberto Guancialehttps://dblp.org/pid/12/5314.html
Hamed Nematihttps://dblp.org/pid/127/4008.html
VMCAI 2026https://dblp.org/db/conf/vmcai/vmcai2026.html#conf/vmcai/LindnerPCDGN26
https://doi.org/10.1007/s10817-025-09720-1
electronic edition via DOIhttps://doi.org/10.1007/s10817-025-09720-1
unpaywalled versionhttps://unpaywall.org/10.1007%2FS10817-025-09720-1
details & citationshttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.html
https://api.crossref.org/works/10.1007%2FS10817-025-09720-1
https://api.openalex.org/works/doi:10.1007%2FS10817-025-09720-1
https://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.html?view=bibtex
RIShttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.ris
RDF N-Tripleshttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.nt
RDF Turtlehttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.ttl
RDF/XMLhttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.rdf
XMLhttps://dblp.org/rec/journals/jar/BorgesAFAMPSZ25.xml
https://google.com/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Googlehttps://google.com/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Google Scholarhttps://scholar.google.com/scholar?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2FS10817-025-09720-1
https://bsky.app/intent/compose?text=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2Fs10817-025-09720-1
Blueskyhttps://bsky.app/intent/compose?text=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2Fs10817-025-09720-1
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs10817-025-09720-1&title=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs10817-025-09720-1
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs10817-025-09720-1&title=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/jar/BorgesAFAMPSZ25https://dblp.org/rec/journals/jar/BorgesAFAMPSZ25
Ana de Almeida Borgeshttps://dblp.org/pid/228/6752.html
Annalí Casanueva Artíshttps://dblp.org/pid/254/7673.html
Jean-Rémy Fallerihttps://dblp.org/pid/39/1255.html
Emilio Jesús Gallego Ariashttps://dblp.org/pid/74/4492.html
Érik Martin-Dorelhttps://dblp.org/pid/73/7568.html
Alexander Serebrenikhttps://dblp.org/pid/s/AlexanderSerebrenik.html
Théo Zimmermannhttps://dblp.org/pid/150/1506.html
J. Autom. Reason. 69(1)https://dblp.org/db/journals/jar/jar69.html#journals/jar/BorgesAFAMPSZ25
https://doi.org/10.1007/978-3-031-98208-8_5
electronic edition via DOIhttps://doi.org/10.1007/978-3-031-98208-8_5
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-031-98208-8_5
details & citationshttps://dblp.org/rec/conf/tase/PalmskogNG25.html
https://api.crossref.org/works/10.1007%2F978-3-031-98208-8_5
https://api.openalex.org/works/doi:10.1007%2F978-3-031-98208-8_5
https://dblp.org/rec/conf/tase/PalmskogNG25.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/tase/PalmskogNG25.html?view=bibtex
RIShttps://dblp.org/rec/conf/tase/PalmskogNG25.ris
RDF N-Tripleshttps://dblp.org/rec/conf/tase/PalmskogNG25.nt
RDF Turtlehttps://dblp.org/rec/conf/tase/PalmskogNG25.ttl
RDF/XMLhttps://dblp.org/rec/conf/tase/PalmskogNG25.rdf
XMLhttps://dblp.org/rec/conf/tase/PalmskogNG25.xml
https://google.com/search?q=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
Googlehttps://google.com/search?q=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
Google Scholarhttps://scholar.google.com/scholar?q=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-031-98208-8_5
https://bsky.app/intent/compose?text=%22Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-031-98208-8_5
Blueskyhttps://bsky.app/intent/compose?text=%22Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-031-98208-8_5
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-031-98208-8_5&title=%22Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-031-98208-8_5
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-031-98208-8_5&title=%22Machine-Checked+Compositional+Specification+and+Proofs+for+Embedded+Systems.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/tase/PalmskogNG25https://dblp.org/rec/conf/tase/PalmskogNG25
Mattias Nyberghttps://dblp.org/pid/98/1174.html
Dilian Gurovhttps://dblp.org/pid/47/1237.html
TASE 2025https://dblp.org/db/conf/tase/tase2025.html#conf/tase/PalmskogNG25
https://doi.org/10.48550/arXiv.2503.14135
electronic edition via DOI (open access)https://doi.org/10.48550/arXiv.2503.14135
details & citationshttps://dblp.org/rec/journals/corr/abs-2503-14135.html
https://api.crossref.org/works/10.48550%2FARXIV.2503.14135
https://api.openalex.org/works/doi:10.48550%2FARXIV.2503.14135
https://dblp.org/rec/journals/corr/abs-2503-14135.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2503-14135.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2503-14135.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2503-14135.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2503-14135.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2503-14135.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2503-14135.xml
https://google.com/search?q=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
Googlehttps://google.com/search?q=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
Google Scholarhttps://scholar.google.com/scholar?q=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.48550%2FARXIV.2503.14135
https://bsky.app/intent/compose?text=%22Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2503.14135
Blueskyhttps://bsky.app/intent/compose?text=%22Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2503.14135
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2503.14135&title=%22Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2503.14135
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2503.14135&title=%22Trustworthy+Verification+of+RISC-V+Binaries+Using+Symbolic+Execution+in+HolBA.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2503-14135https://dblp.org/rec/journals/corr/abs-2503-14135
Andreas Lindnerhttps://dblp.org/pid/28/610.html
Scott Constablehttps://dblp.org/pid/303/0434.html
Roberto Guancialehttps://dblp.org/pid/12/5314.html
Hamed Nematihttps://dblp.org/pid/127/4008.html
CoRR abs/2503.14135https://dblp.org/db/journals/corr/corr2503.html#journals/corr/abs-2503-14135
https://doi.org/10.1109/RE59067.2024.00035
electronic edition via DOIhttps://doi.org/10.1109/RE59067.2024.00035
unpaywalled versionhttps://unpaywall.org/10.1109%2FRE59067.2024.00035
details & citationshttps://dblp.org/rec/conf/re/UngAGLNP24.html
https://api.crossref.org/works/10.1109%2FRE59067.2024.00035
https://api.openalex.org/works/doi:10.1109%2FRE59067.2024.00035
https://dblp.org/rec/conf/re/UngAGLNP24.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/re/UngAGLNP24.html?view=bibtex
RIShttps://dblp.org/rec/conf/re/UngAGLNP24.ris
RDF N-Tripleshttps://dblp.org/rec/conf/re/UngAGLNP24.nt
RDF Turtlehttps://dblp.org/rec/conf/re/UngAGLNP24.ttl
RDF/XMLhttps://dblp.org/rec/conf/re/UngAGLNP24.rdf
XMLhttps://dblp.org/rec/conf/re/UngAGLNP24.xml
https://google.com/search?q=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
Googlehttps://google.com/search?q=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
Google Scholarhttps://scholar.google.com/scholar?q=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FRE59067.2024.00035
https://bsky.app/intent/compose?text=%22Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FRE59067.2024.00035
Blueskyhttps://bsky.app/intent/compose?text=%22Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FRE59067.2024.00035
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FRE59067.2024.00035&title=%22Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FRE59067.2024.00035
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FRE59067.2024.00035&title=%22Post-Hoc+Formal+Verification+of+Automotive+Software+with+Informal+Requirements%3A+An+Experience+Report.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/re/UngAGLNP24https://dblp.org/rec/conf/re/UngAGLNP24
Gustav Unghttps://dblp.org/pid/330/2747.html
Jesper Amilonhttps://dblp.org/pid/331/5640.html
Dilian Gurovhttps://dblp.org/pid/47/1237.html
Christian Lidströmhttps://dblp.org/pid/205/3628.html
Mattias Nyberghttps://dblp.org/pid/98/1174.html
RE 2024https://dblp.org/db/conf/re/re2024.html#conf/re/UngAGLNP24
https://doi.org/10.4230/LIPIcs.ITP.2023.12
electronic edition via DOI (open access)https://doi.org/10.4230/LIPIcs.ITP.2023.12
details & citationshttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.html
https://api.crossref.org/works/10.4230%2FLIPICS.ITP.2023.12
https://api.openalex.org/works/doi:10.4230%2FLIPICS.ITP.2023.12
https://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.html?view=bibtex
RIShttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.ris
RDF N-Tripleshttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.nt
RDF Turtlehttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.ttl
RDF/XMLhttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.rdf
XMLhttps://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.xml
https://google.com/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Googlehttps://google.com/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Google Scholarhttps://scholar.google.com/scholar?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.4230%2FLIPICS.ITP.2023.12
https://bsky.app/intent/compose?text=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.ITP.2023.12
Blueskyhttps://bsky.app/intent/compose?text=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.ITP.2023.12
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.ITP.2023.12&title=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.ITP.2023.12
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.ITP.2023.12&title=%22Lessons+for+Interactive+Theorem+Proving+Researchers+from+a+Survey+of+Coq+Users.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/itp/BorgesAFAMPSZ23https://dblp.org/rec/conf/itp/BorgesAFAMPSZ23
Ana de Almeida Borgeshttps://dblp.org/pid/228/6752.html
Annalí Casanueva Artíshttps://dblp.org/pid/254/7673.html
Jean-Rémy Fallerihttps://dblp.org/pid/39/1255.html
Emilio Jesús Gallego Ariashttps://dblp.org/pid/74/4492.html
Érik Martin-Dorelhttps://dblp.org/pid/73/7568.html
Alexander Serebrenikhttps://dblp.org/pid/s/AlexanderSerebrenik.html
Théo Zimmermannhttps://dblp.org/pid/150/1506.html
ITP 2023https://dblp.org/db/conf/itp/itp2023.html#conf/itp/BorgesAFAMPSZ23
https://doi.org/10.1145/3565475.3569081
electronic edition via DOI (open access)https://doi.org/10.1145/3565475.3569081
details & citationshttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.html
https://api.crossref.org/works/10.1145%2F3565475.3569081
https://api.openalex.org/works/doi:10.1145%2F3565475.3569081
https://www.wikidata.org/entity/Q130969362
https://dblp.org/rec/conf/conext/AlshnakatLGDP22.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.html?view=bibtex
RIShttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.ris
RDF N-Tripleshttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.nt
RDF Turtlehttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.ttl
RDF/XMLhttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.rdf
XMLhttps://dblp.org/rec/conf/conext/AlshnakatLGDP22.xml
https://google.com/search?q=HOL4P4%3A+semantics+for+a+verified+data+plane.
Googlehttps://google.com/search?q=HOL4P4%3A+semantics+for+a+verified+data+plane.
Google Scholarhttps://scholar.google.com/scholar?q=HOL4P4%3A+semantics+for+a+verified+data+plane.
Semantic Scholarhttps://www.semanticscholar.org/search?q=HOL4P4%3A+semantics+for+a+verified+data+plane.
Internet Archive Scholarhttps://scholar.archive.org/search?q=HOL4P4%3A+semantics+for+a+verified+data+plane.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=HOL4P4%3A+semantics+for+a+verified+data+plane.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F3565475.3569081
https://bsky.app/intent/compose?text=%22HOL4P4%3A+semantics+for+a+verified+data+plane.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3565475.3569081
Blueskyhttps://bsky.app/intent/compose?text=%22HOL4P4%3A+semantics+for+a+verified+data+plane.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3565475.3569081
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3565475.3569081&title=%22HOL4P4%3A+semantics+for+a+verified+data+plane.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3565475.3569081
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F3565475.3569081&title=%22HOL4P4%3A+semantics+for+a+verified+data+plane.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/conext/AlshnakatLGDP22https://dblp.org/rec/conf/conext/AlshnakatLGDP22
Anoud Alshnakathttps://dblp.org/pid/280/7165.html
Didrik Lundberghttps://dblp.org/pid/273/9547.html
Roberto Guancialehttps://dblp.org/pid/12/5314.html
Mads Damhttps://dblp.org/pid/d/MadsDam.html
EuroP4@CoNEXT 2022https://dblp.org/db/conf/conext/europ42022.html#conf/conext/AlshnakatLGDP22
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_19
electronic edition via DOI (open access)https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_19
details & citationshttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.html
https://api.crossref.org/works/10.34727%2F2022%2FISBN.978-3-85448-053-2_19
https://api.openalex.org/works/doi:10.34727%2F2022%2FISBN.978-3-85448-053-2_19
https://dblp.org/rec/conf/fmcad/PalmskogYDGD22.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.html?view=bibtex
RIShttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.ris
RDF N-Tripleshttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.nt
RDF Turtlehttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.ttl
RDF/XMLhttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.rdf
XMLhttps://dblp.org/rec/conf/fmcad/PalmskogYDGD22.xml
https://google.com/search?q=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
Googlehttps://google.com/search?q=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
Google Scholarhttps://scholar.google.com/scholar?q=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.34727%2F2022%2FISBN.978-3-85448-053-2_19
https://bsky.app/intent/compose?text=%22Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.34727%2F2022%2Fisbn.978-3-85448-053-2_19
Blueskyhttps://bsky.app/intent/compose?text=%22Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.34727%2F2022%2Fisbn.978-3-85448-053-2_19
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.34727%2F2022%2Fisbn.978-3-85448-053-2_19&title=%22Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.34727%2F2022%2Fisbn.978-3-85448-053-2_19
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.34727%2F2022%2Fisbn.978-3-85448-053-2_19&title=%22Foundations+and+Tools+in+HOL4+for+Analysis+of+Microarchitectural+Out-of-Order+Execution.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/fmcad/PalmskogYDGD22https://dblp.org/rec/conf/fmcad/PalmskogYDGD22
Xiaomo Yaohttps://dblp.org/pid/339/9294.html
Ning Donghttps://dblp.org/pid/31/3173.html
Roberto Guancialehttps://dblp.org/pid/12/5314.html
Mads Damhttps://dblp.org/pid/d/MadsDam.html
FMCAD 2022https://dblp.org/db/conf/fmcad/fmcad2022.html#conf/fmcad/PalmskogYDGD22
https://arxiv.org/abs/2202.12662
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2202.12662
details & citationshttps://dblp.org/rec/journals/corr/abs-2202-12662.html
https://dblp.org/rec/journals/corr/abs-2202-12662.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2202-12662.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2202-12662.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2202-12662.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2202-12662.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2202-12662.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2202-12662.xml
https://google.com/search?q=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
Googlehttps://google.com/search?q=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
Google Scholarhttps://scholar.google.com/scholar?q=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
Semantic Scholarhttps://www.semanticscholar.org/search?q=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
Internet Archive Scholarhttps://scholar.archive.org/search?q=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2202.12662
https://bsky.app/intent/compose?text=%22VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2202.12662
Blueskyhttps://bsky.app/intent/compose?text=%22VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2202.12662
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2202.12662&title=%22VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2202.12662
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2202.12662&title=%22VLSM%3A+Validating+Labelled+State+Transition+and+Message+Production+Systems.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2202-12662https://dblp.org/rec/journals/corr/abs-2202-12662
Vlad Zamfirhttps://dblp.org/pid/273/1564.html
Mihai Calanceahttps://dblp.org/pid/314/6920.html
Denisa Diaconescuhttps://dblp.org/pid/63/719.html
Brandon M. Moorehttps://dblp.org/pid/27/9117.html
Traian-Florin Serbanutahttps://dblp.org/pid/s/TFSerbanuta.html
Michael Stayhttps://dblp.org/pid/25/6753.html
CoRR abs/2202.12662https://dblp.org/db/journals/corr/corr2202.html#journals/corr/abs-2202-12662
https://doi.org/10.48550/arXiv.2203.09835
electronic edition via DOI (open access)https://doi.org/10.48550/arXiv.2203.09835
details & citationshttps://dblp.org/rec/journals/corr/abs-2203-09835.html
https://api.crossref.org/works/10.48550%2FARXIV.2203.09835
https://api.openalex.org/works/doi:10.48550%2FARXIV.2203.09835
https://dblp.org/rec/journals/corr/abs-2203-09835.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2203-09835.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2203-09835.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2203-09835.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2203-09835.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2203-09835.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2203-09835.xml
https://google.com/search?q=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
Googlehttps://google.com/search?q=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
Google Scholarhttps://scholar.google.com/scholar?q=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.48550%2FARXIV.2203.09835
https://bsky.app/intent/compose?text=%22Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2203.09835
Blueskyhttps://bsky.app/intent/compose?text=%22Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2203.09835
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2203.09835&title=%22Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2203.09835
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.48550%2FarXiv.2203.09835&title=%22Reliably+Reproducing+Machine-Checked+Proofs+with+the+Coq+Platform.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2203-09835https://dblp.org/rec/journals/corr/abs-2203-09835
Enrico Tassihttps://dblp.org/pid/35/4153.html
Théo Zimmermannhttps://dblp.org/pid/150/1506.html
CoRR abs/2203.09835https://dblp.org/db/journals/corr/corr2203.html#journals/corr/abs-2203-09835
https://doi.org/10.1109/ICSE-Companion52605.2021.00026
electronic edition via DOIhttps://doi.org/10.1109/ICSE-Companion52605.2021.00026
unpaywalled versionhttps://unpaywall.org/10.1109%2FICSE-COMPANION52605.2021.00026
details & citationshttps://dblp.org/rec/conf/icse/NiePLG21.html
https://api.crossref.org/works/10.1109%2FICSE-COMPANION52605.2021.00026
https://api.openalex.org/works/doi:10.1109%2FICSE-COMPANION52605.2021.00026
https://dblp.org/rec/conf/icse/NiePLG21.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/icse/NiePLG21.html?view=bibtex
RIShttps://dblp.org/rec/conf/icse/NiePLG21.ris
RDF N-Tripleshttps://dblp.org/rec/conf/icse/NiePLG21.nt
RDF Turtlehttps://dblp.org/rec/conf/icse/NiePLG21.ttl
RDF/XMLhttps://dblp.org/rec/conf/icse/NiePLG21.rdf
XMLhttps://dblp.org/rec/conf/icse/NiePLG21.xml
https://google.com/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Googlehttps://google.com/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Google Scholarhttps://scholar.google.com/scholar?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FICSE-COMPANION52605.2021.00026
https://bsky.app/intent/compose?text=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FICSE-Companion52605.2021.00026
Blueskyhttps://bsky.app/intent/compose?text=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FICSE-Companion52605.2021.00026
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FICSE-Companion52605.2021.00026&title=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FICSE-Companion52605.2021.00026
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FICSE-Companion52605.2021.00026&title=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/icse/NiePLG21https://dblp.org/rec/conf/icse/NiePLG21
Pengyu Niehttps://dblp.org/pid/223/2712-1.html
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ICSE (Companion Volume) 2021https://dblp.org/db/conf/icse/icse2021c.html#conf/icse/NiePLG21
https://arxiv.org/abs/2103.01346
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2103.01346
details & citationshttps://dblp.org/rec/journals/corr/abs-2103-01346.html
https://dblp.org/rec/journals/corr/abs-2103-01346.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2103-01346.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2103-01346.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2103-01346.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2103-01346.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2103-01346.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2103-01346.xml
https://google.com/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Googlehttps://google.com/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Google Scholarhttps://scholar.google.com/scholar?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2103.01346
https://bsky.app/intent/compose?text=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2103.01346
Blueskyhttps://bsky.app/intent/compose?text=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2103.01346
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2103.01346&title=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2103.01346
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2103.01346&title=%22Roosterize%3A+Suggesting+Lemma+Names+for+Coq+Verification+Projects+Using+Deep+Learning.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2103-01346https://dblp.org/rec/journals/corr/abs-2103-01346
Pengyu Niehttps://dblp.org/pid/223/2712-1.html
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
CoRR abs/2103.01346https://dblp.org/db/journals/corr/corr2103.html#journals/corr/abs-2103-01346
https://doi.org/10.1007/978-3-030-51054-1_6
electronic edition via DOIhttps://doi.org/10.1007/978-3-030-51054-1_6
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-030-51054-1_6
details & citationshttps://dblp.org/rec/conf/cade/NiePLG20.html
https://api.crossref.org/works/10.1007%2F978-3-030-51054-1_6
https://api.openalex.org/works/doi:10.1007%2F978-3-030-51054-1_6
https://dblp.org/rec/conf/cade/NiePLG20.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/cade/NiePLG20.html?view=bibtex
RIShttps://dblp.org/rec/conf/cade/NiePLG20.ris
RDF N-Tripleshttps://dblp.org/rec/conf/cade/NiePLG20.nt
RDF Turtlehttps://dblp.org/rec/conf/cade/NiePLG20.ttl
RDF/XMLhttps://dblp.org/rec/conf/cade/NiePLG20.rdf
XMLhttps://dblp.org/rec/conf/cade/NiePLG20.xml
https://google.com/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Googlehttps://google.com/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Google Scholarhttps://scholar.google.com/scholar?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-030-51054-1_6
https://bsky.app/intent/compose?text=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-51054-1_6
Blueskyhttps://bsky.app/intent/compose?text=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-51054-1_6
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-51054-1_6&title=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-51054-1_6
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-51054-1_6&title=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/cade/NiePLG20https://dblp.org/rec/conf/cade/NiePLG20
Pengyu Niehttps://dblp.org/pid/223/2712-1.html
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
IJCAR (2) 2020https://dblp.org/db/conf/cade/ijcar2020-2.html#conf/cade/NiePLG20
https://doi.org/10.1145/3377812.3382156
electronic edition via DOIhttps://doi.org/10.1145/3377812.3382156
electronic edition @ ieee.orghttps://ieeexplore.ieee.org/document/9270399
unpaywalled versionhttps://unpaywall.org/10.1145%2F3377812.3382156
details & citationshttps://dblp.org/rec/conf/icse/JainPCAG20.html
https://api.crossref.org/works/10.1145%2F3377812.3382156
https://api.openalex.org/works/doi:10.1145%2F3377812.3382156
https://dblp.org/rec/conf/icse/JainPCAG20.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/icse/JainPCAG20.html?view=bibtex
RIShttps://dblp.org/rec/conf/icse/JainPCAG20.ris
RDF N-Tripleshttps://dblp.org/rec/conf/icse/JainPCAG20.nt
RDF Turtlehttps://dblp.org/rec/conf/icse/JainPCAG20.ttl
RDF/XMLhttps://dblp.org/rec/conf/icse/JainPCAG20.rdf
XMLhttps://dblp.org/rec/conf/icse/JainPCAG20.xml
https://google.com/search?q=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
Googlehttps://google.com/search?q=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
Google Scholarhttps://scholar.google.com/scholar?q=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
Semantic Scholarhttps://www.semanticscholar.org/search?q=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
Internet Archive Scholarhttps://scholar.archive.org/search?q=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=mCoq%3A+mutation+analysis+for+Coq+verification+projects.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F3377812.3382156
https://bsky.app/intent/compose?text=%22mCoq%3A+mutation+analysis+for+Coq+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3377812.3382156
Blueskyhttps://bsky.app/intent/compose?text=%22mCoq%3A+mutation+analysis+for+Coq+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3377812.3382156
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3377812.3382156&title=%22mCoq%3A+mutation+analysis+for+Coq+verification+projects.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3377812.3382156
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F3377812.3382156&title=%22mCoq%3A+mutation+analysis+for+Coq+verification+projects.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/icse/JainPCAG20https://dblp.org/rec/conf/icse/JainPCAG20
Kush Jainhttps://dblp.org/pid/276/3275.html
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Emilio Jesús Gallego Ariashttps://dblp.org/pid/74/4492.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ICSE (Companion Volume) 2020https://dblp.org/db/conf/icse/icse2020c.html#conf/icse/JainPCAG20
https://doi.org/10.1007/978-3-030-45237-7_9
electronic edition via DOI (open access)https://doi.org/10.1007/978-3-030-45237-7_9
details & citationshttps://dblp.org/rec/conf/tacas/PalmskogCG20.html
https://api.crossref.org/works/10.1007%2F978-3-030-45237-7_9
https://api.openalex.org/works/doi:10.1007%2F978-3-030-45237-7_9
https://dblp.org/rec/conf/tacas/PalmskogCG20.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/tacas/PalmskogCG20.html?view=bibtex
RIShttps://dblp.org/rec/conf/tacas/PalmskogCG20.ris
RDF N-Tripleshttps://dblp.org/rec/conf/tacas/PalmskogCG20.nt
RDF Turtlehttps://dblp.org/rec/conf/tacas/PalmskogCG20.ttl
RDF/XMLhttps://dblp.org/rec/conf/tacas/PalmskogCG20.rdf
XMLhttps://dblp.org/rec/conf/tacas/PalmskogCG20.xml
https://google.com/search?q=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
Googlehttps://google.com/search?q=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
Google Scholarhttps://scholar.google.com/scholar?q=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-030-45237-7_9
https://bsky.app/intent/compose?text=%22Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-45237-7_9
Blueskyhttps://bsky.app/intent/compose?text=%22Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-45237-7_9
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-45237-7_9&title=%22Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-45237-7_9
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-45237-7_9&title=%22Practical+Machine-Checked+Formalization+of+Change+Impact+Analysis.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/tacas/PalmskogCG20https://dblp.org/rec/conf/tacas/PalmskogCG20
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
TACAS (2) 2020https://dblp.org/db/conf/tacas/tacas2020-2.html#conf/tacas/PalmskogCG20
https://arxiv.org/abs/2003.06458
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2003.06458
details & citationshttps://dblp.org/rec/journals/corr/abs-2003-06458.html
https://dblp.org/rec/journals/corr/abs-2003-06458.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2003-06458.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2003-06458.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2003-06458.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2003-06458.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2003-06458.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2003-06458.xml
https://google.com/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Googlehttps://google.com/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Google Scholarhttps://scholar.google.com/scholar?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Semantic Scholarhttps://www.semanticscholar.org/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Internet Archive Scholarhttps://scholar.archive.org/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2003.06458
https://bsky.app/intent/compose?text=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2003.06458
Blueskyhttps://bsky.app/intent/compose?text=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2003.06458
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2003.06458&title=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2003.06458
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2003.06458&title=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2003-06458https://dblp.org/rec/journals/corr/abs-2003-06458
Talia Ringerhttps://dblp.org/pid/187/8968.html
Ilya Sergeyhttps://dblp.org/pid/77/9770.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
Zachary Tatlockhttps://dblp.org/pid/24/2888.html
CoRR abs/2003.06458https://dblp.org/db/journals/corr/corr2003.html#journals/corr/abs-2003-06458
https://arxiv.org/abs/2004.07761
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2004.07761
details & citationshttps://dblp.org/rec/journals/corr/abs-2004-07761.html
https://dblp.org/rec/journals/corr/abs-2004-07761.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2004-07761.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2004-07761.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2004-07761.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2004-07761.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2004-07761.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2004-07761.xml
https://google.com/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Googlehttps://google.com/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Google Scholarhttps://scholar.google.com/scholar?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2004.07761
https://bsky.app/intent/compose?text=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2004.07761
Blueskyhttps://bsky.app/intent/compose?text=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2004.07761
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2004.07761&title=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2004.07761
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2004.07761&title=%22Deep+Generation+of+Coq+Lemma+Names+Using+Elaborated+Terms.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2004-07761https://dblp.org/rec/journals/corr/abs-2004-07761
Pengyu Niehttps://dblp.org/pid/223/2712-1.html
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
CoRR abs/2004.07761https://dblp.org/db/journals/corr/corr2004.html#journals/corr/abs-2004-07761
https://arxiv.org/abs/2006.16743
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2006.16743
details & citationshttps://dblp.org/rec/journals/corr/abs-2006-16743.html
https://dblp.org/rec/journals/corr/abs-2006-16743.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2006-16743.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2006-16743.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2006-16743.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2006-16743.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2006-16743.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2006-16743.xml
https://google.com/search?q=Learning+to+Format+Coq+Code+Using+Language+Models.
Googlehttps://google.com/search?q=Learning+to+Format+Coq+Code+Using+Language+Models.
Google Scholarhttps://scholar.google.com/scholar?q=Learning+to+Format+Coq+Code+Using+Language+Models.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Learning+to+Format+Coq+Code+Using+Language+Models.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Learning+to+Format+Coq+Code+Using+Language+Models.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Learning+to+Format+Coq+Code+Using+Language+Models.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2006.16743
https://bsky.app/intent/compose?text=%22Learning+to+Format+Coq+Code+Using+Language+Models.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2006.16743
Blueskyhttps://bsky.app/intent/compose?text=%22Learning+to+Format+Coq+Code+Using+Language+Models.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2006.16743
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2006.16743&title=%22Learning+to+Format+Coq+Code+Using+Language+Models.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2006.16743
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2006.16743&title=%22Learning+to+Format+Coq+Code+Using+Language+Models.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2006-16743https://dblp.org/rec/journals/corr/abs-2006-16743
Pengyu Niehttps://dblp.org/pid/223/2712-1.html
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
CoRR abs/2006.16743https://dblp.org/db/journals/corr/corr2006.html#journals/corr/abs-2006-16743
https://arxiv.org/abs/2010.02124
electronic edition @ arxiv.org (open access)https://arxiv.org/abs/2010.02124
details & citationshttps://dblp.org/rec/journals/corr/abs-2010-02124.html
https://dblp.org/rec/journals/corr/abs-2010-02124.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-2010-02124.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-2010-02124.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-2010-02124.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-2010-02124.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-2010-02124.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-2010-02124.xml
https://google.com/search?q=Specification+of+the+Giskard+Consensus+Protocol.
Googlehttps://google.com/search?q=Specification+of+the+Giskard+Consensus+Protocol.
Google Scholarhttps://scholar.google.com/scholar?q=Specification+of+the+Giskard+Consensus+Protocol.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Specification+of+the+Giskard+Consensus+Protocol.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Specification+of+the+Giskard+Consensus+Protocol.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Specification+of+the+Giskard+Consensus+Protocol.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A2010.02124
https://bsky.app/intent/compose?text=%22Specification+of+the+Giskard+Consensus+Protocol.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2010.02124
Blueskyhttps://bsky.app/intent/compose?text=%22Specification+of+the+Giskard+Consensus+Protocol.%22+at+%23dblp%0Ahttps%3A%2F%2Farxiv.org%2Fabs%2F2010.02124
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Farxiv.org%2Fabs%2F2010.02124&title=%22Specification+of+the+Giskard+Consensus+Protocol.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Farxiv.org%2Fabs%2F2010.02124
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Farxiv.org%2Fabs%2F2010.02124&title=%22Specification+of+the+Giskard+Consensus+Protocol.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-2010-02124https://dblp.org/rec/journals/corr/abs-2010-02124
Elaine Lihttps://dblp.org/pid/253/0659.html
Mircea Sebehttps://dblp.org/pid/276/0416.html
Grigore Rosuhttps://dblp.org/pid/r/GrigoreRosu.html
CoRR abs/2010.02124https://dblp.org/db/journals/corr/corr2010.html#journals/corr/abs-2010-02124
https://dblp.org/faq/
What is the meaning of the colors in the publication lists?https://dblp.org/faq/1474790
https://doi.org/10.1561/2500000045
electronic edition via DOIhttps://doi.org/10.1561/2500000045
unpaywalled versionhttps://unpaywall.org/10.1561%2F2500000045
details & citationshttps://dblp.org/rec/journals/ftpl/RingerPSGT19.html
https://api.crossref.org/works/10.1561%2F2500000045
https://api.openalex.org/works/doi:10.1561%2F2500000045
https://www.wikidata.org/entity/Q127307564
https://dblp.org/rec/journals/ftpl/RingerPSGT19.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/ftpl/RingerPSGT19.html?view=bibtex
RIShttps://dblp.org/rec/journals/ftpl/RingerPSGT19.ris
RDF N-Tripleshttps://dblp.org/rec/journals/ftpl/RingerPSGT19.nt
RDF Turtlehttps://dblp.org/rec/journals/ftpl/RingerPSGT19.ttl
RDF/XMLhttps://dblp.org/rec/journals/ftpl/RingerPSGT19.rdf
XMLhttps://dblp.org/rec/journals/ftpl/RingerPSGT19.xml
https://google.com/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Googlehttps://google.com/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Google Scholarhttps://scholar.google.com/scholar?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Semantic Scholarhttps://www.semanticscholar.org/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
Internet Archive Scholarhttps://scholar.archive.org/search?q=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1561%2F2500000045
https://bsky.app/intent/compose?text=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1561%2F2500000045
Blueskyhttps://bsky.app/intent/compose?text=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1561%2F2500000045
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1561%2F2500000045&title=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1561%2F2500000045
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1561%2F2500000045&title=%22QED+at+Large%3A+A+Survey+of+Engineering+of+Formally+Verified+Software.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/ftpl/RingerPSGT19https://dblp.org/rec/journals/ftpl/RingerPSGT19
Talia Ringerhttps://dblp.org/pid/187/8968.html
Ilya Sergeyhttps://dblp.org/pid/77/9770.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
Zachary Tatlockhttps://dblp.org/pid/24/2888.html
Found. Trends Program. Lang. 5(2-3)https://dblp.org/db/journals/ftpl/ftpl5.html#journals/ftpl/RingerPSGT19
https://doi.org/10.1007/978-3-030-21485-2_18
electronic edition via DOIhttps://doi.org/10.1007/978-3-030-21485-2_18
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-030-21485-2_18
details & citationshttps://dblp.org/rec/conf/birthday/CharalambidesPA19.html
https://api.crossref.org/works/10.1007%2F978-3-030-21485-2_18
https://api.openalex.org/works/doi:10.1007%2F978-3-030-21485-2_18
https://dblp.org/rec/conf/birthday/CharalambidesPA19.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/birthday/CharalambidesPA19.html?view=bibtex
RIShttps://dblp.org/rec/conf/birthday/CharalambidesPA19.ris
RDF N-Tripleshttps://dblp.org/rec/conf/birthday/CharalambidesPA19.nt
RDF Turtlehttps://dblp.org/rec/conf/birthday/CharalambidesPA19.ttl
RDF/XMLhttps://dblp.org/rec/conf/birthday/CharalambidesPA19.rdf
XMLhttps://dblp.org/rec/conf/birthday/CharalambidesPA19.xml
https://google.com/search?q=Types+for+Progress+in+Actor+Programs.
Googlehttps://google.com/search?q=Types+for+Progress+in+Actor+Programs.
Google Scholarhttps://scholar.google.com/scholar?q=Types+for+Progress+in+Actor+Programs.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Types+for+Progress+in+Actor+Programs.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Types+for+Progress+in+Actor+Programs.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Types+for+Progress+in+Actor+Programs.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-030-21485-2_18
https://bsky.app/intent/compose?text=%22Types+for+Progress+in+Actor+Programs.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-21485-2_18
Blueskyhttps://bsky.app/intent/compose?text=%22Types+for+Progress+in+Actor+Programs.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-21485-2_18
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-21485-2_18&title=%22Types+for+Progress+in+Actor+Programs.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-21485-2_18
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-21485-2_18&title=%22Types+for+Progress+in+Actor+Programs.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/birthday/CharalambidesPA19https://dblp.org/rec/conf/birthday/CharalambidesPA19
Minas Charalambideshttps://dblp.org/pid/25/7118.html
Gul Aghahttps://dblp.org/pid/a/GulAAgha.html
Models, Languages, and Tools for Concurrent and Distributed Programming 2019https://dblp.org/db/conf/birthday/denicola2019.html#conf/birthday/CharalambidesPA19
https://doi.org/10.1007/978-3-030-54994-7_27
electronic edition via DOIhttps://doi.org/10.1007/978-3-030-54994-7_27
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-030-54994-7_27
details & citationshttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.html
https://api.crossref.org/works/10.1007%2F978-3-030-54994-7_27
https://api.openalex.org/works/doi:10.1007%2F978-3-030-54994-7_27
https://dblp.org/rec/conf/fm/AlturkiCLMPPR19.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.html?view=bibtex
RIShttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.ris
RDF N-Tripleshttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.nt
RDF Turtlehttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.ttl
RDF/XMLhttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.rdf
XMLhttps://dblp.org/rec/conf/fm/AlturkiCLMPPR19.xml
https://google.com/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Googlehttps://google.com/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Google Scholarhttps://scholar.google.com/scholar?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-030-54994-7_27
https://bsky.app/intent/compose?text=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-54994-7_27
Blueskyhttps://bsky.app/intent/compose?text=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-54994-7_27
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-54994-7_27&title=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-54994-7_27
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-030-54994-7_27&title=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/fm/AlturkiCLMPPR19https://dblp.org/rec/conf/fm/AlturkiCLMPPR19
Musab A. Alturkihttps://dblp.org/pid/150/2827.html
Jing Chenhttps://dblp.org/pid/27/4364.html
Victor Luchangcohttps://dblp.org/pid/31/3102.html
Brandon M. Moorehttps://dblp.org/pid/27/9117.html
Lucas Peñahttps://dblp.org/pid/211/9186.html
Grigore Rosuhttps://dblp.org/pid/r/GrigoreRosu.html
FM Workshops (1) 2019https://dblp.org/db/conf/fm/fm2019w-1.html#conf/fm/AlturkiCLMPPR19
https://doi.org/10.23919/FMCAD.2019.8894248
electronic edition via DOIhttps://doi.org/10.23919/FMCAD.2019.8894248
unpaywalled versionhttps://unpaywall.org/10.23919%2FFMCAD.2019.8894248
details & citationshttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.html
https://api.crossref.org/works/10.23919%2FFMCAD.2019.8894248
https://api.openalex.org/works/doi:10.23919%2FFMCAD.2019.8894248
https://dblp.org/rec/conf/fmcad/KalimPMMGM19.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.html?view=bibtex
RIShttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.ris
RDF N-Tripleshttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.nt
RDF Turtlehttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.ttl
RDF/XMLhttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.rdf
XMLhttps://dblp.org/rec/conf/fmcad/KalimPMMGM19.xml
https://google.com/search?q=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
Googlehttps://google.com/search?q=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
Google Scholarhttps://scholar.google.com/scholar?q=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.23919%2FFMCAD.2019.8894248
https://bsky.app/intent/compose?text=%22Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.23919%2FFMCAD.2019.8894248
Blueskyhttps://bsky.app/intent/compose?text=%22Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.23919%2FFMCAD.2019.8894248
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.23919%2FFMCAD.2019.8894248&title=%22Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.23919%2FFMCAD.2019.8894248
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.23919%2FFMCAD.2019.8894248&title=%22Kaizen%3A+Building+a+Performant+Blockchain+System+Verified+for+Consensus+and+Integrity.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/fmcad/KalimPMMGM19https://dblp.org/rec/conf/fmcad/KalimPMMGM19
Faria Kalimhttps://dblp.org/pid/191/8141.html
Jayasi Meharhttps://dblp.org/pid/252/8531.html
Adithya Muralihttps://dblp.org/pid/234/8538.html
Indranil Guptahttps://dblp.org/pid/02/6135.html
P. Madhusudanhttps://dblp.org/pid/m/PMadhusudan.html
FMCAD 2019https://dblp.org/db/conf/fmcad/fmcad2019.html#conf/fmcad/KalimPMMGM19
https://doi.org/10.1109/ASE.2019.00057
electronic edition via DOIhttps://doi.org/10.1109/ASE.2019.00057
unpaywalled versionhttps://unpaywall.org/10.1109%2FASE.2019.00057
details & citationshttps://dblp.org/rec/conf/kbse/CelikPPAG19.html
https://api.crossref.org/works/10.1109%2FASE.2019.00057
https://api.openalex.org/works/doi:10.1109%2FASE.2019.00057
https://dblp.org/rec/conf/kbse/CelikPPAG19.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/kbse/CelikPPAG19.html?view=bibtex
RIShttps://dblp.org/rec/conf/kbse/CelikPPAG19.ris
RDF N-Tripleshttps://dblp.org/rec/conf/kbse/CelikPPAG19.nt
RDF Turtlehttps://dblp.org/rec/conf/kbse/CelikPPAG19.ttl
RDF/XMLhttps://dblp.org/rec/conf/kbse/CelikPPAG19.rdf
XMLhttps://dblp.org/rec/conf/kbse/CelikPPAG19.xml
https://google.com/search?q=Mutation+Analysis+for+Coq.
Googlehttps://google.com/search?q=Mutation+Analysis+for+Coq.
Google Scholarhttps://scholar.google.com/scholar?q=Mutation+Analysis+for+Coq.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Mutation+Analysis+for+Coq.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Mutation+Analysis+for+Coq.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Mutation+Analysis+for+Coq.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FASE.2019.00057
https://bsky.app/intent/compose?text=%22Mutation+Analysis+for+Coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FASE.2019.00057
Blueskyhttps://bsky.app/intent/compose?text=%22Mutation+Analysis+for+Coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FASE.2019.00057
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2019.00057&title=%22Mutation+Analysis+for+Coq.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2019.00057
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2019.00057&title=%22Mutation+Analysis+for+Coq.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/kbse/CelikPPAG19https://dblp.org/rec/conf/kbse/CelikPPAG19
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Marinela Parovichttps://dblp.org/pid/256/6178.html
Emilio Jesús Gallego Ariashttps://dblp.org/pid/74/4492.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ASE 2019https://dblp.org/db/conf/kbse/ase2019.html#conf/kbse/CelikPPAG19
http://arxiv.org/abs/1907.05523
electronic edition @ arxiv.org (open access)http://arxiv.org/abs/1907.05523
details & citationshttps://dblp.org/rec/journals/corr/abs-1907-05523.html
https://dblp.org/rec/journals/corr/abs-1907-05523.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-1907-05523.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-1907-05523.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-1907-05523.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-1907-05523.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-1907-05523.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-1907-05523.xml
https://google.com/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Googlehttps://google.com/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Google Scholarhttps://scholar.google.com/scholar?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A1907.05523
https://bsky.app/intent/compose?text=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22+at+%23dblp%0Ahttp%3A%2F%2Farxiv.org%2Fabs%2F1907.05523
Blueskyhttps://bsky.app/intent/compose?text=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22+at+%23dblp%0Ahttp%3A%2F%2Farxiv.org%2Fabs%2F1907.05523
Reddithttps://www.reddit.com/submit?url=http%3A%2F%2Farxiv.org%2Fabs%2F1907.05523&title=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=http%3A%2F%2Farxiv.org%2Fabs%2F1907.05523
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=http%3A%2F%2Farxiv.org%2Fabs%2F1907.05523&title=%22Towards+a+Verified+Model+of+the+Algorand+Consensus+Protocol+in+Coq.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-1907-05523https://dblp.org/rec/journals/corr/abs-1907-05523
Musab A. Alturkihttps://dblp.org/pid/150/2827.html
Jing Chenhttps://dblp.org/pid/27/4364.html
Victor Luchangcohttps://dblp.org/pid/31/3102.html
Brandon M. Moorehttps://dblp.org/pid/27/9117.html
Lucas Peñahttps://dblp.org/pid/211/9186.html
Grigore Rosuhttps://dblp.org/pid/r/GrigoreRosu.html
CoRR abs/1907.05523https://dblp.org/db/journals/corr/corr1907.html#journals/corr/abs-1907-05523
https://doi.org/10.1145/3158668
electronic edition via DOIhttps://doi.org/10.1145/3158668
unpaywalled versionhttps://unpaywall.org/10.1145%2F3158668
details & citationshttps://dblp.org/rec/journals/tomacs/AghaP18.html
https://api.crossref.org/works/10.1145%2F3158668
https://api.openalex.org/works/doi:10.1145%2F3158668
https://dblp.org/rec/journals/tomacs/AghaP18.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/tomacs/AghaP18.html?view=bibtex
RIShttps://dblp.org/rec/journals/tomacs/AghaP18.ris
RDF N-Tripleshttps://dblp.org/rec/journals/tomacs/AghaP18.nt
RDF Turtlehttps://dblp.org/rec/journals/tomacs/AghaP18.ttl
RDF/XMLhttps://dblp.org/rec/journals/tomacs/AghaP18.rdf
XMLhttps://dblp.org/rec/journals/tomacs/AghaP18.xml
https://google.com/search?q=A+Survey+of+Statistical+Model+Checking.
Googlehttps://google.com/search?q=A+Survey+of+Statistical+Model+Checking.
Google Scholarhttps://scholar.google.com/scholar?q=A+Survey+of+Statistical+Model+Checking.
Semantic Scholarhttps://www.semanticscholar.org/search?q=A+Survey+of+Statistical+Model+Checking.
Internet Archive Scholarhttps://scholar.archive.org/search?q=A+Survey+of+Statistical+Model+Checking.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=A+Survey+of+Statistical+Model+Checking.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F3158668
https://bsky.app/intent/compose?text=%22A+Survey+of+Statistical+Model+Checking.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3158668
Blueskyhttps://bsky.app/intent/compose?text=%22A+Survey+of+Statistical+Model+Checking.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3158668
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3158668&title=%22A+Survey+of+Statistical+Model+Checking.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3158668
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F3158668&title=%22A+Survey+of+Statistical+Model+Checking.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/tomacs/AghaP18https://dblp.org/rec/journals/tomacs/AghaP18
Gul Aghahttps://dblp.org/pid/a/GulAAgha.html
ACM Trans. Model. Comput. Simul. 28(1)https://dblp.org/db/journals/tomacs/tomacs28.html#journals/tomacs/AghaP18
https://doi.org/10.1007/978-3-319-95246-8_2
electronic edition via DOIhttps://doi.org/10.1007/978-3-319-95246-8_2
unpaywalled versionhttps://unpaywall.org/10.1007%2F978-3-319-95246-8_2
details & citationshttps://dblp.org/rec/conf/birthday/AghaP18.html
https://api.crossref.org/works/10.1007%2F978-3-319-95246-8_2
https://api.openalex.org/works/doi:10.1007%2F978-3-319-95246-8_2
https://dblp.org/rec/conf/birthday/AghaP18.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/birthday/AghaP18.html?view=bibtex
RIShttps://dblp.org/rec/conf/birthday/AghaP18.ris
RDF N-Tripleshttps://dblp.org/rec/conf/birthday/AghaP18.nt
RDF Turtlehttps://dblp.org/rec/conf/birthday/AghaP18.ttl
RDF/XMLhttps://dblp.org/rec/conf/birthday/AghaP18.rdf
XMLhttps://dblp.org/rec/conf/birthday/AghaP18.xml
https://google.com/search?q=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
Googlehttps://google.com/search?q=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
Google Scholarhttps://scholar.google.com/scholar?q=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2F978-3-319-95246-8_2
https://bsky.app/intent/compose?text=%22Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-319-95246-8_2
Blueskyhttps://bsky.app/intent/compose?text=%22Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2F978-3-319-95246-8_2
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-319-95246-8_2&title=%22Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-319-95246-8_2
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2F978-3-319-95246-8_2&title=%22Transforming+Threads+into+Actors%3A+Learning+Concurrency+Structure+from+Execution+Traces.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/birthday/AghaP18https://dblp.org/rec/conf/birthday/AghaP18
Gul Aghahttps://dblp.org/pid/a/GulAAgha.html
Principles of Modeling 2018https://dblp.org/db/conf/birthday/Lee2018.html#conf/birthday/AghaP18
https://doi.org/10.1145/3183440.3183493
electronic edition via DOIhttps://doi.org/10.1145/3183440.3183493
electronic edition @ ieee.orghttps://ieeexplore.ieee.org/document/8449459
unpaywalled versionhttps://unpaywall.org/10.1145%2F3183440.3183493
details & citationshttps://dblp.org/rec/conf/icse/CelikPG18.html
https://api.crossref.org/works/10.1145%2F3183440.3183493
https://api.openalex.org/works/doi:10.1145%2F3183440.3183493
https://dblp.org/rec/conf/icse/CelikPG18.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/icse/CelikPG18.html?view=bibtex
RIShttps://dblp.org/rec/conf/icse/CelikPG18.ris
RDF N-Tripleshttps://dblp.org/rec/conf/icse/CelikPG18.nt
RDF Turtlehttps://dblp.org/rec/conf/icse/CelikPG18.ttl
RDF/XMLhttps://dblp.org/rec/conf/icse/CelikPG18.rdf
XMLhttps://dblp.org/rec/conf/icse/CelikPG18.xml
https://google.com/search?q=A+regression+proof+selection+tool+for+coq.
Googlehttps://google.com/search?q=A+regression+proof+selection+tool+for+coq.
Google Scholarhttps://scholar.google.com/scholar?q=A+regression+proof+selection+tool+for+coq.
Semantic Scholarhttps://www.semanticscholar.org/search?q=A+regression+proof+selection+tool+for+coq.
Internet Archive Scholarhttps://scholar.archive.org/search?q=A+regression+proof+selection+tool+for+coq.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=A+regression+proof+selection+tool+for+coq.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F3183440.3183493
https://bsky.app/intent/compose?text=%22A+regression+proof+selection+tool+for+coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3183440.3183493
Blueskyhttps://bsky.app/intent/compose?text=%22A+regression+proof+selection+tool+for+coq.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3183440.3183493
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3183440.3183493&title=%22A+regression+proof+selection+tool+for+coq.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3183440.3183493
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F3183440.3183493&title=%22A+regression+proof+selection+tool+for+coq.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/icse/CelikPG18https://dblp.org/rec/conf/icse/CelikPG18
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ICSE (Companion Volume) 2018https://dblp.org/db/conf/icse/icse2018c.html#conf/icse/CelikPG18
https://doi.org/10.1145/3213846.3213877
electronic edition via DOIhttps://doi.org/10.1145/3213846.3213877
unpaywalled versionhttps://unpaywall.org/10.1145%2F3213846.3213877
details & citationshttps://dblp.org/rec/conf/issta/PalmskogCG18.html
https://api.crossref.org/works/10.1145%2F3213846.3213877
https://api.openalex.org/works/doi:10.1145%2F3213846.3213877
https://dblp.org/rec/conf/issta/PalmskogCG18.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/issta/PalmskogCG18.html?view=bibtex
RIShttps://dblp.org/rec/conf/issta/PalmskogCG18.ris
RDF N-Tripleshttps://dblp.org/rec/conf/issta/PalmskogCG18.nt
RDF Turtlehttps://dblp.org/rec/conf/issta/PalmskogCG18.ttl
RDF/XMLhttps://dblp.org/rec/conf/issta/PalmskogCG18.rdf
XMLhttps://dblp.org/rec/conf/issta/PalmskogCG18.xml
https://google.com/search?q=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
Googlehttps://google.com/search?q=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
Google Scholarhttps://scholar.google.com/scholar?q=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
Semantic Scholarhttps://www.semanticscholar.org/search?q=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
Internet Archive Scholarhttps://scholar.archive.org/search?q=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F3213846.3213877
https://bsky.app/intent/compose?text=%22piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3213846.3213877
Blueskyhttps://bsky.app/intent/compose?text=%22piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F3213846.3213877
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3213846.3213877&title=%22piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F3213846.3213877
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F3213846.3213877&title=%22piCoq%3A+parallel+regression+proving+for+large-scale+verification+projects.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/issta/PalmskogCG18https://dblp.org/rec/conf/issta/PalmskogCG18
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ISSTA 2018https://dblp.org/db/conf/issta/issta2018.html#conf/issta/PalmskogCG18
https://doi.org/10.1109/ASE.2017.8115630
electronic edition via DOIhttps://doi.org/10.1109/ASE.2017.8115630
electronic edition @ ieeecomputersociety.orghttps://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115630
electronic edition @ acm.orghttp://dl.acm.org/citation.cfm?id=3155588
unpaywalled versionhttps://unpaywall.org/10.1109%2FASE.2017.8115630
details & citationshttps://dblp.org/rec/conf/kbse/CelikPG17.html
https://api.crossref.org/works/10.1109%2FASE.2017.8115630
https://api.openalex.org/works/doi:10.1109%2FASE.2017.8115630
https://dblp.org/rec/conf/kbse/CelikPG17.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/kbse/CelikPG17.html?view=bibtex
RIShttps://dblp.org/rec/conf/kbse/CelikPG17.ris
RDF N-Tripleshttps://dblp.org/rec/conf/kbse/CelikPG17.nt
RDF Turtlehttps://dblp.org/rec/conf/kbse/CelikPG17.ttl
RDF/XMLhttps://dblp.org/rec/conf/kbse/CelikPG17.rdf
XMLhttps://dblp.org/rec/conf/kbse/CelikPG17.xml
https://google.com/search?q=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
Googlehttps://google.com/search?q=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
Google Scholarhttps://scholar.google.com/scholar?q=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
Semantic Scholarhttps://www.semanticscholar.org/search?q=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
Internet Archive Scholarhttps://scholar.archive.org/search?q=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FASE.2017.8115630
https://bsky.app/intent/compose?text=%22iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FASE.2017.8115630
Blueskyhttps://bsky.app/intent/compose?text=%22iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FASE.2017.8115630
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2017.8115630&title=%22iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2017.8115630
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FASE.2017.8115630&title=%22iCoq%3A+regression+proof+selection+for+large-scale+verification+projects.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/kbse/CelikPG17https://dblp.org/rec/conf/kbse/CelikPG17
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
Milos Gligorichttps://dblp.org/pid/43/6015.html
ASE 2017https://dblp.org/db/conf/kbse/ase2017.html#conf/kbse/CelikPG17
http://arxiv.org/abs/1712.10056
electronic edition @ arxiv.org (open access)http://arxiv.org/abs/1712.10056
details & citationshttps://dblp.org/rec/journals/corr/abs-1712-10056.html
https://dblp.org/rec/journals/corr/abs-1712-10056.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/abs-1712-10056.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/abs-1712-10056.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/abs-1712-10056.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/abs-1712-10056.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/abs-1712-10056.rdf
XMLhttps://dblp.org/rec/journals/corr/abs-1712-10056.xml
https://google.com/search?q=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
Googlehttps://google.com/search?q=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
Google Scholarhttps://scholar.google.com/scholar?q=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Inferring+Formal+Properties+of+Production+Key-Value+Stores.
PubPeerhttps://www.pubpeer.com/search?q=arxiv%3A1712.10056
https://bsky.app/intent/compose?text=%22Inferring+Formal+Properties+of+Production+Key-Value+Stores.%22+at+%23dblp%0Ahttp%3A%2F%2Farxiv.org%2Fabs%2F1712.10056
Blueskyhttps://bsky.app/intent/compose?text=%22Inferring+Formal+Properties+of+Production+Key-Value+Stores.%22+at+%23dblp%0Ahttp%3A%2F%2Farxiv.org%2Fabs%2F1712.10056
Reddithttps://www.reddit.com/submit?url=http%3A%2F%2Farxiv.org%2Fabs%2F1712.10056&title=%22Inferring+Formal+Properties+of+Production+Key-Value+Stores.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=http%3A%2F%2Farxiv.org%2Fabs%2F1712.10056
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=http%3A%2F%2Farxiv.org%2Fabs%2F1712.10056&title=%22Inferring+Formal+Properties+of+Production+Key-Value+Stores.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/abs-1712-10056https://dblp.org/rec/journals/corr/abs-1712-10056
Edgar Pekhttps://dblp.org/pid/76/4671.html
Pranav Garghttps://dblp.org/pid/57/9299-1.html
Muntasir Raihan Rahmanhttps://dblp.org/pid/53/7891.html
Indranil Guptahttps://dblp.org/pid/02/6135.html
P. Madhusudanhttps://dblp.org/pid/m/PMadhusudan.html
CoRR abs/1712.10056https://dblp.org/db/journals/corr/corr1712.html#journals/corr/abs-1712-10056
https://doi.org/10.1145/2830719.2830730
electronic edition via DOIhttps://doi.org/10.1145/2830719.2830730
unpaywalled versionhttps://unpaywall.org/10.1145%2F2830719.2830730
details & citationshttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.html
https://api.crossref.org/works/10.1145%2F2830719.2830730
https://api.openalex.org/works/doi:10.1145%2F2830719.2830730
https://dblp.org/rec/journals/sigsoft/PalmskogHM15.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.html?view=bibtex
RIShttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.ris
RDF N-Tripleshttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.nt
RDF Turtlehttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.ttl
RDF/XMLhttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.rdf
XMLhttps://dblp.org/rec/journals/sigsoft/PalmskogHM15.xml
https://google.com/search?q=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
Googlehttps://google.com/search?q=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
Google Scholarhttps://scholar.google.com/scholar?q=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
Semantic Scholarhttps://www.semanticscholar.org/search?q=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
Internet Archive Scholarhttps://scholar.archive.org/search?q=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F2830719.2830730
https://bsky.app/intent/compose?text=%22A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F2830719.2830730
Blueskyhttps://bsky.app/intent/compose?text=%22A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F2830719.2830730
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F2830719.2830730&title=%22A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F2830719.2830730
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F2830719.2830730&title=%22A+Case+Study+on+Executing+Instrumented+Code+in+Java+PathFinder.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/sigsoft/PalmskogHM15https://dblp.org/rec/journals/sigsoft/PalmskogHM15
Farah Haririhttps://dblp.org/pid/153/5340.html
Darko Marinovhttps://dblp.org/pid/48/3911.html
ACM SIGSOFT Softw. Eng. Notes 40(6)https://dblp.org/db/journals/sigsoft/sigsoft40.html#journals/sigsoft/PalmskogHM15
https://doi.org/10.1007/s11761-014-0173-7
electronic edition via DOIhttps://doi.org/10.1007/s11761-014-0173-7
unpaywalled versionhttps://unpaywall.org/10.1007%2FS11761-014-0173-7
details & citationshttps://dblp.org/rec/journals/soca/DamP15.html
https://api.crossref.org/works/10.1007%2FS11761-014-0173-7
https://api.openalex.org/works/doi:10.1007%2FS11761-014-0173-7
https://dblp.org/rec/journals/soca/DamP15.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/soca/DamP15.html?view=bibtex
RIShttps://dblp.org/rec/journals/soca/DamP15.ris
RDF N-Tripleshttps://dblp.org/rec/journals/soca/DamP15.nt
RDF Turtlehttps://dblp.org/rec/journals/soca/DamP15.ttl
RDF/XMLhttps://dblp.org/rec/journals/soca/DamP15.rdf
XMLhttps://dblp.org/rec/journals/soca/DamP15.xml
https://google.com/search?q=Location-independent+routing+in+process+network+overlays.
Googlehttps://google.com/search?q=Location-independent+routing+in+process+network+overlays.
Google Scholarhttps://scholar.google.com/scholar?q=Location-independent+routing+in+process+network+overlays.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Location-independent+routing+in+process+network+overlays.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Location-independent+routing+in+process+network+overlays.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Location-independent+routing+in+process+network+overlays.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1007%2FS11761-014-0173-7
https://bsky.app/intent/compose?text=%22Location-independent+routing+in+process+network+overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2Fs11761-014-0173-7
Blueskyhttps://bsky.app/intent/compose?text=%22Location-independent+routing+in+process+network+overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1007%2Fs11761-014-0173-7
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs11761-014-0173-7&title=%22Location-independent+routing+in+process+network+overlays.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs11761-014-0173-7
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1007%2Fs11761-014-0173-7&title=%22Location-independent+routing+in+process+network+overlays.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/soca/DamP15https://dblp.org/rec/journals/soca/DamP15
Mads Damhttps://dblp.org/pid/d/MadsDam.html
Serv. Oriented Comput. Appl. 9(3-4)https://dblp.org/db/journals/soca/soca9.html#journals/soca/DamP15
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-152247
electronic edition @ kb.sehttps://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-152247
details & citationshttps://dblp.org/rec/phd/se/Palmskog14.html
https://www.base-search.net/Record/d8e9a3128be12b0f513f2c94dac5cfdb8a942d26e829ced9e4766ff04bbac1d3
https://dblp.org/rec/phd/se/Palmskog14.html?view=bibtex
BibTeXhttps://dblp.org/rec/phd/se/Palmskog14.html?view=bibtex
RIShttps://dblp.org/rec/phd/se/Palmskog14.ris
RDF N-Tripleshttps://dblp.org/rec/phd/se/Palmskog14.nt
RDF Turtlehttps://dblp.org/rec/phd/se/Palmskog14.ttl
RDF/XMLhttps://dblp.org/rec/phd/se/Palmskog14.rdf
XMLhttps://dblp.org/rec/phd/se/Palmskog14.xml
https://google.com/search?q=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
Googlehttps://google.com/search?q=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
Google Scholarhttps://scholar.google.com/scholar?q=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.
PubPeerhttps://www.pubpeer.com/search?q=title%3A%28Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.%29
https://bsky.app/intent/compose?text=%22Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+...%22+at+%23dblp%0Ahttps%3A%2F%2Furn.kb.se%2Fresolve%3Furn%3Durn%3Anbn%3Ase%3Akth%3Adiva-152247
Blueskyhttps://bsky.app/intent/compose?text=%22Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+...%22+at+%23dblp%0Ahttps%3A%2F%2Furn.kb.se%2Fresolve%3Furn%3Durn%3Anbn%3Ase%3Akth%3Adiva-152247
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Furn.kb.se%2Fresolve%3Furn%3Durn%3Anbn%3Ase%3Akth%3Adiva-152247&title=%22Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Furn.kb.se%2Fresolve%3Furn%3Durn%3Anbn%3Ase%3Akth%3Adiva-152247
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Furn.kb.se%2Fresolve%3Furn%3Durn%3Anbn%3Ase%3Akth%3Adiva-152247&title=%22Towards+Correct+and+Efficient+Program+Execution+in+Decentralized+Networks%3A+Programming+Languages%2C+Semantics%2C+and+Resource+Management.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/phd/se/Palmskog14https://dblp.org/rec/phd/se/Palmskog14
https://doi.org/10.1109/PDP.2014.30
electronic edition via DOIhttps://doi.org/10.1109/PDP.2014.30
electronic edition @ ieeecomputersociety.orghttps://doi.ieeecomputersociety.org/10.1109/PDP.2014.30
unpaywalled versionhttps://unpaywall.org/10.1109%2FPDP.2014.30
details & citationshttps://dblp.org/rec/conf/pdp/DamP14.html
https://api.crossref.org/works/10.1109%2FPDP.2014.30
https://api.openalex.org/works/doi:10.1109%2FPDP.2014.30
https://dblp.org/rec/conf/pdp/DamP14.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/pdp/DamP14.html?view=bibtex
RIShttps://dblp.org/rec/conf/pdp/DamP14.ris
RDF N-Tripleshttps://dblp.org/rec/conf/pdp/DamP14.nt
RDF Turtlehttps://dblp.org/rec/conf/pdp/DamP14.ttl
RDF/XMLhttps://dblp.org/rec/conf/pdp/DamP14.rdf
XMLhttps://dblp.org/rec/conf/pdp/DamP14.xml
https://google.com/search?q=Location+Independent+Routing+in+Process+Network+Overlays.
Googlehttps://google.com/search?q=Location+Independent+Routing+in+Process+Network+Overlays.
Google Scholarhttps://scholar.google.com/scholar?q=Location+Independent+Routing+in+Process+Network+Overlays.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Location+Independent+Routing+in+Process+Network+Overlays.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Location+Independent+Routing+in+Process+Network+Overlays.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Location+Independent+Routing+in+Process+Network+Overlays.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FPDP.2014.30
https://bsky.app/intent/compose?text=%22Location+Independent+Routing+in+Process+Network+Overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FPDP.2014.30
Blueskyhttps://bsky.app/intent/compose?text=%22Location+Independent+Routing+in+Process+Network+Overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FPDP.2014.30
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FPDP.2014.30&title=%22Location+Independent+Routing+in+Process+Network+Overlays.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FPDP.2014.30
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FPDP.2014.30&title=%22Location+Independent+Routing+in+Process+Network+Overlays.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/pdp/DamP14https://dblp.org/rec/conf/pdp/DamP14
Mads Damhttps://dblp.org/pid/d/MadsDam.html
PDP 2014https://dblp.org/db/conf/pdp/pdp2014.html#conf/pdp/DamP14
https://doi.org/10.1145/2541329.2541340
electronic edition via DOIhttps://doi.org/10.1145/2541329.2541340
unpaywalled versionhttps://unpaywall.org/10.1145%2F2541329.2541340
details & citationshttps://dblp.org/rec/conf/agere/DamP13.html
https://api.crossref.org/works/10.1145%2F2541329.2541340
https://api.openalex.org/works/doi:10.1145%2F2541329.2541340
https://dblp.org/rec/conf/agere/DamP13.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/agere/DamP13.html?view=bibtex
RIShttps://dblp.org/rec/conf/agere/DamP13.ris
RDF N-Tripleshttps://dblp.org/rec/conf/agere/DamP13.nt
RDF Turtlehttps://dblp.org/rec/conf/agere/DamP13.ttl
RDF/XMLhttps://dblp.org/rec/conf/agere/DamP13.rdf
XMLhttps://dblp.org/rec/conf/agere/DamP13.xml
https://google.com/search?q=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
Googlehttps://google.com/search?q=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
Google Scholarhttps://scholar.google.com/scholar?q=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1145%2F2541329.2541340
https://bsky.app/intent/compose?text=%22Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F2541329.2541340
Blueskyhttps://bsky.app/intent/compose?text=%22Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1145%2F2541329.2541340
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1145%2F2541329.2541340&title=%22Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1145%2F2541329.2541340
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1145%2F2541329.2541340&title=%22Efficient+and+fully+abstract+routing+of+futures+in+object+network+overlays.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/agere/DamP13https://dblp.org/rec/conf/agere/DamP13
Mads Damhttps://dblp.org/pid/d/MadsDam.html
AGERE!@SPLASH 2013https://dblp.org/db/conf/agere/agere2013.html#conf/agere/DamP13
https://doi.org/10.4204/EPTCS.131.8
electronic edition via DOI (open access)https://doi.org/10.4204/EPTCS.131.8
electronic edition @ arxiv.org (open access)http://arxiv.org/abs/1310.4575
details & citationshttps://dblp.org/rec/journals/corr/PalmskogDLJ13.html
https://api.crossref.org/works/10.4204%2FEPTCS.131.8
https://api.openalex.org/works/doi:10.4204%2FEPTCS.131.8
https://dblp.org/rec/journals/corr/PalmskogDLJ13.html?view=bibtex
BibTeXhttps://dblp.org/rec/journals/corr/PalmskogDLJ13.html?view=bibtex
RIShttps://dblp.org/rec/journals/corr/PalmskogDLJ13.ris
RDF N-Tripleshttps://dblp.org/rec/journals/corr/PalmskogDLJ13.nt
RDF Turtlehttps://dblp.org/rec/journals/corr/PalmskogDLJ13.ttl
RDF/XMLhttps://dblp.org/rec/journals/corr/PalmskogDLJ13.rdf
XMLhttps://dblp.org/rec/journals/corr/PalmskogDLJ13.xml
https://google.com/search?q=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
Googlehttps://google.com/search?q=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
Google Scholarhttps://scholar.google.com/scholar?q=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
Semantic Scholarhttps://www.semanticscholar.org/search?q=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
Internet Archive Scholarhttps://scholar.archive.org/search?q=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.4204%2FEPTCS.131.8
https://bsky.app/intent/compose?text=%22ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.4204%2FEPTCS.131.8
Blueskyhttps://bsky.app/intent/compose?text=%22ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.4204%2FEPTCS.131.8
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.4204%2FEPTCS.131.8&title=%22ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.4204%2FEPTCS.131.8
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.4204%2FEPTCS.131.8&title=%22ABS-NET%3A+Fully+Decentralized+Runtime+Adaptation+for+Distributed+Objects.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/journals/corr/PalmskogDLJ13https://dblp.org/rec/journals/corr/PalmskogDLJ13
Mads Damhttps://dblp.org/pid/d/MadsDam.html
Andreas Lundbladhttps://dblp.org/pid/73/7248.html
Ali Jafarihttps://dblp.org/pid/45/3593.html
ICE 2013https://dblp.org/db/series/eptcs/eptcs131.html#series/eptcs/PalmskogDLJ13
https://doi.org/10.1109/ICC.2012.6364049
electronic edition via DOIhttps://doi.org/10.1109/ICC.2012.6364049
unpaywalled versionhttps://unpaywall.org/10.1109%2FICC.2012.6364049
details & citationshttps://dblp.org/rec/conf/icc/JonssonPV12.html
https://api.crossref.org/works/10.1109%2FICC.2012.6364049
https://api.openalex.org/works/doi:10.1109%2FICC.2012.6364049
https://dblp.org/rec/conf/icc/JonssonPV12.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/icc/JonssonPV12.html?view=bibtex
RIShttps://dblp.org/rec/conf/icc/JonssonPV12.ris
RDF N-Tripleshttps://dblp.org/rec/conf/icc/JonssonPV12.nt
RDF Turtlehttps://dblp.org/rec/conf/icc/JonssonPV12.ttl
RDF/XMLhttps://dblp.org/rec/conf/icc/JonssonPV12.rdf
XMLhttps://dblp.org/rec/conf/icc/JonssonPV12.xml
https://google.com/search?q=Secure+distributed+top-k+aggregation.
Googlehttps://google.com/search?q=Secure+distributed+top-k+aggregation.
Google Scholarhttps://scholar.google.com/scholar?q=Secure+distributed+top-k+aggregation.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Secure+distributed+top-k+aggregation.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Secure+distributed+top-k+aggregation.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Secure+distributed+top-k+aggregation.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FICC.2012.6364049
https://bsky.app/intent/compose?text=%22Secure+distributed+top-k+aggregation.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FICC.2012.6364049
Blueskyhttps://bsky.app/intent/compose?text=%22Secure+distributed+top-k+aggregation.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FICC.2012.6364049
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FICC.2012.6364049&title=%22Secure+distributed+top-k+aggregation.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FICC.2012.6364049
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FICC.2012.6364049&title=%22Secure+distributed+top-k+aggregation.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/icc/JonssonPV12https://dblp.org/rec/conf/icc/JonssonPV12
Kristján Valur Jónssonhttps://dblp.org/pid/83/3294.html
Ymir Vigfussonhttps://dblp.org/pid/31/1161.html
ICC 2012https://dblp.org/db/conf/icc/icc2012.html#conf/icc/JonssonPV12
https://dblp.org/faq/
What is the meaning of the colors in the publication lists?https://dblp.org/faq/1474790
https://doi.org/10.1109/ECUMN.2007.47
electronic edition via DOIhttps://doi.org/10.1109/ECUMN.2007.47
electronic edition @ ieeecomputersociety.orghttps://doi.ieeecomputersociety.org/10.1109/ECUMN.2007.47
unpaywalled versionhttps://unpaywall.org/10.1109%2FECUMN.2007.47
details & citationshttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.html
https://api.crossref.org/works/10.1109%2FECUMN.2007.47
https://api.openalex.org/works/doi:10.1109%2FECUMN.2007.47
https://dblp.org/rec/conf/ecumn/IsmailovPWAW07.html?view=bibtex
BibTeXhttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.html?view=bibtex
RIShttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.ris
RDF N-Tripleshttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.nt
RDF Turtlehttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.ttl
RDF/XMLhttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.rdf
XMLhttps://dblp.org/rec/conf/ecumn/IsmailovPWAW07.xml
https://google.com/search?q=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
Googlehttps://google.com/search?q=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
Google Scholarhttps://scholar.google.com/scholar?q=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
Semantic Scholarhttps://www.semanticscholar.org/search?q=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
Internet Archive Scholarhttps://scholar.archive.org/search?q=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
CiteSeerXhttps://citeseerx.ist.psu.edu/search_result?query=Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.
PubPeerhttps://www.pubpeer.com/search?q=doi%3A10.1109%2FECUMN.2007.47
https://bsky.app/intent/compose?text=%22Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FECUMN.2007.47
Blueskyhttps://bsky.app/intent/compose?text=%22Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.%22+at+%23dblp%0Ahttps%3A%2F%2Fdoi.org%2F10.1109%2FECUMN.2007.47
Reddithttps://www.reddit.com/submit?url=https%3A%2F%2Fdoi.org%2F10.1109%2FECUMN.2007.47&title=%22Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.%22
BibSonomyhttps://www.bibsonomy.org/editPublication?url=https%3A%2F%2Fdoi.org%2F10.1109%2FECUMN.2007.47
LinkedInhttps://www.linkedin.com/shareArticle?mini=true&url=https%3A%2F%2Fdoi.org%2F10.1109%2FECUMN.2007.47&title=%22Session+Layer+Resurgence%3A+Towards+Mobile%2C+Disconnection-+and+Delay-Tolerant+Communication.%22&source=dblp+computer+science+bibliography
https://dblp.org/rec/conf/ecumn/IsmailovPWAW07https://dblp.org/rec/conf/ecumn/IsmailovPWAW07
Yuri Ismailovhttps://dblp.org/pid/57/2008.html
Micael Widellhttps://dblp.org/pid/08/3698.html
Petter Arvidssonhttps://dblp.org/pid/38/2605.html
YaoShuang Wanghttps://dblp.org/pid/75/6520.html
ECUMN 2007https://dblp.org/db/conf/ecumn/ecumn2007.html#conf/ecumn/IsmailovPWAW07
https://dblp.org/faq/
What is the meaning of the colors in the coauthor index?https://dblp.org/faq/1474792
How does dblp detect coauthor communities?https://dblp.org/faq/8388649
1https://dblp.org/pid/54/6008.html?view=joint¶m=1
https://dblp.org/pid/54/6008.html?view=group¶m=1
Gul A. Aghahttps://dblp.org/pid/a/GulAAgha.html
[c13]https://dblp.org/pers/hd/p/Palmskog:Karl#c13
[j3]https://dblp.org/pers/hd/p/Palmskog:Karl#j3
[c9]https://dblp.org/pers/hd/p/Palmskog:Karl#c9
2https://dblp.org/pid/54/6008.html?view=joint¶m=2
https://dblp.org/pid/54/6008.html?view=group¶m=2
Anoud Alshnakathttps://dblp.org/pid/280/7165.html
[c19]https://dblp.org/pers/hd/p/Palmskog:Karl#c19
3https://dblp.org/pid/54/6008.html?view=joint¶m=3
https://dblp.org/pid/54/6008.html?view=group¶m=1
Musab AlTurkihttps://dblp.org/pid/150/2827.html
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
4https://dblp.org/pid/54/6008.html?view=joint¶m=4
https://dblp.org/pid/54/6008.html?view=group¶m=2
Jesper Amilonhttps://dblp.org/pid/331/5640.html
[c21]https://dblp.org/pers/hd/p/Palmskog:Karl#c21
5https://dblp.org/pid/54/6008.html?view=joint¶m=5
https://dblp.org/pid/54/6008.html?view=group¶m=1
Emilio Jesús Gallego Ariashttps://dblp.org/pid/74/4492.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
[c15]https://dblp.org/pers/hd/p/Palmskog:Karl#c15
[c10]https://dblp.org/pers/hd/p/Palmskog:Karl#c10
6https://dblp.org/pid/54/6008.html?view=joint¶m=6
https://dblp.org/pid/54/6008.html?view=group¶m=1
Annalí Casanueva Artíshttps://dblp.org/pid/254/7673.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
7https://dblp.org/pid/54/6008.html?view=joint¶m=7
https://dblp.org/pid/54/6008.html?view=group¶m=3
Petter Arvidssonhttps://dblp.org/pid/38/2605.html
[c1]https://dblp.org/pers/hd/p/Palmskog:Karl#c1
8https://dblp.org/pid/54/6008.html?view=joint¶m=8
https://dblp.org/pid/54/6008.html?view=group¶m=1
Ana de Almeida Borgeshttps://dblp.org/pid/228/6752.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
9https://dblp.org/pid/54/6008.html?view=joint¶m=9
https://dblp.org/pid/54/6008.html?view=group¶m=1
Mihai Calanceahttps://dblp.org/pid/314/6920.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
10https://dblp.org/pid/54/6008.html?view=joint¶m=10
https://dblp.org/pid/54/6008.html?view=group¶m=1
Ahmet Çelikhttps://dblp.org/pid/15/1842.html
[c15]https://dblp.org/pers/hd/p/Palmskog:Karl#c15
[c14]https://dblp.org/pers/hd/p/Palmskog:Karl#c14
[c10]https://dblp.org/pers/hd/p/Palmskog:Karl#c10
[c8]https://dblp.org/pers/hd/p/Palmskog:Karl#c8
[c7]https://dblp.org/pers/hd/p/Palmskog:Karl#c7
[c6]https://dblp.org/pers/hd/p/Palmskog:Karl#c6
11https://dblp.org/pid/54/6008.html?view=joint¶m=11
https://dblp.org/pid/54/6008.html?view=group¶m=1
Minas Charalambideshttps://dblp.org/pid/25/7118.html
[c13]https://dblp.org/pers/hd/p/Palmskog:Karl#c13
12https://dblp.org/pid/54/6008.html?view=joint¶m=12
https://dblp.org/pid/54/6008.html?view=group¶m=1
Jing Chenhttps://dblp.org/pid/27/4364.html
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
13https://dblp.org/pid/54/6008.html?view=joint¶m=13
https://dblp.org/pid/54/6008.html?view=group¶m=2
Scott Constablehttps://dblp.org/pid/303/0434.html
[c23]https://dblp.org/pers/hd/p/Palmskog:Karl#c23
[i10]https://dblp.org/pers/hd/p/Palmskog:Karl#i10
14https://dblp.org/pid/54/6008.html?view=joint¶m=14
https://dblp.org/pid/54/6008.html?view=group¶m=2
Mads Damhttps://dblp.org/pid/d/MadsDam.html
[c23]https://dblp.org/pers/hd/p/Palmskog:Karl#c23
[c19]https://dblp.org/pers/hd/p/Palmskog:Karl#c19
[c18]https://dblp.org/pers/hd/p/Palmskog:Karl#c18
[j1]https://dblp.org/pers/hd/p/Palmskog:Karl#j1
[c5]https://dblp.org/pers/hd/p/Palmskog:Karl#c5
[c4]https://dblp.org/pers/hd/p/Palmskog:Karl#c4
[c3]https://dblp.org/pers/hd/p/Palmskog:Karl#c3
15https://dblp.org/pid/54/6008.html?view=joint¶m=15
https://dblp.org/pid/54/6008.html?view=group¶m=1
Denisa Diaconescuhttps://dblp.org/pid/63/719.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
16https://dblp.org/pid/54/6008.html?view=joint¶m=16
https://dblp.org/pid/54/6008.html?view=group¶m=2
Ning Donghttps://dblp.org/pid/31/3173.html
[c18]https://dblp.org/pers/hd/p/Palmskog:Karl#c18
17https://dblp.org/pid/54/6008.html?view=joint¶m=17
https://dblp.org/pid/54/6008.html?view=group¶m=1
Jean-Rémy Fallerihttps://dblp.org/pid/39/1255.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
18https://dblp.org/pid/54/6008.html?view=joint¶m=18
https://dblp.org/pid/54/6008.html?view=group¶m=1
Pranav Garg 0001https://dblp.org/pid/57/9299-1.html
[i1]https://dblp.org/pers/hd/p/Palmskog:Karl#i1
19https://dblp.org/pid/54/6008.html?view=joint¶m=19
https://dblp.org/pid/54/6008.html?view=group¶m=1
Milos Gligoric 0001https://dblp.org/pid/43/6015.html
[c17]https://dblp.org/pers/hd/p/Palmskog:Karl#c17
[i7]https://dblp.org/pers/hd/p/Palmskog:Karl#i7
[c16]https://dblp.org/pers/hd/p/Palmskog:Karl#c16
[c15]https://dblp.org/pers/hd/p/Palmskog:Karl#c15
[c14]https://dblp.org/pers/hd/p/Palmskog:Karl#c14
[i6]https://dblp.org/pers/hd/p/Palmskog:Karl#i6
[i5]https://dblp.org/pers/hd/p/Palmskog:Karl#i5
[i4]https://dblp.org/pers/hd/p/Palmskog:Karl#i4
[j4]https://dblp.org/pers/hd/p/Palmskog:Karl#j4
[c10]https://dblp.org/pers/hd/p/Palmskog:Karl#c10
[c8]https://dblp.org/pers/hd/p/Palmskog:Karl#c8
[c7]https://dblp.org/pers/hd/p/Palmskog:Karl#c7
[c6]https://dblp.org/pers/hd/p/Palmskog:Karl#c6
20https://dblp.org/pid/54/6008.html?view=joint¶m=20
https://dblp.org/pid/54/6008.html?view=group¶m=2
Roberto Guancialehttps://dblp.org/pid/12/5314.html
[c23]https://dblp.org/pers/hd/p/Palmskog:Karl#c23
[i10]https://dblp.org/pers/hd/p/Palmskog:Karl#i10
[c19]https://dblp.org/pers/hd/p/Palmskog:Karl#c19
[c18]https://dblp.org/pers/hd/p/Palmskog:Karl#c18
21https://dblp.org/pid/54/6008.html?view=joint¶m=21
https://dblp.org/pid/54/6008.html?view=group¶m=1
Indranil Guptahttps://dblp.org/pid/02/6135.html
[c11]https://dblp.org/pers/hd/p/Palmskog:Karl#c11
[i1]https://dblp.org/pers/hd/p/Palmskog:Karl#i1
22https://dblp.org/pid/54/6008.html?view=joint¶m=22
https://dblp.org/pid/54/6008.html?view=group¶m=2
Dilian Gurovhttps://dblp.org/pid/47/1237.html
[c22]https://dblp.org/pers/hd/p/Palmskog:Karl#c22
[c21]https://dblp.org/pers/hd/p/Palmskog:Karl#c21
23https://dblp.org/pid/54/6008.html?view=joint¶m=23
https://dblp.org/pid/54/6008.html?view=group¶m=1
Farah Haririhttps://dblp.org/pid/153/5340.html
[j2]https://dblp.org/pers/hd/p/Palmskog:Karl#j2
24https://dblp.org/pid/54/6008.html?view=joint¶m=24
https://dblp.org/pid/54/6008.html?view=group¶m=3
Yuri Ismailovhttps://dblp.org/pid/57/2008.html
[c1]https://dblp.org/pers/hd/p/Palmskog:Karl#c1
25https://dblp.org/pid/54/6008.html?view=joint¶m=25
https://dblp.org/pid/54/6008.html?view=group¶m=2
Ali Jafarihttps://dblp.org/pid/45/3593.html
[c3]https://dblp.org/pers/hd/p/Palmskog:Karl#c3
26https://dblp.org/pid/54/6008.html?view=joint¶m=26
https://dblp.org/pid/54/6008.html?view=group¶m=1
Kush Jainhttps://dblp.org/pid/276/3275.html
[c15]https://dblp.org/pers/hd/p/Palmskog:Karl#c15
27https://dblp.org/pid/54/6008.html?view=joint¶m=27
https://dblp.org/pid/54/6008.html?view=group¶m=2
Kristján Valur Jónssonhttps://dblp.org/pid/83/3294.html
[c2]https://dblp.org/pers/hd/p/Palmskog:Karl#c2
28https://dblp.org/pid/54/6008.html?view=joint¶m=28
https://dblp.org/pid/54/6008.html?view=group¶m=1
Faria Kalimhttps://dblp.org/pid/191/8141.html
[c11]https://dblp.org/pers/hd/p/Palmskog:Karl#c11
29https://dblp.org/pid/54/6008.html?view=joint¶m=29
https://dblp.org/pid/54/6008.html?view=group¶m=1
Elaine Lihttps://dblp.org/pid/253/0659.html
[i3]https://dblp.org/pers/hd/p/Palmskog:Karl#i3
30https://dblp.org/pid/54/6008.html?view=joint¶m=30
https://dblp.org/pid/54/6008.html?view=group¶m=1
Junyi Jessy Lihttps://dblp.org/pid/148/9553.html
[c17]https://dblp.org/pers/hd/p/Palmskog:Karl#c17
[i7]https://dblp.org/pers/hd/p/Palmskog:Karl#i7
[c16]https://dblp.org/pers/hd/p/Palmskog:Karl#c16
[i5]https://dblp.org/pers/hd/p/Palmskog:Karl#i5
[i4]https://dblp.org/pers/hd/p/Palmskog:Karl#i4
31https://dblp.org/pid/54/6008.html?view=joint¶m=31
https://dblp.org/pid/54/6008.html?view=group¶m=2
Christian Lidströmhttps://dblp.org/pid/205/3628.html
[c21]https://dblp.org/pers/hd/p/Palmskog:Karl#c21
32https://dblp.org/pid/54/6008.html?view=joint¶m=32
https://dblp.org/pid/54/6008.html?view=group¶m=2
Andreas Lindnerhttps://dblp.org/pid/28/610.html
[c23]https://dblp.org/pers/hd/p/Palmskog:Karl#c23
[i10]https://dblp.org/pers/hd/p/Palmskog:Karl#i10
33https://dblp.org/pid/54/6008.html?view=joint¶m=33
https://dblp.org/pid/54/6008.html?view=group¶m=1
Victor Luchangcohttps://dblp.org/pid/31/3102.html
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
34https://dblp.org/pid/54/6008.html?view=joint¶m=34
https://dblp.org/pid/54/6008.html?view=group¶m=2
Didrik Lundberghttps://dblp.org/pid/273/9547.html
[c19]https://dblp.org/pers/hd/p/Palmskog:Karl#c19
35https://dblp.org/pid/54/6008.html?view=joint¶m=35
https://dblp.org/pid/54/6008.html?view=group¶m=2
Andreas Lundbladhttps://dblp.org/pid/73/7248.html
[c3]https://dblp.org/pers/hd/p/Palmskog:Karl#c3
36https://dblp.org/pid/54/6008.html?view=joint¶m=36
https://dblp.org/pid/54/6008.html?view=group¶m=1
P. Madhusudanhttps://dblp.org/pid/m/PMadhusudan.html
[c11]https://dblp.org/pers/hd/p/Palmskog:Karl#c11
[i1]https://dblp.org/pers/hd/p/Palmskog:Karl#i1
37https://dblp.org/pid/54/6008.html?view=joint¶m=37
https://dblp.org/pid/54/6008.html?view=group¶m=1
Darko Marinovhttps://dblp.org/pid/48/3911.html
[j2]https://dblp.org/pers/hd/p/Palmskog:Karl#j2
38https://dblp.org/pid/54/6008.html?view=joint¶m=38
https://dblp.org/pid/54/6008.html?view=group¶m=1
Érik Martin-Dorelhttps://dblp.org/pid/73/7568.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
39https://dblp.org/pid/54/6008.html?view=joint¶m=39
https://dblp.org/pid/54/6008.html?view=group¶m=1
Jayasi Meharhttps://dblp.org/pid/252/8531.html
[c11]https://dblp.org/pers/hd/p/Palmskog:Karl#c11
40https://dblp.org/pid/54/6008.html?view=joint¶m=40
https://dblp.org/pid/54/6008.html?view=group¶m=1
Brandon M. Moorehttps://dblp.org/pid/27/9117.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
41https://dblp.org/pid/54/6008.html?view=joint¶m=41
https://dblp.org/pid/54/6008.html?view=group¶m=1
Adithya Muralihttps://dblp.org/pid/234/8538.html
[c11]https://dblp.org/pers/hd/p/Palmskog:Karl#c11
42https://dblp.org/pid/54/6008.html?view=joint¶m=42
https://dblp.org/pid/54/6008.html?view=group¶m=2
Hamed Nematihttps://dblp.org/pid/127/4008.html
[c23]https://dblp.org/pers/hd/p/Palmskog:Karl#c23
[i10]https://dblp.org/pers/hd/p/Palmskog:Karl#i10
43https://dblp.org/pid/54/6008.html?view=joint¶m=43
https://dblp.org/pid/54/6008.html?view=group¶m=1
Pengyu Nie 0001https://dblp.org/pid/223/2712-1.html
[c17]https://dblp.org/pers/hd/p/Palmskog:Karl#c17
[i7]https://dblp.org/pers/hd/p/Palmskog:Karl#i7
[c16]https://dblp.org/pers/hd/p/Palmskog:Karl#c16
[i5]https://dblp.org/pers/hd/p/Palmskog:Karl#i5
[i4]https://dblp.org/pers/hd/p/Palmskog:Karl#i4
44https://dblp.org/pid/54/6008.html?view=joint¶m=44
https://dblp.org/pid/54/6008.html?view=group¶m=2
Mattias Nyberghttps://dblp.org/pid/98/1174.html
[c22]https://dblp.org/pers/hd/p/Palmskog:Karl#c22
[c21]https://dblp.org/pers/hd/p/Palmskog:Karl#c21
45https://dblp.org/pid/54/6008.html?view=joint¶m=45
https://dblp.org/pid/54/6008.html?view=group¶m=1
Marinela Parovichttps://dblp.org/pid/256/6178.html
[c10]https://dblp.org/pers/hd/p/Palmskog:Karl#c10
46https://dblp.org/pid/54/6008.html?view=joint¶m=46
https://dblp.org/pid/54/6008.html?view=group¶m=1
Edgar Pekhttps://dblp.org/pid/76/4671.html
[i1]https://dblp.org/pers/hd/p/Palmskog:Karl#i1
47https://dblp.org/pid/54/6008.html?view=joint¶m=47
https://dblp.org/pid/54/6008.html?view=group¶m=1
Lucas Peñahttps://dblp.org/pid/211/9186.html
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
48https://dblp.org/pid/54/6008.html?view=joint¶m=48
https://dblp.org/pid/54/6008.html?view=group¶m=1
Muntasir Raihan Rahmanhttps://dblp.org/pid/53/7891.html
[i1]https://dblp.org/pers/hd/p/Palmskog:Karl#i1
49https://dblp.org/pid/54/6008.html?view=joint¶m=49
https://dblp.org/pid/54/6008.html?view=group¶m=1
Talia Ringerhttps://dblp.org/pid/187/8968.html
[i6]https://dblp.org/pers/hd/p/Palmskog:Karl#i6
[j4]https://dblp.org/pers/hd/p/Palmskog:Karl#j4
50https://dblp.org/pid/54/6008.html?view=joint¶m=50
https://dblp.org/pid/54/6008.html?view=group¶m=1
Grigore Rosuhttps://dblp.org/pid/r/GrigoreRosu.html
[i3]https://dblp.org/pers/hd/p/Palmskog:Karl#i3
[c12]https://dblp.org/pers/hd/p/Palmskog:Karl#c12
[i2]https://dblp.org/pers/hd/p/Palmskog:Karl#i2
51https://dblp.org/pid/54/6008.html?view=joint¶m=51
https://dblp.org/pid/54/6008.html?view=group¶m=1
Mircea Sebehttps://dblp.org/pid/276/0416.html
[i3]https://dblp.org/pers/hd/p/Palmskog:Karl#i3
52https://dblp.org/pid/54/6008.html?view=joint¶m=52
https://dblp.org/pid/54/6008.html?view=group¶m=1
Traian-Florin Serbanutahttps://dblp.org/pid/s/TFSerbanuta.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
53https://dblp.org/pid/54/6008.html?view=joint¶m=53
https://dblp.org/pid/54/6008.html?view=group¶m=1
Alexander Serebrenikhttps://dblp.org/pid/s/AlexanderSerebrenik.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
54https://dblp.org/pid/54/6008.html?view=joint¶m=54
https://dblp.org/pid/54/6008.html?view=group¶m=1
Ilya Sergeyhttps://dblp.org/pid/77/9770.html
[i6]https://dblp.org/pers/hd/p/Palmskog:Karl#i6
[j4]https://dblp.org/pers/hd/p/Palmskog:Karl#j4
55https://dblp.org/pid/54/6008.html?view=joint¶m=55
https://dblp.org/pid/54/6008.html?view=group¶m=1
Mike Stayhttps://dblp.org/pid/25/6753.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
56https://dblp.org/pid/54/6008.html?view=joint¶m=56
https://dblp.org/pid/54/6008.html?view=group¶m=1
Enrico Tassihttps://dblp.org/pid/35/4153.html
[i8]https://dblp.org/pers/hd/p/Palmskog:Karl#i8
57https://dblp.org/pid/54/6008.html?view=joint¶m=57
https://dblp.org/pid/54/6008.html?view=group¶m=1
Zachary Tatlockhttps://dblp.org/pid/24/2888.html
[i6]https://dblp.org/pers/hd/p/Palmskog:Karl#i6
[j4]https://dblp.org/pers/hd/p/Palmskog:Karl#j4
58https://dblp.org/pid/54/6008.html?view=joint¶m=58
https://dblp.org/pid/54/6008.html?view=group¶m=2
Gustav Unghttps://dblp.org/pid/330/2747.html
[c21]https://dblp.org/pers/hd/p/Palmskog:Karl#c21
59https://dblp.org/pid/54/6008.html?view=joint¶m=59
https://dblp.org/pid/54/6008.html?view=group¶m=2
Ymir Vigfussonhttps://dblp.org/pid/31/1161.html
[c2]https://dblp.org/pers/hd/p/Palmskog:Karl#c2
60https://dblp.org/pid/54/6008.html?view=joint¶m=60
https://dblp.org/pid/54/6008.html?view=group¶m=3
YaoShuang Wanghttps://dblp.org/pid/75/6520.html
[c1]https://dblp.org/pers/hd/p/Palmskog:Karl#c1
61https://dblp.org/pid/54/6008.html?view=joint¶m=61
https://dblp.org/pid/54/6008.html?view=group¶m=3
Micael Widellhttps://dblp.org/pid/08/3698.html
[c1]https://dblp.org/pers/hd/p/Palmskog:Karl#c1
62https://dblp.org/pid/54/6008.html?view=joint¶m=62
https://dblp.org/pid/54/6008.html?view=group¶m=2
Xiaomo Yaohttps://dblp.org/pid/339/9294.html
[c18]https://dblp.org/pers/hd/p/Palmskog:Karl#c18
63https://dblp.org/pid/54/6008.html?view=joint¶m=63
https://dblp.org/pid/54/6008.html?view=group¶m=1
Vlad Zamfirhttps://dblp.org/pid/273/1564.html
[i9]https://dblp.org/pers/hd/p/Palmskog:Karl#i9
64https://dblp.org/pid/54/6008.html?view=joint¶m=64
https://dblp.org/pid/54/6008.html?view=group¶m=1
Théo Zimmermannhttps://dblp.org/pid/150/1506.html
[j5]https://dblp.org/pers/hd/p/Palmskog:Karl#j5
[c20]https://dblp.org/pers/hd/p/Palmskog:Karl#c20
[i8]https://dblp.org/pers/hd/p/Palmskog:Karl#i8
see our F.A.Q.https://dblp.org/faq/15696107
https://unpaywall.org
Unpaywall privacy policyhttp://unpaywall.org/legal/privacy
https://web.archive.org
Internet Archive privacy policyhttps://archive.org/about/terms.php
https://crossref.org
https://opencitations.net
https://semanticscholar.org
Crossref privacy policyhttps://www.crossref.org/privacy/
OpenCitations privacy policyhttps://opencitations.net/about
AI2 Privacy Policyhttps://allenai.org/privacy-policy
https://opencitations.net
https://semanticscholar.org
OpenCitations privacy policyhttps://opencitations.net/about
AI2 Privacy Policyhttps://allenai.org/privacy-policy
https://openalex.org
OpenAlexhttps://openalex.org/about
dblp teamhttps://dblp.org/db/about/team.html
https://creativecommons.org/publicdomain/zero/1.0/
open datahttps://opendefinition.org/
CC0 1.0 licensehttps://creativecommons.org/publicdomain/zero/1.0/
Terms of Usehttps://dblp.org/db/about/copyright.html
Privacy Policyhttps://dblp.org/db/about/privacy.html
Imprinthttps://dblp.org/db/about/imprint.html
https://www.uni-trier.de/en/
https://www.dagstuhl.de/en/
https://www.bmftr.bund.de
https://mwg.rlp.de/
https://www.saarland.de/stk/DE/home/home_node.html
https://www.leibniz-gemeinschaft.de/en/
https://www.dfg.de/en/
https://www.nfdi.de/?lang=en

URLs of crawlers that visited me.