Search for a diffuse flux of astrophysical muon neutrinos with the IceCube 40-string detector
 Abbasi, R Abdou, Y Abu-Zayyad, T Adams, J Aguilar, J Ahlers, M Altmann, D Andeen, K Auffenberg, J Bai, X Baker, M Barwick, S Bay, R Bazo Alba, J Beattie, K Beatty, J Bechet, S Becker, J Becker, K Benabderrahmane, M Benzvi, S Berdermann, J Berghaus, P Berley, D Bernardini, E Bertrand, D Besson, D Bindig, D Bissok, M Blaufuss, E Blumenthal, J Boersma, D Bohm, C Bose, D Böser, S Botner, O Brown, A Buitink, S Caballero-Mora, K Carson, M Chirkin, D Christy, B Clem, J Clevermann, F Cohen, S Colnard, C Cowen, D D'Agostino, M Danninger, M Daughhetee, J Davis, J De Clercq, C Demirörs, L Denger, T Depaepe, O Descamps, F Desiati, P De Vries-Uiterweerd, G Deyoung, T Díaz-Vélez, J Dierckxsens, M Dreyer, J Dumm, J Ehrlich, R Eisch, J Ellsworth, R Engdegård, O Euler, S Evenson, P Fadiran, O Fazely, A Fedynitch, A Feintzeig, J Feusels, T Filimonov, K Finley, C Fischer-Wasels, T Foerster, M Fox, B Franckowiak, A Franke, R Gaisser, T Gallagher, J Gerhardt, L Gladstone, L Glüsenkamp, T Goldschmidt, A Goodman, J Gora, D Grant, D Griesel, T Groß, A Grullon, S Gurtner, M Ha, C Hajismail, A Hallgren, A Halzen, F Han, K Hanson, K Physical Review D - Particles, Fields, Gravitation and Cosmology volume 84 issue 8 (03 Oct 2011)
Background studies for acoustic neutrino detection at the South Pole
 Abbasi, R Abdou, Y Abu-Zayyad, T Adams, J Aguilar, J Ahlers, M Andeen, K Auffenberg, J Bai, X Baker, M Barwick, S Bay, R Bazo Alba, J Beattie, K Beatty, J Bechet, S Becker, J Becker, K Benabderrahmane, M Benzvi, S Berdermann, J Berghaus, P Berley, D Bernardini, E Bertrand, D Besson, D Bindig, D Bissok, M Blaufuss, E Blumenthal, J Boersma, D Bohm, C Bose, D Böser, S Botner, O Braun, J Brown, A Buitink, S Carson, M Chirkin, D Christy, B Clem, J Clevermann, F Cohen, S Colnard, C Cowen, D D'Agostino, M Danninger, M Daughhetee, J Davis, J De Clercq, C Demirörs, L Denger, T Depaepe, O Descamps, F Desiati, P De Vries-Uiterweerd, G Deyoung, T Díaz-Vélez, J Dierckxsens, M Dreyer, J Dumm, J Ehrlich, R Eisch, J Ellsworth, R Engdegrd, O Euler, S Evenson, P Fadiran, O Fazely, A Fedynitch, A Feusels, T Filimonov, K Finley, C Fischer-Wasels, T Foerster, M Fox, B Franckowiak, A Franke, R Gaisser, T Gallagher, J Geisler, M Gerhardt, L Gladstone, L Glüsenkamp, T Goldschmidt, A Goodman, J Grant, D Griesel, T Groß, A Grullon, S Gurtner, M Ha, C Hallgren, A Halzen, F Han, K Hanson, K Heinen, D Helbing, K Herquet, P Astroparticle Physics volume 35 issue 6 312-324 (01 Jan 2012)
Observation of anisotropy in the arrival directions of galactic cosmic rays at multiple angular scales with icecube
 Abbasi, R Abdou, Y Abu-Zayyad, T Adams, J Aguilar, J Ahlers, M Altmann, D Andeen, K Auffenberg, J Bai, X Baker, M Barwick, S Bay, R Bazo Alba, J Beattie, K Beatty, J Bechet, S Becker, J Becker, K Benabderrahmane, M BenZvi, S Berdermann, J Berghaus, P Berley, D Bernardini, E Bertrand, D Besson, D Bindig, D Bissok, M Blaufuss, E Blumenthal, J Boersma, D Bohm, C Bose, D Böser, S Botner, O Brown, A Buitink, S Caballero-Mora, K Carson, M Chirkin, D Christy, B Clem, J Clevermann, F Cohen, S Colnard, C Cowen, D D'Agostino, M Danninger, M Daughhetee, J Davis, J De Clercq, C Demirörs, L Denger, T Depaepe, O Descamps, F Desiati, P De Vries-Uiterweerd, G DeYoung, T Díaz-Vélez, J Dierckxsens, M Dreyer, J Dumm, J Ehrlich, R Eisch, J Ellsworth, R Engdegård, O Euler, S Evenson, P Fadiran, O Fazely, A Fedynitch, A Feintzeig, J Feusels, T Filimonov, K Finley, C Fischer-Wasels, T Foerster, M Fox, B Franckowiak, A Franke, R Gaisser, T Gallagher, J Gerhardt, L Gladstone, L Gl̈usenkamp, T Goldschmidt, A Goodman, J Gora, D Grant, D Griesel, T Groß, A Grullon, S Gurtner, M Ha, C Hajismail, A Hallgren, A Halzen, F Han, K Hanson, K Astrophysical Journal volume 740 issue 1 (10 Oct 2011)
Two variable vs. linear temporal logic in model checking and games
 Benedikt, M Lenhardt, R Worrell, J Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 6901 LNCS 497-511 (22 Sep 2011)
Regular repair of specifications
 Benedikt, M Puppis, G Riveros, C Proceedings - Symposium on Logic in Computer Science 335-344 (02 Sep 2011)
Determining relevance of accesses at runtime
 Benedikt, M Gottlob, G Senellart, P Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems 211-222 (15 Jul 2011)
The cost of traveling between languages
 Benedikt, M Puppis, G Riveros, C Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 6756 LNCS issue PART 2 234-245 (11 Jul 2011)
The logic and topology of non-locality and contextuality
 Abramsky, S Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 6714 LNCS 1 (23 Jun 2011)
Quantitative automata model checking of autonomous stochastic hybrid systems
 Abate, A Katoen, J Mereacre, A HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control 83-92 (20 May 2011)
Big toy models - Representing physical systems as Chu spaces
 Abramsky, S Synthese 1-22 (20 Apr 2011)
Subscribe to