nielsen

diff --git a/biblio.bib b/biblio.bib
index d88ca8e9ebb67ffd6f209f19855a6450ef5e9afc..335ad398d7ebbac5707a58c0440854b9e5738cfa 100644 (file)
--- a/biblio.bib
+++ b/biblio.bib
@@ -13,6 +13,9 @@
 @string{IHMNAME      =  ""}%": Proceedings of the French-speaking conference of human-computer interaction"}\r
 @string{ICMINAME     =  ""}%": Proceedings of the 7th annual International Conference on Multimodal Interfaces"}\r
 \r
+@string{CHI90     =  PROC # "CHI'90" # CHINAME}\r
+@string{CHI91     =  PROC # "CHI'91" # CHINAME}\r
+@string{CHI92     =  PROC # "CHI'92" # CHINAME}\r
 @string{CHI93     =  PROC # "CHI'93" # CHINAME}\r
 @string{CHI94     =  PROC # "CHI'94" # CHINAME}\r
 @string{CHI95     =  PROC # "CHI'95" # CHINAME}\r
@@ -278,6 +281,7 @@
 @string{CHEVALIER      =  "Chevalier, Fanny"}\r
 @string{CHEYER         =  "Cheyer, Adam J."}\r
 @string{CHITA          =  "Chita, Christian"}\r
+@string{CHLIPALA       =  "Chlipala, Adam"}\r
 @string{CHOHAN         =  "Chohan, Faraz"}\r
 @string{CHOLEWIAK      =  "Cholewiak, Roger W."}\r
 @string{CHOUVARDAS     =  "Chouvardas, Vasilio G."}\r
@@ -572,6 +576,7 @@
 @string{MIYAKI         =  "Miyaki, Takashi"}\r
 @string{MOBUCHON       =  "Mobuchon, Pascal"}\r
 @string{MOLL           =  "Moll, Jonas"}\r
+@string{MOLICH         =  "Molich, Rolf"}\r
 @string{MORAN          =  "Moran, Doublas B."}\r
 @string{MORRIS         =  "Morris, Dan"}\r
 @string{MORTIMER       =  "Mortimer, Bruce J. P."}\r
@@ -587,6 +592,7 @@
 @string{NEVIAROUSKAYA  =  "Neviarouskaya, Alena"}\r
 @string{NG             =  "Ng, Ginna"}\r
 @string{NGA            =  "Ng, Alexander"}\r
+@string{NIELSEN        =  "Nielsen, Jakob"}\r
 @string{NIERSTRASZ     =  "Nierstrasz, Oscar"}\r
 @string{NIETO          =  "Nieto, Oriol"}\r
 @string{NIGAY          =  "Nigay, Laurence"}\r
@@ -594,6 +600,7 @@
 @string{NOMA           =  "Noma, Haruo"}\r
 @string{NOBLE          =  "Noble, Nicolas"}\r
 @string{NOE            =  "No{\"e}, Alva"}\r
+@string{NORMAN         =  "Norman, Don"}\r
 @string{OAKLEY         =  "Oakley, Ian"}\r
 @string{OHKA           =  "Ohka, Masahiro"}\r
 @string{OHNISHI        =  "Ohnishi, Kouhei"}\r
@@ -818,6 +825,8 @@
 @string{ACMP      =  "ACM Press"}\r
 @string{IEEEP     =  "IEEE Computer Society Press"}\r
 @string{SPRINGER  =  "Springer-Verlag"}\r
+@string{MITP      =  "MIT Press"}\r
+@string{OXFORDP   =  "Oxford University Press"}\r
 \r
 %%%% PAPIERS\r
 \r
@@ -1039,7 +1048,7 @@
   publisher = {ACM},\r
 }\r
 \r
-@inbook{mbl06,\r
+@incollection{mbl06,\r
   author = MBL,\r
   title = "Human-{C}omputer {I}nteraction",\r
   booktitle = "Interactive Computation: The New Paradigm",\r
@@ -1049,13 +1058,13 @@
   url = "https://www.springer.com/us/book/9783540346661"\r
 }\r
 \r
-@inbook{mbl08,\r
+@incollection{mbl08,\r
   author = MBL,\r
   title = "Interaction is the Future of Computing",\r
   booktitle = "HCI Remixed, Reflections on Works That Have Influenced the HCI Community",\r
   year = "2008",\r
   pages = "263--266",\r
-  publisher = "MIT press",\r
+  publisher = MITP,\r
   url = "http://www.csc.kth.se/utbildning/kth/kurser/DH3050/hcihist11/MichelBLonWegner.pdf"\r
 }\r
 \r
@@ -1371,7 +1380,15 @@
   pages = "209--218",\r
 }\r
 \r
-@inbook{cholewiak91,\r
+@book{chlipala13,\r
+  author = CHLIPALA,\r
+  title = "Certified Programming with Dependent Types: a pragmatic introduction to the {C}oq proof assistant",\r
+  publisher = MITP,\r
+  year = "2013",\r
+  url = "http://adam.chlipala.net/cpdt/"\r
+}\r
+\r
+@incollection{cholewiak91,\r
   author = CHOLEWIAK # " and " # COLLINS,\r
   title = "Sensory and physiological bases of touch",\r
   booktitle = "The Psychology of Touch",\r
@@ -1475,19 +1492,19 @@
 @inbook{coutaz95a,\r
   author = COUTAZ # " and " # NIGAY # " and " # SALBER,\r
   title = "{A}gent-{B}ased {A}rchitecture {M}odeling for {I}nteractive {S}ystems",\r
-  booktitle = "",\r
   year = "1995",\r
   edition = "{C}ritical {I}ssues in {U}ser {I}nterface {E}ngineering, {P}. {P}alanque {\&} {D}. {B}enyon",\r
   pages = "191--209",\r
   publisher = SPRINGER\r
 }\r
 \r
-@inbook{coutaz01,\r
+@incollection{coutaz01,\r
   author = COUTAZ # " and " # NIGAY,\r
-  title = "Architecture logicielle conceptuelle des systèmes interactifs",\r
+  title = "Analyse et Conception de l'Interaction Homme-Machine dans les systèmes d'information",\r
+  booktitle = "Architecture logicielle conceptuelle des systèmes interactifs",\r
   year = "2001",\r
   pages = "207--246",\r
-  note = "Chapitre 7 Analyse et Conception de l'Interaction Homme-Machine dans les systèmes d'information, Kolski Ed., Hermes Publ",\r
+  publisher = "Hermes Publ"\r
 }\r
 \r
 @phdthesis{crossan03,\r
@@ -1599,7 +1616,7 @@
 @inproceedings{edwards06,\r
   author = EDWARDS # " and " # MCCARTNEY # " and " # FOGAROLO,\r
   title = "Lambda: a multimodal approach to making mathematics accessible to blind students",\r
-  booktitle = "Assets '06: Proceedings of the 8th international ACM SIGACCESS conference on Computers and accessibility",\r
+  booktitle = "Proc. Assets '06: Proceedings of the 8th international ACM SIGACCESS conference on Computers and accessibility",\r
   year = "2006",\r
   address = "Portland, OR, USA",\r
   pages = "48--54",\r
@@ -1618,7 +1635,7 @@
 @inproceedings{engelbart68,\r
  author = ENGLEBART # " and " # ENGLISH,\r
  title = {A Research Center for Augmenting Human Intellect},\r
- booktitle = {Proceedings of  AFIPS '68 (Fall, part I)},\r
+ booktitle = {Proc. AFIPS '68 (Fall, part I)},\r
  year = {1968},\r
  location = {San Francisco, California},\r
  pages = {395--410},\r
@@ -2444,7 +2461,7 @@
 @book{kauffman95,\r
   author = KAUFFMAN,\r
   title = "At Home in the Universe: The Search for Laws of Self-organization and Complexity",\r
-  publisher = "Oxford University Press",\r
+  publisher = OXFORDP,\r
   year = "1995",\r
   isbn = "978-0195111309"\r
 }\r
@@ -3162,6 +3179,14 @@ pages = "2970--2977",
   pages = "150--155",\r
 }\r
 \r
+@inproceedings {nielsen90,\r
+  author = NIELSEN # " and " # MOLICH,\r
+  title = "Heuristic evaluation of user interfaces",\r
+  crossref = "chi90",\r
+  pages = "249--256",\r
+  doi = "10.1145/97243.97281"\r
+}\r
+\r
 @inproceedings{nigay93,\r
   author = NIGAY # " and " # COUTAZ,\r
   title = "A {D}esign {S}pace {F}or {M}ultimodal {S}ystems: {C}oncurrent {P}rocessing and {D}ata {F}usion",\r
@@ -3975,7 +4000,7 @@ pages = "2970--2977",
   author = TURING,\r
   title = "Computing machinery and intelligence",\r
   journal = "Mind",\r
-  publisher = "Oxford University Press",\r
+  publisher = OXFORDP,\r
   year = "1950",\r
   volume = "59",\r
   number = "236",\r
@@ -4351,6 +4376,33 @@ pages = "619--627",
 \r
 %%%%%%%%% CHI\r
 \r
+@proceedings{chi90,\r
+  booktitle = CHI90,\r
+  title = CHI90,\r
+  year = "1990",\r
+  address = "Seattle, United States",\r
+  month = apr,\r
+  publisher = ACMP,\r
+}\r
+\r
+@proceedings{chi91,\r
+  booktitle = CHI91,\r
+  title = CHI91,\r
+  year = "1991",\r
+  address = "New Orleans, United States",\r
+  month = apr,\r
+  publisher = ACMP,\r
+}\r
+\r
+@proceedings{chi92,\r
+  booktitle = CHI92,\r
+  title = CHI92,\r
+  year = "1992",\r
+  address = "Monterey, United States",\r
+  month = may,\r
+  publisher = ACMP,\r
+}\r
+\r
 @proceedings{chi93,\r
   booktitle = CHI93,\r
   title = CHI93,\r