]> AND Private Git Repository - bibliographie.git/blob - bib/biblioand.bib
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
1bd9f55f102cc6d113cc7eb019250b82f71d264f
[bibliographie.git] / bib / biblioand.bib
1 % This file was created with JabRef 2.3.1.
2 % Encoding: ANSI_X3.4-1968
3
4
5 @misc{cgh16:onp,
6 inhal = {no},
7 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
8 equipe = {and},
9 classement = {COM},
10 author = {Couchot, Jean-François  and Guyeux, Christophe and H\'eam, Pierre-Cyrille},
11 title = {Random Walk in a N-cube Without Hamiltonian Cycle 
12   to Chaotic Pseudorandom Number Generation: Theoretical and Practical 
13   Considerations},
14 howpublished = {in submission to the RAIRO - Theoretical Informatics and Applications special issue to the 15-th Mons Theoretical Computer Science Days},
15 month = mar,
16 year = 2015,
17 }
18
19
20 @misc{bgco16:onp,
21 inhal = {no},
22 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
23 equipe = {and},
24 classement = {COM},
25 author = {Bakiri, Mohammed and  Guyeux, Christophe and Couchot, Jean-Fran{\c}cois and Oudjida, Abdelkrim Kamel},
26 title = {Survey on Hardware Implementation of Random Number Generators on FPGA: Theory and Experimental Analyses},
27 howpublished = {in submission to the ACM Computing Surveys journal},
28 month = aug,
29 year = 2015,
30 }
31
32 @misc{bdcc15:onp,
33 inhal = {no},
34 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
35 equipe = {and},
36 classement = {COM},
37 author = {
38 Bitar, Ahmad and
39 Darazi, Rony and 
40 Couchot, Jean-Fran{\c}cois and
41 Couturier, Rapha\¨el},
42 title = {Blind digital watermarking in PDF documents using
43 Spread Transform Dither Modulation},
44 howpublished = {in submission to the Multimedia Tools and Applications journal},
45 month = dec,
46 year = 2014
47 }
48
49
50
51
52
53 @inproceedings{couchot04:onp,
54 inhal = {no},
55 author = {Couchot, Jean-Fran\c{c}ois},
56 title = {V\'erification d'invariant par superposition},
57 booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
58 address = {Calais, France},
59 ps = {http://lifc.univ-fcomte.fr/~couchot/pubs/cou04.ps.gz},
60 url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
61 note = {Actes en ligne sur {    t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},
62 abstract = {Un système d'événements B modélise un système d'intérêt et l'environnement avec lequel il réagit. Il permet d'exprimer une spécification abstraite au niveau ensembliste, dont les événements sont parfois indéterministes et dont la propriété de cohérence, appelée invariant, s'exprime à l'aide d'une formule logique du premier ordre. Cette étude s'applique à un langage de spécification équivalent à une classe de systèmes d'événements qui conserve les notions d'ensemble, d'indéterminisme et d'invariant écrit en logique équationnelle du premier ordre. Elle propose une démarche de vérification automatique d'invariant inductif et de construction d'un tel invariant par renforcement. L'apport principal est le caractère automatique de la démarche, fondée sur une procédure de décision par superposition. L'étude est illustrée par deux exemples d'algorithmes d'exclusion mutuelle.},
63 month = oct,
64 year = 2004,
65
66 }
67
68
69
70
71 @inproceedings{aangc+15:ip,
72 inhal = {no},
73 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
74 equipe = {and},
75 classement = {ACTI},
76 author = {Alkindy, Bassam and Al'Nayyef, Huda and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
77 title = {Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species},
78 booktitle = {IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and Biomedical Engineering, Part I},
79 pages = {379--390},
80 doi = {10.1007/978-3-319-16483-0_38},
81 url = {http://dx.doi.org/10.1007/978-3-319-16483-0_38},
82 series = {LNCS},
83 volume = 9043,
84 address = {Granada, Spain},
85 month = apr,
86 year = 2015,
87
88 }
89
90
91
92
93
94
95
96 @inproceedings{agcs+15:ip,
97 inhal = {no},
98 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
99 equipe = {and},
100 classement = {ACTI},
101 author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Parisod, Christian and Bahi, Jacques},
102 affiliation = {Christian Parisod est privat docent a l'Université de Neuchatel (Suisse)},
103 title = {Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes},
104 booktitle = {AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational Biology},
105 pages = {***--***},
106 series = {LNCS/LNBI},
107 volume = {*},
108 publisher = {Springer},
109 address = {Mexico City, Mexico},
110 day = 4,
111 month = aug,
112 year = 2015,
113 note = {To appear in the LNCS/LNBI series},
114
115 }
116
117
118
119 @inproceedings{bcg11:ip,
120 inhal = {no},
121 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
122 equipe = {and},
123 classement = {ACTI},
124 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
125 title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations},
126 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
127 pages = {52--57},
128 address = {Luxembourg, Luxembourg},
129 month = jun,
130 year = 2011,
131 note = {Best paper award},
132
133 }
134
135 @article{bcg12:ij,
136 inhal = {no},
137 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
138 equipe = {and},
139 classement = {ACLNI},
140 impact-factor ={#},
141 isi-acro = {#},
142 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
143 title = {Quality analysis of a chaotic proven keyed hash function},
144 journal = {International Journal On Advances in Internet Technology},
145 pages = {26--33},
146 volume = 5,
147 number = 1,
148 publisher = {IARIA},
149 year = 2012,
150
151 }
152
153
154 @article{ccg15:ij,
155 inhal = {no},
156 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
157 equipe = {and},
158 classement = {ACLI},
159 impact-factor ={#},
160 isi-acro = {#},
161 author = {Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
162 title = {{STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at LOw cost}},
163 journal = {Annals of Telecommunications},
164 doi = {10.1007/s12243-015-0466-7},
165 url = {http://dx.doi.org/10.1007/s12243-015-0466-7},
166 publisher = {Springer},
167 year = 2015,
168 note = {Available online. Paper version to appear},
169
170 }
171
172 @inproceedings{fccg15:ip,
173 inhal = {no},
174 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
175 equipe = {and},
176 classement = {ACTI},
177 author = {Fadil, Yousra Ahmed and Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
178 title = {Steganalyzer performances in operational contexts},
179 booktitle = {IIH-MSP 2015, 11th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
180 pages = {***--***},
181 address = {Adelaide, Australia},
182 month = sep,
183 year = 2015,
184 note = {To appear},
185
186 }
187
188
189 @inproceedings{bcfg12a:ip,
190 inhal = {no},
191 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
192 equipe = {and},
193 classement = {ACTI},
194 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
195 title = {Application of Steganography for Anonymity through the Internet},
196 booktitle = {IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy},
197 pages = {96--101},
198 url = {http://arxiv.org/abs/1202.5302v1},
199 address = {Venice, Italy},
200 month = jun,
201 year = 2012,
202
203 }
204
205
206 @inproceedings{bcfg+13:ip,
207 inhal = {no},
208 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
209 equipe = {and},
210 classement = {ACTI},
211 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe and Mazouzi, Kamel},
212 title = {Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction},
213 booktitle = {IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
214 pages = {547--550},
215 doi = {10.1109/IIH-MSP.2013.141},
216 url = {http://dx.doi.org/10.1109/IIH-MSP.2013.141},
217 address = {Beijing, China},
218 month = oct,
219 year = 2013,
220
221 }
222
223 @inproceedings{bcfg12b:ip,
224 inhal = {no},
225 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
226 equipe = {and},
227 classement = {ACTI},
228 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
229 title = {A Robust Data Hiding Process Contributing to the Development of a Semantic Web},
230 booktitle = {INTERNET'2012, 4-th Int. Conf. on Evolving Internet},
231 pages = {71--76},
232 address = {Venice, Italy},
233 month = jun,
234 year = 2012,
235
236 }
237
238
239
240
241
242 @inproceedings{bcg11b:ip,
243 inhal = {no},
244 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
245 equipe = {and},
246 classement = {ACTI},
247 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
248 title = {Steganography: a Class of Algorithms having Secure Properties},
249 booktitle = {IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
250 pages = {109--112},
251 address = {Dalian, China},
252 month = oct,
253 year = 2011,
254
255 }
256
257
258 @article{bcg11:ij,
259 inhal = {no},
260 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
261 equipe = {and},
262 classement = {ACLI},
263 impact-factor ={1.363},
264 isi-acro = {COMPUT J},
265 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
266 title = {Steganography: a class of secure and robust algorithms},
267 journal = {The Computer Journal},
268 volume = 55,
269 number = 6,
270 pages = {653--666},
271 doi = {10.1093/comjnl/bxr116},
272 url = {http://dx.doi.org/10.1093/comjnl/bxr116},
273 publisher = {Oxford University Press},
274 year = 2012,
275 }
276
277
278
279 @inproceedings{bcgw11:ip,
280 inhal = {no},
281 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
282 equipe = {and},
283 classement = {ACTI},
284 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Wang, Qianxue},
285 title = {Class of Trustworthy Pseudo Random Number Generators},
286 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
287 pages = {72--77},
288 address = {Luxembourg, Luxembourg},
289 month = jun,
290 year = 2011,
291
292 }
293
294 @misc{chgw+14:onp,
295 inhal = {no},
296 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
297 equipe = {and},
298 classement = {COM},
299 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
300 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
301 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
302 day = 23,
303 month = sep,
304 year = 2014,
305 }
306
307
308
309
310
311 @inproceedings{aagp+15:ip,
312 inhal = {no},
313 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
314 equipe = {and},
315 classement = {ACTIN},
316 author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois},
317 title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization},
318 booktitle = {CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics},
319 pages = {***--***},
320 address = {Naples, Italy},
321 day = 10,
322 month = sep,
323 year = 2015,
324 note = {To appear},
325
326 }
327
328 @inproceedings{acgm+14:ij,
329 inhal = {no},
330 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
331 equipe = {and},
332 classement = {ACTI},
333 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques},
334 title = {Finding the Core-Genes of Chloroplasts},
335 booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science},
336 pages = {357--364},
337 series = {IJBBB, Journal of Bioscience, Biochemistery, and Bioinformatics},
338 number = {4(5)},
339 doi = {10.7763/IJBBB.2014.V4.371},
340 url = {http://dx.doi.org/10.7763/IJBBB.2014.V4.371},
341 address = {Copenhagen, Denmark},
342 day = 18,
343 month = jun,
344 year = 2014,
345
346 }
347
348
349
350
351 @inproceedings{akgcs+14:oip,
352 inhal = {no},
353 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
354 equipe = {and},
355 classement = {COM},
356 author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
357 title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
358 booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
359 address = {Belfast, United Kingdom},
360 day = 2,
361 month = nov,
362 year = 2014,
363 note = {Short paper},
364 }
365
366 @misc{acgs13:onp,
367 inhal = {no},
368 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
369 equipe = {and},
370 classement = {COM},
371 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
372 title = {Finding the core-genes of Chloroplast Species},
373 howpublished = {Journ\'ees SeqBio 2013, Montpellier},
374 month = nov,
375 year = 2013,
376
377 }
378
379
380
381
382
383 @PhdThesis{guyeuxphd,
384 author = {Guyeux, Christophe},
385 title = {Le désordre des it\'erations chaotiques et leur utilit\'e en sécurit\'e informatique},
386 type = {Th\`ese de {D}octorat},
387 school = {LIFC, Universit\'e de Franche-Comt\'e},
388 equipe = {AND},
389 note = {Rapporteurs~: Pascale Charpin, Directrice de Recherche, INRIA-Rocquencourt ; Eric Filiol, Professeur, ESIEA-Laval ; Pierre Spitéri, Professeur Emérite, IRIT-ENSEEIHT. Examinateurs~: Michel de Labachelerie, Directeur de recherche CNRS, Université de Franche-Comté ; Laurent Larger, Professeur, Université de Franche-Comté ; Jean-Claude Miellou, Professeur, Université de Franche-Comté ; Congduc Pham, Professeur, Université de Pau. Directeur~: Jacques M. Bahi, Professeur, Université de Franche-Comté},
390 month = {13 décembre},
391 year = 2010,
392
393 }
394
395 @inproceedings{chgw+14:oip,
396 inhal = {no},
397 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO, INFO:INFO_SE},
398 equipe = {ie},
399 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
400 title = {Pseudorandom Number Generators with Balanced Gray Codes},
401 booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
402 pages = {469--475},
403 address = {Vienna, Austria},
404 month = aug,
405 date = aug,
406 year = 2014
407 }
408
409
410
411
412 @INPROCEEDINGS{nusmv02,
413   author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and
414         Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto
415         Sebastiani and Armando Tacchella},
416   title = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
417   booktitle = {CAV},
418   year = {2002},
419   pages = {359-364},
420   crossref = {DBLP:conf/cav/2002}
421 }
422
423 @unpublished{Cha06,
424 author = {Nishanth Chandrasekaran},
425 title = {Verifying Convergence of Asynchronous Iterative Algorithms based on Lyapunov Functions},
426 year = 2006,
427 }
428
429 @InProceedings{GO01,
430  Author    = "Gastin, P. and Oddoux, D.",
431  Title     = "Fast {LTL} to {B{\"u}chi} Automata Translation",
432  BookTitle = "Proceedings of the 13th Conference on Computer Aided Verification (CAV'01)",
433  Publisher = "Springer",
434  Series    = lncs,
435  Number    = 2102,
436  Year      = 2001,
437  Pages     = "53--65"
438 }
439
440 @inproceedings{cg04:np,
441 inhal = {no},
442 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain},
443 title = {Analyse d'atteignabilit\'e d\'eductive},
444 booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
445 pages = {269--283},
446 editor = {Julliand, Jacques},
447 address = {Besan\c{c}on, France},
448 month = jun,
449 year = 2004,
450
451 }
452
453
454 @article{cdgr03:ij,
455 inhal = {no},
456 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
457 title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
458 journal = {Journal of the Brazilian Computer Society (JBCS)},
459 volume = 9,
460 number = 2,
461 pages = {17--36},
462 url = {http://lifc.univ-fcomte.fr/~couchot/pubs/CDGR03.pdf},
463 month = nov,
464 year = 2003,
465 note = {ISSN 0104-6500},
466
467 }
468
469
470 @inproceedings{cddg+04:ip,
471 inhal = {no},
472 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
473 equipe = {vesontio},
474 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
475 title = {Proving and Debugging Set-Based Specifications},
476 booktitle = {WMF'03 proceedings},
477 series = {ENTCS, Electronic Notes in Theoretical Computer Science},
478 volume = 95,
479 pages = {189--208},
480 editor = {A. Cavalcanti and P. Machado},
481 address = {Campina Grande, Brazil},
482 url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012},
483 month = may,
484 year = 2004,
485
486 }
487
488
489 @inproceedings{cdgr04:onp,
490 inhal = {no},
491 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
492 title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}},
493 pages = {369--372},
494 booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, },
495 address = {Besan\c{c}on, France},
496 month = jun,
497 year = 2004,
498 editor = {Julliand, Jacques},
499 note = {Session outils},
500
501 }
502
503
504 @INPROCEEDINGS{CGK05,
505   author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov},
506   title = {A uniform deductive approach for parameterized protocol safety},
507   booktitle = {ASE},
508   year = {2005},
509   pages = {364-367},
510   bibsource = {DBLP, http://dblp.uni-trier.de},
511   crossref = {DBLP:conf/kbse/2005},
512   ee = {http://doi.acm.org/10.1145/1101908.1101971}
513 }
514
515 @INPROCEEDINGS{abcvs05,
516   author = {Abbas, A. and Bahi, J. M. and Contassot-Vivier, S. and Salomon, M.},
517   title = {Mixing Synchronism / Asynchronism in Discrete-State Discrete-Time
518         Dynamic Networks},
519   booktitle = {4th Int. Conf. on Engineering Applications and Computational Algorithms,
520         DCDIS'2005},
521   year = {2005},
522   pages = {524--529},
523   address = {Guelph, Canada},
524   month = jul,
525   note = {ISSN 1492-8760}
526 }
527
528 @ARTICLE{Bah00,
529   author = {Bahi, J. M.},
530   title = {Boolean totally asynchronous iterations},
531   journal = ijma,
532   year = {2000},
533   volume = {1},
534   pages = {331--346}
535 }
536
537 @ARTICLE{BCV06,
538   author = {Bahi, J. M. and Contassot-Vivier, S.},
539   title = {Basins of attraction in fully asynchronous discrete-time discrete-state
540         dynamic networks},
541   journal = TNN,
542   year = {2006},
543   volume = {17},
544   pages = {397-408},
545   number = {2}
546 }
547
548 @ARTICLE{bcv02,
549   author = {Bahi, J. M. and Contassot-Vivier, S.},
550   title = {Stability of fully asynchronous discrete-time discrete-state dynamic
551         networks},
552   journal = TNN,
553   year = {2002},
554   volume = {13},
555   pages = {1353--1363},
556   number = {6}
557 }
558
559
560 @inproceedings{bcgr11:ip,
561 inhal = {no},
562 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
563 equipe = {and},
564 classement = {ACTI},
565 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Richard, Adrien},
566 title = {On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems},
567 booktitle = {FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory},
568 series = {LNCS},
569 volume = 6914,
570 pages = {126--137},
571 doi = {10.1007/978-3-642-22953-4_11},
572 url = {http://dx.doi.org/10.1007/978-3-642-22953-4_11},
573 address = {Oslo, Norway},
574 month = aug,
575 year = 2011,
576
577 }
578
579
580
581 @techreport{BCVC10:ir,
582   author = {Bahi, J. M. and Contassot-Vivier, S. and Couchot, J.-F.},
583   title = {Convergence Results of Combining Synchronism and Asynchronism for
584         Discrete-State Discrete-Time Dynamic Network},
585   year = {2010},
586  institution = {LIFC - Laboratoire d’{I}nformatique de 
587                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
588  type = {Research Report},
589  number = {RR2010-02},
590  pdf = {/publis/papers/pub/2010/RR2010-02.pdf},
591  month = may
592  }
593
594 @techreport{Cou10:ir,
595   author = {Couchot, J.-F.},
596   title = {Formal {C}onvergence {P}roof for {D}iscrete 
597 {D}ynamical {S}ystems},
598  institution = {LIFC - Laboratoire d’{I}nformatique de 
599                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
600  type = {Research Report},
601  number = {RR2010-03},
602  pdf = {/publis/papers/pub/2010/RR2010-03.pdf},
603  month = may,
604  year = 2010
605  }
606
607
608
609 @ARTICLE{BM00,
610   author = {Bahi, J. M. and Michel, C.},
611   title = {Convergence of discrete asynchronous iterations},
612   journal = {International Journal Computer Mathematics},
613   year = {2000},
614   volume = {74},
615   pages = {113--125}
616 }
617
618 @ARTICLE{BM99,
619   author = {Bahi, J. M. and Michel, C.},
620   title = {Simulations of asynchronous evolution of discrete systems},
621   journal = {Simulation Practice and Theory},
622   year = {1999},
623   volume = {7},
624   pages = {309--324}
625 }
626
627
628 @ARTICLE{Bau78,
629   author = {G\'{e}rard M. Baudet},
630   title = {Asynchronous Iterative Methods for Multiprocessors},
631   journal = JACM,
632   year = {1978},
633   volume = {25},
634   pages = {226--244},
635   number = {2},
636   doi = {http://doi.acm.org/10.1145/322063.322067},
637   issn = {0004-5411},
638   publisher = {ACM}
639 }
640
641 @BOOK{BT89,
642   title = {Parallel and distributed computation: numerical methods},
643   publisher = prenticeHall,
644   year = {1989},
645   author = {Dimitri P. Bertsekas and John N. Tsitsiklis},
646   isbn = {0-13-648700-9}
647 }
648
649 @ARTICLE{blast07,
650   author = {Dirk Beyer and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar},
651   title = {The software model checker Blast},
652   journal = STTT,
653   year = {2007},
654   volume = {9},
655   pages = {505-525},
656   number = {5-6}
657 }
658
659 @INPROCEEDINGS{LeCun85,
660   author = {Y Le~Cun},
661   title = {A learning scheme for threshold networks},
662   booktitle = {Cognitiva'95},
663   year = {1985},
664   pages = {599--604},
665   address = {Paris, France}
666 }
667
668 @ARTICLE{Elm90,
669   author = {Jeffrey L. Elman},
670   title = {Finding Structure in Time},
671   journal = {Cognitive Science},
672   year = {1990},
673   volume = {14},
674   pages = {179--211}
675 }
676
677 @ARTICLE{FS00,
678   author = {Andreas Frommer and Daniel B. Szyld},
679   title = {On asynchronous iterations},
680   journal = JCAM,
681   year = {2000},
682   volume = {123},
683   pages = {201--216},
684   number = {1-2},
685   doi = {http://dx.doi.org/10.1016/S0377-0427(00)00409-X},
686   issn = {0377-0427},
687   publisher = elsevier
688 }
689
690 @ARTICLE{GS08,
691   author = {Goles Ch., E. and Salinas,L.},
692   title = {Comparison between parallel and serial dynamics of Boolean networks},
693   journal = tcs,
694   year = {2008},
695   volume = {396},
696   pages = {247--253},
697   number = {1-3}
698 }
699
700 @BOOK{Hol03,
701   title = {The SPIN Model Checker: Primer and Reference Manual},
702   publisher = {Addison-Wesley, Pearson Education},
703   year = {2003},
704   author = {Gerard J. Holzmann}
705 }
706
707 @ARTICLE{SH99,
708   author = {Shih M.-H. and Ho, J.-L.},
709   title = {Solution of the Boolean Markus-Yamabe Problem},
710   journal = advapplMath,
711   year = {1999},
712   volume = {22},
713   pages = {60 - 102},
714   number = {1}
715 }
716
717 @ARTICLE{Ric08,
718   author = {Adrien Richard},
719   title = {An extension of a combinatorial fixed point theorem of Shih and Dong
720         },
721   journal = advapplMath,
722   year = {2008},
723   volume = {41},
724   pages = {620--627},
725   number = {4},
726   publisher = elsevier
727 }
728
729 @ARTICLE{RC07,
730   author = {Adrien Richard and Jean-Paul Comet},
731   title = {Necessary conditions for multistationarity in discrete dynamical
732         systems},
733   journal = discreteapplMath,
734   year = {2007},
735   volume = {155},
736   pages = {2403--2413},
737   number = {18},
738   issn = {0166-218X},
739   publisher = elsevier
740 }
741
742 @BOOK{Rob95,
743   title = {Les syst\`emes dynamiques discrets},
744   publisher = springer,
745   year = {1995},
746   author = {F. Robert},
747   volume = {19},
748   series = {Math\'ematiques et Applications}
749 }
750
751 @ARTICLE{SD05,
752   author = {Shih, M.-H. and Dong J.-L.},
753   title = {A combinatorial analogue of the Jacobian problem in automata networks},
754   journal = advapplMath,
755   year = {2005},
756   volume = {34},
757   pages = {30 - 46},
758   number = {1},
759   issn = {0196-8858}
760 }
761
762 @ARTICLE{Tho73,
763   author = {Thomas, R.},
764   title = {Boolean Formalization of Genetic Control Circuits},
765   journal = jtb,
766   year = {1973},
767   volume = {42},
768   pages = {563--585}
769 }
770
771 @ARTICLE{WJBG98,
772   author = {Xin Wang and Arun K. Jagota and Fernanda Botelho and Max H. Garzon},
773   title = {Absence of Cycles in Symmetric Neural Networks},
774   journal = NC,
775   year = {1998},
776   volume = {10},
777   pages = {1235-1249},
778   number = {5},
779   file = {:/home/couchot/rech/Ref/WJBG98.pdf:PDF}
780 }
781
782 @PROCEEDINGS{DBLP:conf/cav/2002,
783   title = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen,
784         Denmark, July 27-31, 2002, Proceedings},
785   year = {2002},
786   editor = {Ed Brinksma and Kim Guldstrand Larsen},
787   volume = {2404},
788   series = lncs,
789   publisher = springer,
790   booktitle = {CAV}
791 }
792
793 @PROCEEDINGS{DBLP:conf/kbse/2005,
794   title = {20th IEEE/ACM International Conference on Automated Software Engineering
795         (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
796   year = {2005},
797   editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
798   publisher = {ACM},
799   bibsource = {DBLP, http://dblp.uni-trier.de},
800   booktitle = {ASE}
801 }
802
803 @book{Mor08,
804  author = {Ben-Ari, Mordechai},
805  year = {2008},
806  title = {Principles of the Spin Model Checker},
807  isbn = {1846287693, 9781846287695}},
808  publisher = springer,
809  }
810
811
812 @INPROCEEDINGS{Wei97,
813   author = {Weise,Carsten},
814   title = {An incremental formal semantics for {PROMELA}},
815   booktitle = {SPIN97, the Third SPIN Workshop},
816   year = {1997},
817   pages = {}
818 }
819
820 @PHDTHESIS{Couchot-PhD06,
821   AUTHOR = {Couchot, Jean-Fran\c{c}ois},
822   TITLE = {V\'erification d'invariant de syst\`emes param\'etr\'es par
823   superposition},
824   MONTH = {avril},
825   SCHOOL = {LIFC, Universit\'e de Franche-Comt\'e},
826   TYPE = {Th\`ese de {D}octorat},
827   YEAR = {2006}
828 }
829
830 @Article{dJGH04,
831   author =       {de Jong, H. and Gouz\'e, J.-L. and Hernandez, C. and 
832                   Page, M. and Tewfik, S. and Geiselmann, J.},
833   title =        {Qualitative simulation of genetic regulatory networks 
834                   using piecewise-linear models},
835   journal =      {Bull. Math. Biol.},
836   year =         {2004},
837   OPTkey =       {},
838   volume =       {66},
839   number =       {2},
840   pages =        {301--340},
841   OPTmonth =     {},
842   OPTnote =      {},
843   OPTannote =    {}
844 }
845
846 @Article{BCRG04,
847   author =       {Bernot, G. and Comet, J.-P. and Richard, A. and Guespin, J.},
848   title =        {A Fruitful Application of Formal Methods to Biological 
849                   Regulatory Networks: Extending {T}homas' Asynchronous 
850                   Logical Approach with Temporal Logic},
851   journal =      {J. Theor. Biol.},
852   year =         {2004},
853   volume =       {229},
854   number =       {3},
855   pages =        {339--347},
856   EQUIPE =       {bioinfo},
857   KIND =         {intrevue}
858 }
859
860 @Article{GN06, 
861   author =       {Gonzales, A.G. and Naldi, A. and S\'anchez, L. and Thieffry, D. and Chaouiya, C.},
862   title =        {{GINsim}: a software suite for the qualitative modelling, simulation and analysis of regulatory networks},
863   journal =      {Biosystems},
864   year =         {2006},
865   OPTkey =       {},
866   volume =       {84},
867   number =       {2},
868   pages =        {91--100},
869   OPTmonth =     {},
870   OPTnote =      {},
871   OPTannote =    {}
872 }
873
874 @Article{dJGH03,
875   author =       {De Jong, H. and Geiselmann, J. and Hernandez, C. and 
876                   Page, M.},
877   title =        {Genetic Network Analyzer: qualitative simulation 
878                   of genetic regulatory networks.},
879   journal =      {Bioinformatics},
880   year =         {2003},
881   volume =       {19},
882   number =       {3},
883   pages =        {336-44.}
884 }
885
886 @Article{KCRB09,
887   author =       {Khalis, Z. and Comet, J.-P. and Richard, A. and Bernot, G.},
888   title =        {The SMBioNet Method for Discovering Models of Gene Regulatory Networks},
889   journal =      {Genes, Genomes and Genomics},
890   year =         {2009},
891   OPTkey =       {},
892   volume =       {3},
893   number =       {1},
894   OPTpages =     {15-22},
895   OPTmonth =     {},
896   OPTnote =      {},
897   OPTannote =    {}
898 }
899
900 @article{ARBCR08,
901  author = {Ahmad, Jamil and Roux, Olivier and Bernot, Gilles and Comet, Jean-Paul and Richard, Adrien},
902  title = {Analysing formal models of genetic regulatory networks with delays},
903  journal = {Int. J. Bioinformatics Res. Appl.},
904  volume = {4},
905  number = {3},
906  year = {2008},
907  issn = {1744-5485},
908  pages = {240--262},
909  doi = {http://dx.doi.org/10.1504/IJBRA.2008.019573},
910  publisher = {Inderscience Publishers},
911  address = {Inderscience Publishers, Geneva, SWITZERLAND},
912  }
913 @TechReport{R09-c,
914   author =       {Richard, A.},
915   title =        {Local negative circuits and fixed points in Boolean networks},
916   institution =  {preprint arXiv number 0910.0750},
917   year =         {2009},
918   OPTkey =       {},
919   OPTtype =      {},
920   OPTnumber =    {},
921   OPTaddress =   {},
922   OPTmonth =     {},
923   OPTnote =      {},
924   OPTannote =    {}
925 }
926
927
928 @ARTICLE{RRT08,
929   author = {Remy, R. and Ruet, P. and Thieffry, D.},
930   title = {Graphic requirement for multistability and attractive cycles in a
931         Boolean dynamical framework},
932   journal = {Advances in Applied Mathematics},
933   year = {2008},
934   volume = {41},
935   pages = {335-350},
936   number = {3},
937   owner = {couchot},
938   timestamp = {2009.02.05}
939 }
940
941 @inproceedings{DBLP:conf/icann/BahiCMMS06,
942   author    = {Jacques M. Bahi and
943                Sylvain Contassot-Vivier and
944                Libor Makovicka and
945                {\'E}ric Martin and
946                Marc Sauget},
947   title     = {Neural Network Based Algorithm for Radiation Dose Evaluation
948                in Heterogeneous Environments},
949   booktitle = {ICANN (2)},
950   year      = {2006},
951   pages     = {777-787},
952   ee        = {http://dx.doi.org/10.1007/11840930_81},
953   crossref  = {DBLP:conf/icann/2006-2},
954   bibsource = {DBLP, http://dblp.uni-trier.de}
955 }
956
957 @proceedings{DBLP:conf/icann/2006-2,
958   editor    = {Stefanos D. Kollias and
959                Andreas Stafylopatis and
960                Wlodzislaw Duch and
961                Erkki Oja},
962   title     = {Artificial Neural Networks - ICANN 2006, 16th International
963                Conference, Athens, Greece, September 10-14, 2006. Proceedings,
964                Part II},
965   booktitle = {ICANN (2)},
966   publisher = {Springer},
967   series    = {Lecture Notes in Computer Science},
968   volume    = {4132},
969   year      = {2006},
970   isbn      = {3-540-38871-0},
971   bibsource = {DBLP, http://dblp.uni-trier.de}
972 }
973
974
975
976
977 @Book{Drey08,
978   author =       {Dreyfus, Gérard and Martinez, Jean-Marc and Samuelides, Manuel   and Gordon, Mirta B.  and Badran, Fouad  and Thiria, Sylvie },
979   ALTeditor =    {},
980   title =        {Apprentissage statistique, Réseaux de neurones - Cartes topologiques - Machines à vecteurs supports},
981   publisher =    {Eyrolles},
982   year =         {2008},
983   OPTkey =       {},
984   OPTvolume =    {},
985   OPTnumber =    {},
986   OPTseries =    {},
987   OPTaddress =   {},
988   OPTedition =   {},
989   OPTmonth =     {},
990   OPTnote =      {},
991   OPTannote =    {}
992 }
993
994
995
996
997
998 @BOOK{Devaney,
999   title = {An Introduction to Chaotic Dynamical Systems},
1000   publisher = {Redwood City: Addison-Wesley},
1001   year = {1989},
1002   author = {R. L. Devaney},
1003   edition = {2nd},
1004   owner = {guyeux},
1005   timestamp = {27/01/2008}
1006 }
1007
1008
1009 @article{cds13:ij,
1010 inhal = {no},
1011 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1012 equipe = {and},
1013 classement = {ACLI},
1014 impact-factor ={1.255},
1015 isi-acro = {MECHATRONICS},
1016 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
1017 title = {Active {MEMS}-based flow control using artificial neural network},
1018 journal = {Mechatronics},
1019 volume = 23,
1020 number = 7,
1021 pages = {898--905},
1022 doi = {10.1016/j.mechatronics.2013.02.010},
1023 url = {http://dx.doi.org/10.1016/j.mechatronics.2013.02.010},
1024 abstract = {These last years several research works have studied the application of Micro-Electro-Mechanical Systems (MEMS) for aerodynamic active flow control. Controlling such MEMS-based systems remains a challenge. Among the several existing control approaches for time varying systems, many of them use a process model representing the dynamic behavior of the process to be controlled. The purpose of this paper is to study the suitability of an artificial neural network first to predict the flow evolution induced by MEMS, and next to optimize the flow w.r.t. a numerical criterion. To achieve this objective, we focus on a dynamic flow over a backward facing step where MEMS actuators velocities are adjusted to maximize the pressure over the step surface. The first effort has been to establish a baseline database provided by computational fluid dynamics simulations for training the neural network. Then we investigate the possibility to control the flow through MEMS configuration changes. Results are promising, despite slightly high computational times for real time application.},
1025 publisher = {Elsevier},
1026 month = oct,
1027 year = 2013,
1028 note = {Available online. Paper version to appear},
1029
1030 }
1031
1032
1033 @inproceedings{cds12:ip,
1034 inhal = {no},
1035 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1036 equipe = {and},
1037 classement = {ACTI},
1038 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
1039 title = {Suitability of Artificial Neural Network for {MEMS}-based Flow Control},
1040 booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS},
1041 pages = {1--6},
1042 editor = {Bourgeois, Julien and de Labachelerie, Michel},
1043 address = {Besan\c{c}on, France},
1044 publisher = {IEEE CPS},
1045 month = apr,
1046 year = 2012,
1047
1048 }
1049
1050
1051 @article{bcgs12:ij,
1052 inhal = {no},
1053 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1054 equipe = {and},
1055 classement = {ACLI},
1056 impact-factor ={2.081},
1057 isi-acro = {CHAOS},
1058 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
1059 title = {Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network},
1060 journal = {Chaos, An Interdisciplinary Journal of Nonlinear Science},
1061 volume = 22,
1062 number = 1,
1063 pages = {013122-1 -- 013122-9},
1064 doi = {10.1063/1.3685524},
1065 url = {http://dx.doi.org/10.1063/1.3685524},
1066 publisher = {American Institute of Physics},
1067 month = mar,
1068 year = 2012,
1069 note = {9 pages},
1070
1071 }
1072
1073
1074 @inproceedings{bgs11:ip,
1075 inhal = {no},
1076 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1077 equipe = {and},
1078 classement = {ACTI},
1079 author = {Bahi, Jacques M. and Guyeux, Christophe and Salomon, Michel},
1080 title = {Building a Chaotic Proven Neural Network},
1081 booktitle = {ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security},
1082 address = {Maldives, Maldives},
1083 month = may,
1084 year = 2011,
1085 }
1086
1087 @ARTICLE{guyeux09,
1088   author = {Bahi, Jacques M. and Guyeux, Christophe},
1089   title = {Hash Functions Using Chaotic Iterations},
1090   journal = {Journal of Algorithms \& Computational Technology},
1091   year = {2010},
1092   volume = {4},
1093   pages = {167--181},
1094   number = {2},
1095   classement = {ACLNI},
1096   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1097   equipe = {and},
1098   impact-factor = {#},
1099   inhal = {no},
1100   isi-acro = {#}
1101 }
1102
1103
1104
1105 @PHDTHESIS{GuyeuxThese10,
1106   author = {Christophe Guyeux},
1107   title = {Le d\'{e}sordre des it\'{e}rations chaotiques et leur utilit\'{e}
1108         en s\'{e}curit\'{e} informatique},
1109   school = {Universit\'{e} de Franche-Comt\'{e}},
1110   year = {2010},
1111   owner = {christophe},
1112   timestamp = {2010.12.21}
1113 }
1114
1115 @INPROCEEDINGS{gfb10:ip,
1116   author = {Guyeux, Christophe and Friot, Nicolas and Bahi, Jacques M.},
1117   title = {Chaotic iterations versus Spread-spectrum: chaos and stego security},
1118   booktitle = {IIH-MSP'10, 6-th International Conference on Intelligent Information Hiding and
1119         Multimedia Signal Processing},
1120   year = {2010},
1121   pages = {208--211},
1122   address = {Darmstadt, Germany},
1123   month = oct,
1124   classement = {ACTI},
1125   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1126   equipe = {and},
1127   inhal = {no}
1128 }
1129
1130
1131 @ARTICLE{Adler65,
1132   author = {R. L. Adler and A. G. Konheim and M. H. McAndrew},
1133   title = {Topological entropy},
1134   journal = {Transactions of the American Mathematical Society},
1135   year = {1965},
1136   volume = {114},
1137   pages = {309-319},
1138   owner = {guyeux},
1139   timestamp = {2008.05.29}
1140 }
1141
1142 @ARTICLE{Bowen,
1143   author = {Rufus Bowen},
1144   title = {Entropy for group endomorphisms and homogeneous spaces},
1145   journal = {Transactions of the American Mathematical Society},
1146   year = {1971},
1147   volume = {153},
1148   pages = {401-414},
1149   owner = {guyeux},
1150   timestamp = {15/02/2008}
1151 }
1152
1153 @article{10.1109/CIMSiM.2010.36,
1154 author = {Jiri Holoska and Zuzana Oplatkova and Ivan Zelinka and Roman Senkerik},
1155 title = {Comparison between Neural Network Steganalysis and Linear Classification Method Stegdetect},
1156 journal ={Computational Intelligence, Modelling and Simulation, International Conference on.},
1157 volume = {0},
1158 year = {2010},
1159 pages = {15-20},
1160 doi = {http://doi.ieeecomputersociety.org/10.1109/CIMSiM.2010.36},
1161 publisher = {IEEE Computer Society},
1162 address = {Los Alamitos, CA, USA},
1163 }
1164 @article{10.1109/ICME.2003.1221665,
1165 author = {Liu Shaohui and Yao Hongxun and Gao Wen},
1166 title = {Neural network based steganalysis in still images},
1167 journal ={Multimedia and Expo, IEEE International Conference on},
1168 volume = {2},
1169 year = {2003},
1170 pages = {509-512},
1171 doi = {http://doi.ieeecomputersociety.org/10.1109/ICME.2003.1221665},
1172 publisher = {IEEE Computer Society},
1173 address = {Los Alamitos, CA, USA},
1174 }
1175
1176 @ARTICLE{Sullivan06steganalysisfor,
1177     author = {Sullivan, Kenneth and Madhow,Upamanyu  and Chandrasekaran,Shivkumar  and Manjunath,B. S.  },
1178     title = {Steganalysis for Markov cover data with applications to images},
1179     journal = {IEEE Transactions on Information Forensics and Security},
1180     year = {2006},
1181     volume = {1},
1182     pages = {275--287}
1183 }
1184
1185
1186 @misc{Gray47,
1187 year=1953, 
1188 author = "Gray, Frank",
1189 title = "Pulse code communication",
1190 note = "{US} Patent 2,632,058, March 17 1953,(filed November 13 1947)"}
1191
1192
1193
1194
1195 @INPROCEEDINGS{guyeux10ter,
1196   author = {Bahi, Jacques M. and Guyeux, Christophe},
1197   title = {A new chaos-based watermarking algorithm},
1198   booktitle = {SECRYPT'10, International Conference on Security 
1199 and Cryptography},
1200   year = {2010},
1201   pages = {455--458},
1202   address = {Athens, Greece},
1203   month = jul,
1204   publisher = {SciTePress},
1205   classement = {ACTI},
1206   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1207   equipe = {and},
1208   inhal = {no}
1209 }
1210
1211
1212 @inproceedings{Qiao:2009:SM:1704555.1704664,
1213  author = {Qiao, Mengyu and Sung, Andrew H. and Liu, Qingzhong},
1214  title = {Steganalysis of MP3Stego},
1215  booktitle = {Proceedings of the 2009 international joint conference on Neural Networks},
1216  series = {IJCNN'09},
1217  year = {2009},
1218  location = {Atlanta, Georgia, USA},
1219  pages = {2723--2728},
1220  numpages = {6},
1221  publisher = {IEEE Press}
1222
1223
1224 @inproceedings{CouchotD07IFM,
1225 inhal = {no},
1226 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1227 equipe = {ie},
1228 classement = {*},
1229 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric},
1230 title = {Guiding the Correction of Parameterized Specifications},
1231 booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods},
1232 pages = {176--194},
1233 series = {LNCS},
1234 volume = 4591,
1235 publisher = {Springer},
1236 doi = {10.1007/978-3-540-73210-5_10},
1237 url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10},
1238 address = {Oxford, UK},
1239 month = jul,
1240 year = 2007,
1241
1242 }
1243
1244 @inproceedings{couchot07FTP,
1245 inhal = {no},
1246 equipe = {and},
1247 classement = {*},
1248 author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.},
1249 title = {A Graph-based Strategy for the Selection of Hypotheses},
1250 booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving},
1251 address = {Liverpool, UK},
1252 month = sep,
1253 year = 2007,
1254
1255 }
1256
1257
1258 @inproceedings{cgs09:ip,
1259 inhal = {inria},
1260 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1261 equipe = {ie},
1262 classement = {ACTI},
1263 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas},
1264 title = {{G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions},
1265 abstract = {{I}ncreasing the automaticity of proofs in deductive verification of {C} programs is a challenging task. {W}hen applied to industrial {C} programs known heuristics to generate simpler verification conditions are not efficient enough. {T}his is mainly due to their size and a high number of irrelevant hypotheses. {T}his work presents a strategy to reduce program verification conditions by selecting their relevant hypotheses. {T}he relevance of a hypothesis is determined by the combination of a syntactic analysis and two graph traversals. {T}he first graph is labeled by constants and the second one by the predicates in the axioms. {T}he approach is applied on a benchmark arising in industrial program verification.},
1266 affiliation = {{L}aboratoire d'{I}nformatique de l'{U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {LIFC} - {INRIA} - {U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {AMAZONES} - {CITI} {I}nsa {L}yon / {INRIA} {G}renoble {R}h{\^o}ne-{A}lpes - {INSA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es - {INRIA} },
1267 booktitle = {AFM'09, {A}utomated {F}ormal {M}ethods (colocated with {CAV}'09)},
1268 publisher = {ACM Press},
1269 pages = {40--47},
1270 url = {http://arxiv.org/abs/0907.1357},
1271 otherUrl = {http://hal.inria.fr/inria-00402204},
1272 address = {Grenoble, France},
1273 editor = {Hassen Sa\"{i}di and N. Shankar},
1274 year = 2009,
1275
1276 }
1277
1278
1279
1280 @inproceedings{couchot07cade,
1281 inhal = {no},
1282 equipe = {and},
1283 classement = {*},
1284 author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.},
1285 title = {Handling Polymorphism in Automated Deduction},
1286 booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction},
1287 pages = {263--278},
1288 series = {LNCS},
1289 volume = 4603,
1290 publisher = {Springer},
1291 isbn = {978-3-540-73594-6},
1292 doi = {10.1007/978-3-540-73595-3_18},
1293 url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18},
1294 address = {Bremen, Germany},
1295 month = jul,
1296 year = 2007,
1297
1298 }
1299
1300
1301
1302
1303
1304
1305
1306 @inproceedings{BCDG07,
1307 inhal = {no},
1308 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1309 equipe = {vesontio},
1310 classement = {ACTI},
1311 author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain},
1312 title = {Instantiation of Parameterized Data Structures for Model-Based Testing},
1313 booktitle = {B'2007, the 7th Int. B Conference},
1314 pages = {96--110},
1315 series = {LNCS},
1316 volume = 4355,
1317 publisher = {Springer},
1318 doi = {10.1007/11955757_10},
1319 url = {http://dx.doi.org/10.1007/11955757_10},
1320 editor = {Julliand, Jacques and Kouchnarenko, Olga},
1321 address = {Besancon, France},
1322 month = jan,
1323 year = 2007,
1324
1325 }
1326
1327
1328
1329 @article{byrd1995limited,
1330  author = {Byrd, Richard H. and Lu, Peihuang and Nocedal, Jorge and Zhu, Ciyou},
1331  title = {A Limited Memory Algorithm for Bound Constrained Optimization},
1332  journal = {SIAM J. Sci. Comput.},
1333  issue_date = {Sept. 1995},
1334  volume = {16},
1335  number = {5},
1336  month = sep,
1337  year = {1995},
1338  issn = {1064-8275},
1339  pages = {1190--1208},
1340  numpages = {19},
1341  url = {http://dx.doi.org/10.1137/0916069},
1342  doi = {10.1137/0916069},
1343  acmid = {210980},
1344  publisher = {Society for Industrial and Applied Mathematics},
1345  address = {Philadelphia, PA, USA},
1346  keywords = {bound constrained optimization, large-scale optimization, limited memory method, nonlinear optimization, quasi-Newton method},
1347
1348
1349 @article{ANU:1770520,
1350 author = {Powell,M. J. D.},
1351 title = {Direct search algorithms for optimization calculations},
1352 journal = {Acta Numerica},
1353 volume = {7},
1354 month = {1},
1355 year = {1998},
1356 issn = {1474-0508},
1357 pages = {287--336},
1358 numpages = {50},
1359 doi = {10.1017/S0962492900002841},
1360 URL = {http://journals.cambridge.org/article_S0962492900002841},
1361 }
1362
1363 @article{Wang13,
1364 year={2013},
1365 issn={0920-8542},
1366 journal={The Journal of Supercomputing},
1367 volume={64},
1368 number={3},
1369 doi={10.1007/s11227-010-0500-5},
1370 title={Communication-resource-aware adaptive watermarking for multimedia authentication in wireless multimedia sensor networks},
1371 url={http://dx.doi.org/10.1007/s11227-010-0500-5},
1372 publisher={Springer US},
1373 keywords={Watermarking; Authentication; Wireless multimedia sensor network},
1374 author={Wang, Honggang},
1375 pages={883-897},
1376 language={English}
1377 }
1378
1379 @ARTICLE{HLG09, 
1380 author={Yifeng He and Lee, I. and Ling Guan}, 
1381 journal={Circuits and Systems for Video Technology, IEEE Transactions on}, 
1382 title={Distributed Algorithms for Network Lifetime Maximization in Wireless Visual Sensor Networks}, 
1383 year={2009}, 
1384 volume={19}, 
1385 number={5}, 
1386 pages={704-718}, 
1387 keywords={distributed algorithms;video communication;wireless sensor networks;Lagrangian duality;distributed algorithms;network lifetime maximization;numerical simulations;routing scheme;video quality;video sensor nodes;wireless visual sensor networks;Convex optimization;distributed algorithms;network lifetime maximization;power consumption;wireless visual sensor network}, 
1388 doi={10.1109/TCSVT.2009.2017411}, 
1389 ISSN={1051-8215}}
1390
1391 @ARTICLE{PM06, 
1392 author={Palomar, D.P. and Mung Chiang}, 
1393 journal={Selected Areas in Communications, IEEE Journal on}, 
1394 title={A tutorial on decomposition methods for network utility maximization}, 
1395 year={2006}, 
1396 volume={24}, 
1397 number={8}, 
1398 pages={1439-1451}, 
1399 keywords={distributed algorithms;gradient methods;radio networks;resource allocation;Gauss-Seidel iteration;Jacobi method;Lagrange duality;decomposition method;decoupling technique;distributed algorithm;modular network;network utility maximization;resource allocation;subgradient method;Congestion control;cross-layer design;decomposition;distributed algorithm;network architecture;network control by pricing;network utility maximization;optimization;power control;resource allocation}, 
1400 doi={10.1109/JSAC.2006.879350}, 
1401 ISSN={0733-8716}}
1402
1403 @article{HFD14,
1404 year={2014},
1405 journal={EURASIP Journal on Information Security},
1406 eid={1},
1407 volume={2014},
1408 number={1},
1409 doi={10.1186/1687-417X-2014-1},
1410 title={Universal distortion function for steganography in an arbitrary domain},
1411 url={http://dx.doi.org/10.1186/1687-417X-2014-1},
1412 publisher={Springer International Publishing},
1413 author={Holub, Vojtěch and Fridrich, Jessica and Denemark, Tomáš},
1414 language={English}
1415 }
1416
1417 @inproceedings{conf/wifs/HolubF12,
1418   added-at = {2013-01-23T00:00:00.000+0100},
1419   author = {Holub, Vojtech and Fridrich, Jessica J.},
1420   biburl = {http://www.bibsonomy.org/bibtex/2a685b4b8b521ac99734fb52c064ca994/dblp},
1421   booktitle = {WIFS},
1422   crossref = {conf/wifs/2012},
1423   ee = {http://dx.doi.org/10.1109/WIFS.2012.6412655},
1424   interhash = {cbef658a6868216eef585dd759ae0668},
1425   intrahash = {a685b4b8b521ac99734fb52c064ca994},
1426   isbn = {978-1-4673-2285-0},
1427   keywords = {dblp},
1428   pages = {234-239},
1429   publisher = {IEEE},
1430   timestamp = {2013-01-23T00:00:00.000+0100},
1431   title = {Designing steganographic distortion using directional filters.},
1432   url = {http://dblp.uni-trier.de/db/conf/wifs/wifs2012.html#HolubF12},
1433   year = 2012
1434 }
1435
1436
1437
1438
1439 @article{FillerJF11,
1440   author    = {Tom{\'a}s Filler and
1441                Jan Judas and
1442                Jessica J. Fridrich},
1443   title     = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis
1444                Codes},
1445   journal   = {IEEE Transactions on Information Forensics and Security},
1446   volume    = {6},
1447   number    = {3-2},
1448   year      = {2011},
1449   pages     = {920-935},
1450   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1451   bibsource = {DBLP, http://dblp.uni-trier.de}
1452 }
1453
1454 @inproceedings{DBLP:conf/ih/PereiraVMMP01,
1455   editor    = {Ira S. Moskowitz},
1456   author    = {Shelby Pereira and
1457                Sviatoslav Voloshynovskiy and
1458                Maribel Madueno and
1459                St{\'e}phane Marchand-Maillet and
1460                Thierry Pun},
1461   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1462                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1463   title     = {Second Generation Benchmarking and Application Oriented
1464                Evaluation},
1465   year      = {2001},
1466   pages     = {340-353},
1467   series    = lncs,
1468   publisher = springer,
1469   address = springer_loc,
1470   month = apr,
1471   volume    = {2137},
1472 }
1473
1474
1475 @inproceedings{DBLP:conf/ih/Westfeld01,
1476   added-at = {2011-06-28T00:00:00.000+0200},
1477   author = {Westfeld, Andreas},
1478   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1479                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1480   editor    = {Ira S. Moskowitz},
1481   pages = {289-302},
1482   publisher = springer,
1483   address = springer_loc,
1484   month=apr,
1485   series = lncs,
1486   title = {F5-A Steganographic Algorithm.},
1487   volume = 2137,
1488   year = 2001
1489 }
1490
1491
1492
1493
1494
1495 @article{Chang20101286,
1496 title = "Hybrid wet paper coding mechanism for steganography employing n-indicator and fuzzy edge detector",
1497 journal = "Digital Signal Processing",
1498 volume = "20",
1499 number = "4",
1500 pages = "1286 - 1307",
1501 year = "2010",
1502 note = "",
1503 issn = "1051-2004",
1504 doi = "10.1016/j.dsp.2009.11.005",
1505 url = "http://www.sciencedirect.com/science/article/pii/S1051200409002413",
1506 author = "Chin-Chen Chang and Jung-San Lee and T. Hoang Ngan Le",
1507 keywords = "Security",
1508 keywords = "Wet paper coding",
1509 keywords = "Steganography",
1510 keywords = "Indicator",
1511 keywords = "Fuzzy edge detector"
1512 }
1513
1514
1515
1516 @article{Hu:2007:HPE:1282866.1282944,
1517  author = {Hu, Liming and Cheng, H. D. and Zhang, Ming},
1518  title = {A high performance edge detector based on fuzzy inference rules},
1519  journal = {Inf. Sci.},
1520  issue_date = {November, 2007},
1521  volume = {177},
1522  number = {21},
1523  month = nov,
1524  year = {2007},
1525  issn = {0020-0255},
1526  pages = {4768--4784},
1527  numpages = {17},
1528  url = {http://dx.doi.org/10.1016/j.ins.2007.04.001},
1529  doi = {10.1016/j.ins.2007.04.001},
1530  acmid = {1282944},
1531  publisher = {Elsevier Science Inc.},
1532  address = {New York, NY, USA},
1533  keywords = {Edge detector, Fuzzy If-Then inference rule, Fuzzy maximum entropy principle, Linguistic variables},
1534
1535
1536
1537 @inproceedings{Dumitrescu:2005:LSB:1073170.1073176,
1538   author    = {Sorina Dumitrescu and
1539                Xiaolin Wu},
1540   editor    = {Ahmet M. Eskicioglu and
1541                Jessica J. Fridrich and
1542                Jana Dittmann},
1543   title     = {LSB steganalysis based on high-order statistics},
1544   booktitle     = {Proceedings of the 7th workshop on Multimedia {\&} Security,
1545                MM{\&}Sec 2005, New York, NY, USA, August 1-2, 2005, 2006},
1546   year      = {2005},
1547   publisher = {ACM},
1548   address = {New York, NY, USA},
1549   month=aug,
1550   pages     = {25-32},
1551   ee        = {http://doi.acm.org/10.1145/1073170.1073176},
1552   bibsource = {DBLP, http://dblp.uni-trier.de}
1553 }
1554
1555 @inproceedings{DBLP:conf/ih/Ker05,
1556   author    = {Andrew D. Ker},
1557   title     = {A General Framework for Structural Steganalysis of LSB Replacement},
1558   editor    = {Mauro Barni and
1559                Jordi Herrera-Joancomart\'{\i} and
1560                Stefan Katzenbeisser and
1561                Fernando P{\'e}rez-Gonz{\'a}lez},
1562   booktitle     = {Information Hiding, 7th International Workshop, IH 2005,
1563                Barcelona, Spain, June 6-8, 2005, Revised Selected Papers},
1564   year      = {2005},
1565   pages     = {296-311},
1566   ee        = {http://dx.doi.org/10.1007/11558859_22},
1567   publisher = springer,
1568   address = springer_loc,
1569   month= jun,
1570   series    = lncs,
1571   volume    = {3727},
1572 }
1573
1574
1575 @inproceedings{FK12,
1576   editor    = {Matthias Kirchner and
1577                Dipak Ghosal},
1578   booktitle     = {Information Hiding - 14th International Conference, IH 2012,
1579                Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers},
1580   author    = {Jessica J. Fridrich and
1581                Jan Kodovsk{\'y}},
1582   title     = {Steganalysis of LSB Replacement Using Parity-Aware Features},
1583   month=may,
1584   year      = {2012},
1585   pages     = {31-45},
1586   ee        = {http://dx.doi.org/10.1007/978-3-642-36373-3_3},
1587   volume    = {7692},
1588   publisher = springer,
1589   address = springer_loc,
1590   series    = lncs,
1591   bibsource = {DBLP, http://dblp.uni-trier.de}
1592 }
1593
1594
1595 @article{DBLP:journals/tsp/DumitrescuWW03,
1596   added-at = {2012-02-06T00:00:00.000+0100},
1597   author = {Dumitrescu, Sorina and Wu, Xiaolin and Wang, Zhe},
1598   biburl = {http://www.bibsonomy.org/bibtex/2556caad9b61980d3458885153a52321c/dblp},
1599   ee = {http://dx.doi.org/10.1109/TSP.2003.812753},
1600   interhash = {f51bec0b4e4f8aba644eb0938018d2c6},
1601   intrahash = {556caad9b61980d3458885153a52321c},
1602   journal = {IEEE Transactions on Signal Processing},
1603   keywords = {dblp},
1604   number = 7,
1605   pages = {1995-2007},
1606   timestamp = {2012-02-06T00:00:00.000+0100},
1607   title = {Detection of LSB steganography via sample pair analysis.},
1608   url = {http://dblp.uni-trier.de/db/journals/tsp/tsp51.html#DumitrescuWW03},
1609   volume = 51,
1610   year = 2003
1611 }
1612
1613
1614
1615
1616 @inproceedings{DBLP:conf/mmsec/FridrichGD01,
1617   editor    = {Nicolas D. Georganas and
1618                Radu Popescu-Zeletin},
1619   booktitle     = {Proceedings of the 4th workshop on Multimedia {\&} Security:
1620                New Challenges, MM{\&}Sec 2001, Ottawa, Ontario, Canada,
1621                October 5, 2001},
1622   author    = {Jessica J. Fridrich and
1623                Miroslav Goljan and
1624                Rui Du},
1625   title     = {Reliable detection of LSB steganography in color and grayscale
1626                images},
1627   year      = {2001},
1628   pages     = {27-30},
1629   ee        = {http://doi.acm.org/10.1145/1232454.1232466},
1630   publisher = {ACM},
1631   address = {New York, NY, USA},
1632   month = oct,
1633   bibsource = {DBLP, http://dblp.uni-trier.de}
1634 }
1635
1636
1637
1638
1639
1640 @inproceedings{DBLP:conf/ih/PevnyFB10,
1641   author    = {Tom{\'a}s Pevn{\'y} and
1642                Tom{\'a}s Filler and
1643                Patrick Bas},
1644   title     = {Using High-Dimensional Image Models to Perform Highly Undetectable
1645                Steganography},
1646   editor    = {Rainer B{\"o}hme and
1647                Philip W. L. Fong and
1648                Reihaneh Safavi-Naini},
1649   booktitle     = {Information Hiding - 12th International Conference, IH 2010,
1650                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1651                Papers},
1652   year      = {2010},
1653   pages     = {161-177},
1654   month=jun,
1655   publisher = springer,
1656   address = springer_loc,
1657   series    = lncs,
1658   volume    = {6387},
1659   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4_13},
1660   bibsource = {DBLP, http://dblp.uni-trier.de}
1661 }
1662
1663
1664
1665
1666
1667 @Misc{Boss10,
1668         OPTkey =                         {},
1669         author    = {Tom{\'a}s Pevn{\'y} and
1670                Tom{\'a}s Filler and
1671                Patrick Bas},
1672
1673         title =                  {Break Our Steganographic System},
1674         OPThowpublished = {},
1675         OPTmonth =               {},
1676         year =           {2010},
1677         note =           {Available at \url{http://www.agents.cz/boss/}},
1678         OPTannote =      {}
1679 }
1680
1681 @proceedings{DBLP:conf/ih/2010,
1682   editor    = {Rainer B{\"o}hme and
1683                Philip W. L. Fong and
1684                Reihaneh Safavi-Naini},
1685   title     = {Information Hiding - 12th International Conference, IH 2010,
1686                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1687                Papers},
1688   booktitle = {Information Hiding},
1689   publisher = springer,
1690   address = springer_loc,
1691   series    = lncs,
1692   volume    = {6387},
1693   year      = {2010},
1694   isbn      = {978-3-642-16434-7},
1695   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4},
1696   bibsource = {DBLP, http://dblp.uni-trier.de}
1697 }
1698
1699
1700 @article{DBLP:journals/eswa/ChenCL10,
1701   added-at = {2010-07-21T15:44:10.000+0200},
1702   author = {Chen, Wen-Jan and Chang, Chin-Chen and Le, T. Hoang Ngan},
1703   biburl = {http://www.bibsonomy.org/bibtex/228889a4ab329da28559f0910469f054b/dblp},
1704   date = {2010-05-03},
1705   ee = {http://dx.doi.org/10.1016/j.eswa.2009.09.050},
1706   interhash = {bc34a5f04661fee24ee62c39e76361be},
1707   intrahash = {28889a4ab329da28559f0910469f054b},
1708   journal = {Expert Systems with Applications},
1709   keywords = {dblp}, 
1710   number = 4,
1711   pages = {3292-3301},
1712   timestamp = {2010-07-21T15:44:10.000+0200},
1713   title = {High payload steganography mechanism using hybrid edge detector.},
1714   url = {http://dblp.uni-trier.de/db/journals/eswa/eswa37.html#ChenCL10},
1715   volume = 37,
1716   year = 2010
1717 }
1718
1719 @article{DBLP:journals/tifs/FillerJF11,
1720   added-at = {2011-09-29T00:00:00.000+0200},
1721   author = {Filler, Tomás and Judas, Jan and Fridrich, Jessica J.},
1722   biburl = {http://www.bibsonomy.org/bibtex/250e43c05a74eec17524b3df8db442da5/dblp},
1723   ee = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1724   interhash = {b27d23ed0c9936d568e16c51378abccd},
1725   intrahash = {50e43c05a74eec17524b3df8db442da5},
1726   journal = {IEEE Transactions on Information Forensics and Security},
1727   keywords = {dblp},
1728   number = {3-2},
1729   pages = {920-935},
1730   timestamp = {2011-09-29T00:00:00.000+0200},
1731   title = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis Codes.},
1732   url = {http://dblp.uni-trier.de/db/journals/tifs/tifs6.html#FillerJF11},
1733   volume = 6,
1734   year = 2011
1735 }
1736
1737
1738
1739
1740 @inproceedings{DBLP:conf/ih/KimDR06,
1741   added-at = {2007-09-20T00:00:00.000+0200},
1742   author = {Kim, Younhee and Duric, Zoran and Richards, Dana},
1743   biburl = {http://www.bibsonomy.org/bibtex/2f0324f70d62d9dfba568e393920aaa16/dblp},
1744   booktitle = {Information Hiding},
1745   crossref = {DBLP:conf/ih/2006},
1746   date = {2007-09-20},
1747   description = {dblp},
1748   editor = {Camenisch, Jan and Collberg, Christian S. and Johnson, Neil F. and Sallee, Phil},
1749   ee = {http://dx.doi.org/10.1007/978-3-540-74124-4_21},
1750   interhash = {399aab122b39cfd6f6e951a1b276c786},
1751   intrahash = {f0324f70d62d9dfba568e393920aaa16},
1752   isbn = {978-3-540-74123-7},
1753   keywords = {dblp},
1754   pages = {314-327},
1755   month=jul,
1756   publisher = springer,
1757   address = springer_loc,
1758   series = lncs,
1759   timestamp = {2007-09-20T00:00:00.000+0200},
1760   title = {Modified Matrix Encoding Technique for Minimal Distortion Steganography.},
1761   url = {http://dblp.uni-trier.de/db/conf/ih/ih206.html#KimDR06},
1762   volume = 4437,
1763   year = 2006
1764 }
1765
1766
1767 @proceedings{DBLP:conf/ih/2006,
1768   editor    = {Jan Camenisch and
1769                Christian S. Collberg and
1770                Neil F. Johnson and
1771                Phil Sallee},
1772   title     = {Information Hiding, 8th International Workshop, IH 2006,
1773                Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers},
1774   booktitle = {Information Hiding},
1775   publisher = springer,
1776   address = springer_loc,
1777   series    = lncs,
1778   volume    = {4437},
1779   year      = {2007},
1780   isbn      = {978-3-540-74123-7},
1781   bibsource = {DBLP, http://dblp.uni-trier.de}
1782 }
1783
1784
1785
1786 @inproceedings{DBLP:conf/mmsec/FridrichPK07,
1787   author    = {Jessica J. Fridrich and
1788                Tom{\'a}s Pevn{\'y} and
1789                Jan Kodovsk{\'y}},
1790   title     = {Statistically undetectable jpeg steganography: dead ends
1791                challenges, and opportunities},
1792   pages     = {3-14},
1793   ee        = {http://doi.acm.org/10.1145/1288869.1288872},
1794   editor    = {Deepa Kundur and
1795                Balakrishnan Prabhakaran and
1796                Jana Dittmann and
1797                Jessica J. Fridrich},
1798   booktitle     = {Proceedings of the 9th workshop on Multimedia {\&} Security,
1799                MM{\&}Sec 2007, Dallas, Texas, USA, September 20-21, 2007},
1800   publisher = {ACM},
1801   address = {New York, NY, USA},
1802   month=sep,
1803   year      = {2007},
1804   isbn      = {978-1-59593-857-2},
1805   bibsource = {DBLP, http://dblp.uni-trier.de}
1806 }
1807
1808
1809
1810
1811 @inproceedings{DBLP:conf/mediaforensics/FillerJF10,
1812   editor    = {Nasir D. Memon and
1813                Jana Dittmann and
1814                Adnan M. Alattar and
1815                Edward J. Delp},
1816   booktitle     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1817                Electronic Imaging Symposium, San Jose, CA, USA, January
1818                18-20, 2010, Proceedings},
1819   author    = {Tom{\'a}s Filler and
1820                Jan Judas and
1821                Jessica J. Fridrich},
1822   title     = {Minimizing embedding impact in steganography using trellis-coded
1823                quantization},
1824   year      = {2010},
1825   pages     = {754105},
1826   ee        = {http://dx.doi.org/10.1117/12.838002},
1827   bibsource = {DBLP, http://dblp.uni-trier.de},
1828   publisher = spie,
1829   address = spie_loc,
1830   month = jan,
1831   series    = {SPIE Proceedings},
1832   volume    = {7541},
1833 }
1834
1835
1836
1837
1838
1839
1840
1841
1842 @proceedings{DBLP:conf/mediaforensics/2010,
1843   editor    = {Nasir D. Memon and
1844                Jana Dittmann and
1845                Adnan M. Alattar and
1846                Edward J. Delp},
1847   title     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1848                Electronic Imaging Symposium, San Jose, CA, USA, January
1849                18-20, 2010, Proceedings},
1850   booktitle = {Media Forensics and Security},
1851   publisher = spie,
1852   address = spie_loc,
1853   series    = {SPIE Proceedings},
1854   volume    = {7541},
1855   year      = {2010},
1856   isbn      = {978-0-8194-7934-1},
1857   bibsource = {DBLP, http://dblp.uni-trier.de}
1858 }
1859
1860 @article{DBLP:journals/corr/abs-1112-5239,
1861   author    = {Jacques M. Bahi and
1862                Rapha{\"e}l Couturier and
1863                Christophe Guyeux and
1864                Pierre-Cyrille H{\'e}am},
1865   title     = {Efficient and Cryptographically Secure Generation of Chaotic
1866                Pseudorandom Numbers on GPU},
1867   journal   = {CoRR},
1868   volume    = {abs/1112.5239},
1869   year      = {2011},
1870   ee        = {http://arxiv.org/abs/1112.5239},
1871   bibsource = {DBLP, http://dblp.uni-trier.de}
1872 }
1873
1874 @Misc{psnrhvsm11,
1875     author =     {Ponomarenko, Nikolay},
1876   title =        {PSNR-HVS-M page},
1877   OPThowpublished = {},
1878   OPTmonth =     {},
1879   year =         {2011},
1880   note =         {\url{http://www.ponomarenko.info/psnrhvsm.htm}},
1881   OPTannote =    {}
1882 }
1883
1884 @Misc{biqi11,
1885   OPTkey =       {},
1886   author =       {Bovik, Alan C.},
1887   title =        {BIQI page},
1888   OPThowpublished = {},
1889   OPTmonth =     {},
1890   year =         {2011},
1891   note =         {\url{http://live.ece.utexas.edu/research/quality/BIQI_release.zip}},
1892   OPTannote =    {}
1893 }
1894
1895
1896 @InProceedings{PSECAL07,
1897   author =       {Ponomarenko, Nikolay and Silvestri, Flavia and Egiazarian, Karen  and Carli, Marco and Astola, Jaakko  and Lukin,Vladimir},
1898   title =        {On between-coefficient contrast masking of DCT basis functions},
1899   booktitle = {CD-ROM Proceedings of the Third International Workshop on Video Processing and Quality Metrics for Consumer Electronics VPQM-07,Scottsdale, Arizona, USA},
1900   OPTpages =     {},
1901   year =         {2007},
1902   editor =       {Li,Baoxin},
1903   OPTvolume =    {},
1904   OPTnumber =    {},
1905   OPTseries =    {},
1906   OPTaddress =   {},
1907   month =        jan,
1908   OPTorganization = {},
1909   OPTpublisher = {},
1910   OPTnote =      {},
1911   OPTannote =    {}
1912 }
1913
1914
1915 @Article{MB10,
1916   author =       {Moorthy, Anush K. Moorthy and Bovik, Alan Conrad},
1917   title =        {A Two-Step Framework for Constructing Blind Image Quality Indices},
1918   journal =      {IEEE Signal Processing Letters},
1919   year =         {2010},
1920   volume =       {17},
1921   number =       {5},
1922   pages =        {513--516},
1923   month =        may,
1924 }
1925
1926
1927
1928
1929 @inproceedings{DBLP:conf/crypto/ShubBB82,
1930   author    = {Lenore Blum and
1931                Manuel Blum and
1932                Mike Shub},
1933   title     = {Comparison of Two Pseudo-Random Number Generators},
1934   editor    = {David Chaum and
1935                Ronald L. Rivest and
1936                Alan T. Sherman},
1937   booktitle     = {Advances in Cryptology: Proceedings of CRYPTO '82, Santa
1938                Barbara, California, USA, August 23-25, 1982},
1939   pages     = {61-78},
1940   bibsource = {DBLP, http://dblp.uni-trier.de},
1941   publisher = {Plenum Press},
1942   address={New York, NY, USA},
1943   month=aug,
1944   year      = {1983},
1945   bibsource = {DBLP, http://dblp.uni-trier.de}
1946 }
1947
1948
1949 @inproceedings{Blum:1985:EPP:19478.19501,
1950   booktitle     = {Advances in Cryptology, Proceedings of CRYPTO '84, Santa
1951                Barbara, California, USA, August 19-22, 1984, Proceedings},
1952   author    = {Manuel Blum and
1953                Shafi Goldwasser},
1954   title     = {An Efficient Probabilistic Public-Key Encryption Scheme
1955                Which Hides All Partial Information},
1956   month=aug,
1957   year      = {1985},
1958   pages     = {289-302},
1959   editor    = {G. R. Blakley and
1960                David Chaum},
1961   publisher = springer,
1962   address = springer_loc,
1963   series    = lncs,
1964   volume    = {196}
1965 }
1966
1967
1968
1969 @article{DBLP:journals/ejisec/FontaineG07,
1970   author    = {Caroline Fontaine and
1971                Fabien Galand},
1972   title     = {A Survey of Homomorphic Encryption for Nonspecialists},
1973   journal   = {EURASIP Journal on Information Security},
1974   volume    = {2007},
1975   year      = {2007},
1976   NUMBER = {1},
1977   PAGES = {013801},
1978   ee        = {http://dx.doi.org/10.1155/2007/13801},
1979   bibsource = {DBLP, http://dblp.uni-trier.de}
1980 }
1981
1982
1983 @article{Luo:2010:EAI:1824719.1824720,
1984  author = {Luo, Weiqi and Huang, Fangjun and Huang, Jiwu},
1985  title = {Edge adaptive image steganography based on LSB matching revisited},
1986  journal = {IEEE Transactions on Information Forensics and Security},
1987  volume = {5},
1988  number = {2},
1989  month = jun,
1990  year = {2010},
1991  issn = {1556-6013},
1992  pages = {201--214},
1993  numpages = {14},
1994  url = {http://dx.doi.org/10.1109/TIFS.2010.2041812},
1995  doi = {10.1109/TIFS.2010.2041812},
1996  acmid = {1824720},
1997  publisher = {IEEE Press},
1998  address = {Piscataway, NJ, USA},
1999  keywords = {Content-based steganography, content-based steganography, least-significant-bit (LSB)-based steganography, pixel-value differencing (PVD), security, steganalysis},
2000
2001
2002 @article{Mielikainen06,
2003   author =       {Mielikainen, J.},
2004   title =        {LSB Matching Revisited},
2005   journal =      {IEEE Signal Processing Letters},
2006   year =         {2006},
2007   OPTkey =       {},
2008   volume =       {13},
2009   number =       {5},
2010   pages =        {285--287},
2011   month =        may,
2012   OPTnote =      {},
2013   OPTannote =    {}
2014 }
2015
2016
2017
2018
2019
2020 @article{Liu:2008:FMP:1284917.1285196,
2021  author = {Liu, Qingzhong and Sung, Andrew H. and Chen, Zhongxue and Xu, Jianyun},
2022  title = {Feature mining and pattern classification for steganalysis of LSB matching steganography in grayscale images},
2023  journal = {Pattern Recogn.},
2024  issue_date = {January, 2008},
2025  volume = {41},
2026  number = {1},
2027  month = jan,
2028  year = {2008},
2029  issn = {0031-3203},
2030  pages = {56--66},
2031  numpages = {11},
2032  url = {http://dx.doi.org/10.1016/j.patcog.2007.06.005},
2033  doi = {10.1016/j.patcog.2007.06.005},
2034  acmid = {1285196},
2035  publisher = {Elsevier Science Inc.},
2036  address = {New York, NY, USA},
2037  keywords = {DENFIS, Image complexity, LSB matching, SVMRFE, Steganalysis},
2038
2039
2040
2041
2042 @InProceedings{LHS08,
2043   author =       {Bin Li and Jiwu Huang and Yun Q. Shi},
2044   title =        {Textural features based universal steganalysis},
2045   OPTcrossref =  {},
2046   OPTkey =       {},
2047   booktitle = {Proc. SPIE 6819},
2048   publisher = spie,
2049   address = spie_loc,
2050   pages =        {12},
2051   year =         {2008},
2052   OPTeditor =    {},
2053   OPTvolume =    {6819},
2054
2055   OPTseries =    {},
2056   OPTaddress =   {},
2057   month =        feb,
2058   OPTorganization = {},
2059   OPTpublisher = {},
2060   OPTnote =      {},
2061   OPTannote =    {}
2062 }
2063
2064
2065 @InProceedings{KF11,
2066     author = {Jan Kodovsk{\'y} and Jessica Fridrich},
2067     title = {Steganalysis in high dimensions: Fusing classifiers built on random subspaces},
2068   OPTcrossref =  {},
2069   OPTkey =       {},
2070   booktitle = { Proc. SPIE, Electronic Imaging, Media Watermarking, Security, and Forensics XIII},
2071   publisher = spie,
2072   address = spie_loc,
2073   month=feb,
2074   pages = {78800L-78800L-13},
2075   OPTpages =     {},
2076   year =         {2011},
2077   OPTeditor =    {},
2078   OPTvolume =    {},
2079   OPTnumber =    {},
2080   OPTseries =    {},
2081   OPTaddress =   {},
2082   OPTmonth =     {},
2083   OPTorganization = {},
2084   OPTpublisher = {},
2085   OPTnote =      {},
2086   OPTannote =    {}
2087 }
2088
2089 @article{DBLP:journals/tifs/KodovskyFH12,
2090   author    = {Jan Kodovsk{\'y} and
2091                Jessica J. Fridrich and
2092                Vojtech Holub},
2093   title     = {Ensemble Classifiers for Steganalysis of Digital Media},
2094   journal   = {IEEE Transactions on Information Forensics and Security},
2095   volume    = {7},
2096   number    = {2},
2097   year      = {2012},
2098   pages     = {432-444},
2099   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2175919},
2100   bibsource = {DBLP, http://dblp.uni-trier.de}
2101 }
2102
2103
2104
2105 @article{Fillatre:2012:ASL:2333143.2333587,
2106  author = {Fillatre, Lionel},
2107  title = {Adaptive Steganalysis of Least Significant Bit Replacement in Grayscale Natural Images},
2108  journal = {IEEE Transactions on Signal Processing},
2109  year = {2012},
2110  volume = {60},
2111  number = {2},
2112  month = feb,
2113  issn = {1053-587X},
2114  pages = {556--569},
2115  numpages = {14},
2116  url = {http://dx.doi.org/10.1109/TSP.2011.2174231},
2117  doi = {10.1109/TSP.2011.2174231},
2118  acmid = {2333587},
2119  publisher = {IEEE Press},
2120  address = {Piscataway, NJ, USA},
2121
2122
2123
2124 @inproceedings{Tyan1993,
2125     abstract = {{Novel algorithms for image enhancement, filtering and edge detection using the fuzzy logic approach are proposed. An enhancement technique based on various combinations of fuzzy logic linguistic statements in the form of if-then rules modifies the image contrast and provides a linguistic approach to image enhancement. A fuzzy filtering technique based on the tuning of fuzzy membership functions in the frequency domain results in improved restoration of an image which is degraded by additive random noise. An improved performance compared with traditional mask convolution filtering is also evident from the SNR improvement of 4.03 dB. The fuzzy edge detection algorithm provides a variety of edge information. The fuzzy edge detection algorithm is compared with some existing edge detection algorithms to show its novelty}},
2126     address = ieecs_loc,
2127     publisher=ieecs,
2128     author = {Tyan, C. Y. and Wang, P. P.},
2129     booktitle = {{Proceedings of the Second IEEE International Conference on Fuzzy Systems}},
2130     citeulike-article-id = {7936501},
2131     keywords = {additive, and, approach, computational, detection, domain, edge, enhancement, filtering, frequency, functions, fuzzy, if-then, image, linguistic, linguistics, logic, membership, noise, prediction, processing, random, restoration, rules, set, statements, theory},
2132     pages = {600--605},
2133     posted-at = {2010-10-01 17:27:48},
2134     priority = {0},
2135     month=apr,
2136     title = {{Image processing-enhancement, filtering and edge detection using the fuzzy logic approach}},
2137     volume = {1},
2138     year = {1993}
2139 }
2140
2141
2142 @article{Canny:1986:CAE:11274.11275,
2143  author = {Canny, J},
2144  title = {A Computational Approach to Edge Detection},
2145  journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
2146  issue_date = {June 1986},
2147  volume = {PAMI-8},
2148  number = {6},
2149  month = jun,
2150  year = {1986},
2151  issn = {0162-8828},
2152  pages = {679--698},
2153  numpages = {20},
2154  url = {http://dx.doi.org/10.1109/TPAMI.1986.4767851},
2155  doi = {10.1109/TPAMI.1986.4767851},
2156  acmid = {11275},
2157  publisher = {IEEE Computer Society},
2158  address = {Washington, DC, USA},
2159  keywords = {Edge detection, feature extraction, image processing, machine vision, multiscale image analysis},
2160
2161
2162
2163 @inproceedings{DBLP:conf/ih/FridrichKHG11a,
2164   author    = {Jessica J. Fridrich and
2165                Jan Kodovsk{\'y} and
2166                Vojtech Holub and
2167                Miroslav Goljan},
2168   title     = {Steganalysis of Content-Adaptive Steganography in Spatial
2169                Domain},
2170   booktitle = {Information Hiding},
2171   year      = {2011},
2172   pages     = {102-117},
2173   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9_8},
2174   crossref  = {DBLP:conf/ih/2011},
2175   bibsource = {DBLP, http://dblp.uni-trier.de}
2176 }
2177 @proceedings{DBLP:conf/ih/2011,
2178   editor    = {Tom{\'a}s Filler and
2179                Tom{\'a}s Pevn{\'y} and
2180                Scott Craver and
2181                Andrew D. Ker},
2182   title     = {Information Hiding - 13th International Conference, IH 2011,
2183                Prague, Czech Republic, May 18-20, 2011, Revised Selected
2184                Papers},
2185   booktitle = {Information Hiding},
2186   publisher = springer,
2187   address = springer_loc,
2188   series    = lncs,
2189   volume    = {6958},
2190   year      = {2011},
2191   isbn      = {978-3-642-24177-2},
2192   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9},
2193   bibsource = {DBLP, http://dblp.uni-trier.de}
2194 }
2195
2196 @inproceedings{DBLP:conf/iwdw/Fridrich11,
2197   author    = {Jessica J. Fridrich},
2198   title     = {Modern Trends in Steganography and Steganalysis},
2199   booktitle = {IWDW},
2200   year      = {2011},
2201   pages     = {1},
2202   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1_1},
2203   crossref  = {DBLP:conf/iwdw/2011},
2204   bibsource = {DBLP, http://dblp.uni-trier.de}
2205 }
2206 @proceedings{DBLP:conf/iwdw/2011,
2207   editor    = {Yun-Qing Shi and
2208                Hyoung-Joong Kim and
2209                Fernando P{\'e}rez-Gonz{\'a}lez},
2210   title     = {Digital Forensics and Watermarking - 10th International
2211                Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26,
2212                2011, Revised Selected Papers},
2213   booktitle = {IWDW},
2214   publisher = springer,
2215   address = springer_loc,
2216   series    = lncs,
2217   volume    = {7128},
2218   year      = {2012},
2219   isbn      = {978-3-642-32204-4},
2220   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1},
2221   bibsource = {DBLP, http://dblp.uni-trier.de}
2222 }
2223
2224
2225
2226
2227 @article{MCErlang07,
2228  author = {Fredlund, Lars-\AAke and Svensson, Hans},
2229  title = {McErlang: a model checker for a distributed functional programming language},
2230  journal = {SIGPLAN Not.},
2231  volume = {42},
2232  issue = {9},
2233  year = {2007},
2234  issn = {0362-1340},
2235  pages = {125--136},
2236  numpages = {12},
2237  publisher = {ACM},
2238
2239 @inproceedings{Bogor03,
2240   author    = {Robby and
2241                Matthew B. Dwyer and
2242                John Hatcliff},
2243   title     = {Bogor: an extensible and highly-modular software model checking
2244                framework},
2245   booktitle = {Proc. of the 11th ACM SIGSOFT Symposium on Foundations
2246                of Software Engineering 2003},
2247   publisher = {ACM},
2248   year      = {2003},
2249   pages     = {267-276},
2250 }
2251
2252
2253 @ARTICLE{Banks92,
2254   author = {Banks, John and J. Brooks and G. Cairns and P. Stacey},
2255   title = {On Devaney's Definition of Chaos},
2256   journal = {Amer. Math. Monthly},
2257   year = {1992},
2258   volume = {99},
2259   pages = {332--334},
2260   keywords = {(c+),},
2261   owner = {guyeux},
2262   timestamp = {27/01/2008}
2263 }
2264
2265 @article{Crook2007267,
2266 title = "Pattern recall in networks of chaotic neurons",
2267 journal = "Biosystems",
2268 volume = "87",
2269 number = "2-3",
2270 pages = "267 - 274",
2271 year = "2007",
2272 issn = "0303-2647",
2273 doi = "DOI: 10.1016/j.biosystems.2006.09.022",
2274 author = "Nigel Crook and Wee Jin Goh and Mohammad Hawarat",
2275 keywords = "Chaos",
2276 keywords = "Spiking neural network"
2277 }
2278
2279 @ARTICLE{Xiao10,
2280   author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2281   title = {A novel Hash algorithm construction based on chaotic neural network},
2282   journal = {Neural Computing and Applications},
2283   year = {2010},
2284   pages = {1-9},
2285   affiliation = {Chongqing University College of Computer Science 400044 Chongqing
2286         China},
2287   issn = {0941-0643},
2288   keyword = {Computer Science},
2289   publisher = {Springer London}
2290 }
2291
2292 @ARTICLE{1309431,
2293 author={Satish, K. and Jayakar, T. and Tobin, C. and Madhavi, K. and Murali, K.},
2294 journal={Consumer Electronics, IEEE Transactions on}, title={Chaos based spread spectrum image steganography},
2295 year={2004},
2296 month=may,
2297 volume={50},
2298 number={2},
2299 pages={ 587 - 590},
2300 keywords={ authentication; chaos based spread spectrum image steganography; chaotic encryption; chaotic modulation; covert communication; digital security schemes; home-office environment; in-band captioning; large-scale proliferation; tamperproofing; wireless products; chaotic communication; cryptography; data encapsulation; image processing; message authentication; modulation; spread spectrum communication;},
2301 doi={10.1109/TCE.2004.1309431},
2302 }
2303
2304 @article{Zhang2005759,
2305 title = "An image encryption approach based on chaotic maps",
2306 journal = "Chaos, Solitons \& Fractals",
2307 volume = "24",
2308 number = "3",
2309 pages = "759 - 765",
2310 year = "2005",
2311 note = "",
2312 issn = "0960-0779",
2313 doi = "10.1016/j.chaos.2004.09.035",
2314 author = "Linhua Zhang and Xiaofeng Liao and Xuebing Wang"
2315 }
2316
2317 @article{Lian20091296,
2318 title = "A block cipher based on chaotic neural networks",
2319 journal = "Neurocomputing",
2320 volume = "72",
2321 number = "4-6",
2322 pages = "1296 - 1301",
2323 year = "2009",
2324 issn = "0925-2312",
2325 author = "Shiguo Lian",
2326 keywords = "Neural network",
2327 keywords = "Chaos",
2328 keywords = "Security",
2329 keywords = "Block cipher",
2330 keywords = "Image encryption"
2331 }
2332
2333 @article{Cybenko89,
2334   author    = {George Cybenko},
2335   title     = {Approximation by Superpositions of a Sigmoidal function},
2336   journal   = {Mathematics of Control, Signals and Systems},
2337   volume    = {2},
2338   year      = {1989},
2339   pages     = {303-314}
2340 }
2341
2342
2343 @article{DBLP:journals/nn/HornikSW89,
2344   author    = {Kurt Hornik and
2345                Maxwell B. Stinchcombe and
2346                Halbert White},
2347   title     = {Multilayer feedforward networks are universal approximators},
2348   journal   = {Neural Networks},
2349   volume    = {2},
2350   number    = {5},
2351   year      = {1989},
2352   pages     = {359-366},
2353   ee        = {http://dx.doi.org/10.1016/0893-6080(89)90020-8},
2354   bibsource = {DBLP, http://dblp.uni-trier.de}
2355 }
2356
2357 @article{dalkiran10,
2358    author = {Ilker Dalkiran and Kenan Danisman},
2359    affiliation = {Faculty of Engineering Erciyes University 38039 Kayseri Turkey},
2360    title = {Artificial neural network based chaotic generator for cryptology},
2361    journal = TESC,
2362    volume = {18},
2363    number = {2},
2364    pages = {225-240},
2365    year = {2010}
2366 }
2367
2368 @article{springerlink:10.1007/s00521-010-0432-2,
2369    author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2370    affiliation = {Chongqing University College of Computer Science 400044 Chongqing China},
2371    title = {A novel Hash algorithm construction based on chaotic neural network},
2372    journal = {Neural Computing and Applications},
2373    publisher = {Springer},
2374    issn = {0941-0643},
2375    keyword = {Computer Science},
2376    pages = {1-9},
2377    year = {2010}
2378 }
2379
2380
2381 @article{Feder2009NTB,
2382  author = {Feder, Tom\'{a}s and Subi, Carlos},
2383  title = {Nearly Tight Bounds on the Number of Hamiltonian Circuits of the Hypercube and Generalizations},
2384  journal = {Inf. Process. Lett.},
2385  issue_date = {February, 2009},
2386  volume = {109},
2387  number = {5},
2388  month = feb,
2389  year = {2009},
2390  issn = {0020-0190},
2391  pages = {267--272},
2392  numpages = {6},
2393  url = {http://dx.doi.org/10.1016/j.ipl.2008.10.015},
2394  doi = {10.1016/j.ipl.2008.10.015},
2395  acmid = {1496515},
2396  publisher = {Elsevier North-Holland, Inc.},
2397  address = {Amsterdam, The Netherlands, The Netherlands},
2398  keywords = {Cartesian products, Counting problems, Hamiltonian circuits, Hypercube, Matchings},
2399 }
2400
2401
2402
2403 @Article{ZanSup04,
2404   author={Zanten, A.~J.~van and Suparta, I.~N.},
2405   title={ Totally balanced and exponentially balanced Gray codes},
2406   journal={Discrete Analysis and Operational Research},
2407   series={Ser.~1},
2408   year={2004},
2409   volume={11},
2410   issue={4},
2411   pages={81--98}
2412 }
2413
2414 @book{LevinPeresWilmer2006,
2415   added-at = {2010-01-19T17:51:27.000+0100},
2416   author = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.},
2417   biburl = {http://www.bibsonomy.org/bibtex/2097dc4d1d0e412b2444f540b04110797/tmalsburg},
2418   interhash = {61354795a6accb6407bfdbf04753a683},
2419   intrahash = {097dc4d1d0e412b2444f540b04110797},
2420   keywords = {markovchains probabilitytheory textbook},
2421   publisher = {American Mathematical Society},
2422   timestamp = {2010-01-19T17:51:27.000+0100},
2423   title = {{Markov chains and mixing times}},
2424   url = {http://scholar.google.com/scholar.bib?q=info:3wf9IU94tyMJ:scholar.google.com/&output=citation&hl=en&as_sdt=2000&ct=citation&cd=0},
2425   year = 2006
2426 }
2427
2428  @Book{proba,
2429   author =      {M. Mitzenmacher and Eli Upfal},
2430   ALTeditor =      {},
2431   title =      {Probability and Computing},
2432   publisher =      {Cambridge University Press},
2433   year =      {2005},
2434
2435
2436 @misc{Mons14,
2437 inhal = {no},
2438 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
2439 equipe = {and},
2440 classement = {COM},
2441 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
2442 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
2443 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
2444 day = 23,
2445 month = sep,
2446 year = 2014,
2447
2448 }