Премія Канеллакіса: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
→Нагороджені: оновлення даних |
→Примітки: доповнення |
||
Рядок 141:
== Примітки ==
{{reflist|30em|refs=
<ref name=ACM-SPF>{{cite web
|title=ACM SIGs: SIG Project Fund (SPF)
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://www.acm.org/sigs/sgb/spfinfo/ |accessdate=2012-12-12}}</ref>
<ref name=ACM-PCKA>{{cite web
|title=Paris Kanellakis Theory and Practice Award
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|accessdate=2012-12-12
|archive-url=https://www.webcitation.org/6FBgxDbWN?url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|archive-date=2013-03-17
|url-status=dead
}}</ref>
<ref name=BROWN-NEWS-award>{{cite journal
|title=ACM Paris Kanellakis Award
|journal=Conduit |publisher=[[Brown University|Brown]] CS Dept
|year=1996 |volume=5 |issue=1 |page=4
|url=http://www.cs.brown.edu/publications/conduit/conduit_v5n1.pdf#page=4}}</ref>
<ref name=ACM-PCKA-96>{{cite press release
|title = The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography
|date = 12 Feb 1997
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/announcements/pkaward.html
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20120211141338/http://www.acm.org/announcements/pkaward.html
|archivedate = 2012-02-11
}}</ref>
<ref name=ACM-PCKA-97>{{cite press release
|title = The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression
|date = 26 Mar 1998
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/announcements/kanellakis.html
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20120211141344/http://www.acm.org/announcements/kanellakis.html
|archivedate = 2012-02-11
}}</ref>
<ref name=ACM-PCKA-98>{{cite press release
|title = ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs
|date = 26 Mar 1999
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/announcements/kanellakis99.html
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20110605194419/http://www.acm.org/announcements/kanellakis99.html
|archivedate = 2011-06-05
}}</ref>
<ref name=ACM-PCKA-99>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 1999
|publisher=[[Association for Computing Machinery|ACM]]
|url=https://awards.acm.org/award_winners/sleator_0340141
|accessdate=2017-11-22}}</ref>
<ref name=ACM-PCKA-00>{{cite press release
|title = Interior point
|year = 2000
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
|archive-url = https://web.archive.org/web/20120402212312/http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
|url-status = dead
|archive-date = 2012-04-02
|accessdate = 2012-12-12
}}</ref>
<ref name=ACM-PCKA-01>{{cite press release
|title = ACM honors developer of key software for sequencing the human genome
|date = 22 Jan 2002
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/announcements/kanellakis_2001.html
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20120211141411/http://www.acm.org/announcements/kanellakis_2001.html
|archivedate = 2012-02-11
}}</ref>
<ref name=ACM-PCKA-02>{{cite press release
|title = ACM honors Peter Franaszek for contributions to data encoding
|date = 21 May 2003
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/announcements/kanellakis_2002.html
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20120211141420/http://www.acm.org/announcements/kanellakis_2002.html
|archivedate = 11 February 2012
}}</ref>
<ref name=ACM-PCKA-03>{{cite press release
|title=ACM honors creators of methods to improve cryptography
|date=24 May 2004
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://www.acm.org/announcements/kanellakis.5-26-2004.html
|accessdate=2012-12-12
|archive-url=https://web.archive.org/web/20120211141448/http://www.acm.org/announcements/kanellakis.5-26-2004.html
|archive-date=11 February 2012
|url-status=dead
}}</ref>
<ref name=ACM-PCKA-04>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2004
|publisher=[[Association for Computing Machinery|ACM]]
|url=https://awards.acm.org/award_winners/freund_5914554
|accessdate=2017-11-22}}</ref>
<ref name=ACM-PCKA-05>{{cite press release
|title=ACM honors creators of verification tools for software, hardware
|date=15 Mar 2006 |publisher=[[Association for Computing Machinery|ACM]]
|url=http://www.cs.rice.edu/~vardi/kanellakis.html |accessdate=2012-12-12}}</ref>
<ref name=ACM-PCKA-06>{{cite press release
|title = ACM honors electronic design automation technologies pioneer
|date = 29 Mar 2007
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/press-room/news-releases-2007/kanellakis
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20121202054815/http://www.acm.org/press-room/news-releases-2007/kanellakis
|archivedate = 2012-12-02
}}</ref>
<ref name=ACM-PCKA-07>{{cite press release
|title = ACM Kanellakis Award honors innovator of automated tools for mathematics
|date = 13 May 2008
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/press-room/awards/kanellakis-award-07
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20130502005225/http://www.acm.org/press-room/awards/kanellakis-award-07/
|archivedate = 2 May 2013
}}</ref>
<ref name=ACM-PCKA-08>{{cite press release
|title = ACM awards recognize innovators in computer science
|date = 17 Mar 2009
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org//press-room/awards/awards-08-groupa
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20130502005750/http://www.acm.org/press-room/awards/awards-08-groupa/
|archivedate = 2013-05-02
}}</ref>
<ref name=ACM-PCKA-09>{{cite press release
|title = ACM awards recognize computer scientists for innovations that have real world impact
|date = 30 Mar 2010
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20121202052752/http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
|archivedate = 2012-12-02
}}</ref>
<ref name=ACM-PCKA-10>{{cite press release
|title = ACM honors computing innovators for advances in research, commerce and education
|date = 6 Apr 2011
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/press-room/awards/technical-awards-2010
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20130502010135/http://www.acm.org/press-room/awards/technical-awards-2010/
|archivedate = 2013-05-02
}}</ref>
<ref name=ACM-PCKA-11>{{cite press release
|title = ACM honors computing innovators for advances in research, education, and industry
|date = 26 Apr 2012
|publisher = [[Association for Computing Machinery|ACM]]
|url = http://www.acm.org/press-room/awards/technical-awards-2011
|accessdate = 2012-12-12
|url-status = dead
|archiveurl = https://web.archive.org/web/20130502010437/http://www.acm.org/press-room/awards/technical-awards-2011/
|archivedate = 2013-05-02
}}</ref>
<ref name=ACM-PCKA-12>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2012
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|accessdate=2013-05-05
|archive-url=https://www.webcitation.org/6FBgxDbWN?url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|archive-date=2013-03-17
|url-status=dead
}}</ref>
<ref name=ACM-PCKA-13>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2013
|publisher=[[Association for Computing Machinery|ACM]]
|url=https://awards.acm.org/award_winners/leiserson_1506955
|accessdate=2017-11-22}}</ref>
<ref name=ACM-PCKA-14>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2014
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://awards.acm.org/award_winners/demmel_6010135.cfm#147
|accessdate=2015-07-17}}</ref>
<ref name=ACM-PCKA-15>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2015
|publisher=[[Association for Computing Machinery|ACM]]
|url=http://awards.acm.org/award_winners/luby_4157467.cfm
|accessdate=2016-04-29}}</ref>
<ref name=ACM-PCKA-16>{{cite web
|title=ACM Paris Kanellakis Theory and Practice Award 2016
|publisher=[[Association for Computing Machinery|ACM]]
|url=https://awards.acm.org/award_winners/fiat_8021946
|accessdate=2017-11-22}}</ref>
}}
{{reflist}}
| |||