Search dblp for Publications

• > Home > Search

@article{DBLP:journals/afp/BrecknellGHIKKLNSSSTW24,
  author       = {Matthew Brecknell and
                  David Greenaway and
                  Johannes H{\"{o}}lzl and
                  Fabian Immler and
                  Gerwin Klein and
                  Rafal Kolanski and
                  Japheth Lim and
                  Michael Norrish and
                  Norbert Schirmer and
                  Salomon Sickert and
                  Thomas Sewell and
                  Harvey Tuch and
                  Simon Wimmer},
  title        = {AutoCorres2},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/AutoCorres2.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BrecknellGHIKKLNSSSTW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iet-bmt/BuschDFKLNSAABBBBBCCCCCCCDDDFFG23,
  author       = {Christoph Busch and
                  Farzin Deravi and
                  Dinusha Frings and
                  Els Kindt and
                  Ralph Lessmann and
                  Alexander Nouak and
                  Jean Salomon and
                  Mateus Achcar and
                  Fernando Alonso{-}Fernandez and
                  Daniel Bachenheimer and
                  David Bethell and
                  Josef Big{\"{u}}n and
                  Matthew Brawley and
                  Guido Brockmann and
                  Enrique Cabello and
                  Patrizio Campisi and
                  Aleksandrs Cepilovs and
                  Miles Clee and
                  Mickey Cohen and
                  Christian Croll and
                  Andrzej Czyzewski and
                  Bernadette Dorizzi and
                  Martin Drahansk{\'{y}} and
                  Pawel Drozdowski and
                  Catherine Fankhauser and
                  Julian Fi{\'{e}}rrez and
                  Marta Gomez{-}Barrero and
                  Georg Hasse and
                  Richard M. Guest and
                  Ekaterina Komleva and
                  S{\'{e}}bastien Marcel and
                  Gian Luca Marcialis and
                  Laurent Mercier and
                  Emilio Mordini and
                  Stefance Mouille and
                  Pavlina Navratilova and
                  Javier Ortega{-}Garcia and
                  Dijana Petrovska and
                  Norman Poh and
                  Istvan Racz and
                  Ramachandra Raghavendra and
                  Christian Rathgeb and
                  Christophe Remillet and
                  Uwe Seidel and
                  Luuk J. Spreeuwers and
                  Brage Strand and
                  Sirra Toivonen and
                  Andreas Uhl},
  title        = {Facilitating free travel in the Schengen area - {A} position paper
                  by the European Association for Biometrics},
  journal      = {{IET} Biom.},
  volume       = {12},
  number       = {2},
  pages        = {112--128},
  year         = {2023},
  url          = {https://doi.org/10.1049/bme2.12107},
  doi          = {10.1049/BME2.12107},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-bmt/BuschDFKLNSAABBBBBCCCCCCCDDDFFG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aistats/DaviesSSD23,
  author       = {Laurence Davies and
                  Robert Salomone and
                  Matthew Sutton and
                  Chris Drovandi},
  editor       = {Francisco J. R. Ruiz and
                  Jennifer G. Dy and
                  Jan{-}Willem van de Meent},
  title        = {Transport Reversible Jump Proposals},
  booktitle    = {International Conference on Artificial Intelligence and Statistics,
                  25-27 April 2023, Palau de Congressos, Valencia, Spain},
  series       = {Proceedings of Machine Learning Research},
  volume       = {206},
  pages        = {6839--6852},
  publisher    = {{PMLR}},
  year         = {2023},
  url          = {https://proceedings.mlr.press/v206/davies23a.html},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aistats/DaviesSSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nips/SuttonSCF22,
  author       = {Matthew Sutton and
                  Robert Salomone and
                  Augustin Chevallier and
                  Paul Fearnhead},
  editor       = {Sanmi Koyejo and
                  S. Mohamed and
                  A. Agarwal and
                  Danielle Belgrave and
                  K. Cho and
                  A. Oh},
  title        = {Continuously Tempered {PDMP} samplers},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/b5b939436789f76f08b9d0da5e81af7c-Abstract-Conference.html},
  timestamp    = {Mon, 08 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/SuttonSCF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/grid/SalomoniPGLSGMF18,
  author       = {Davide Salomoni and
                  Isabel Campos Plasencia and
                  Luciano Gaido and
                  Jes{\'{u}}s E. Marco de Lucas and
                  P. Solagna and
                  Jorge Gomes and
                  Ludek Matyska and
                  P. Fuhrman and
                  Marcus Hardt and
                  Giacinto Donvito and
                  Lukasz Dutka and
                  Marcin Pl{\'{o}}ciennik and
                  Roberto Barbera and
                  Ignacio Blanquer and
                  Andrea Ceccanti and
                  Eva Cetinic and
                  M{\'{a}}rio David and
                  Doina Cristina Duma and
                  {\'{A}}lvaro L{\'{o}}pez Garc{\'{\i}}a and
                  Germ{\'{a}}n Molt{\'{o}} and
                  Pablo Orviz Fern{\'{a}}ndez and
                  Zdenek Sustr and
                  Matthew Viljoen and
                  Fernando Aguilar and
                  Lu{\'{\i}}s Alves and
                  Marica Antonacci and
                  Lucio Angelo Antonelli and
                  Stefano Bagnasco and
                  A. Bonving and
                  Riccardo Bruno and
                  Y. Chen and
                  Alessandro Costa and
                  Davor Davidovic and
                  Benjamin Ertl and
                  Marco Fargetta and
                  Sandro Fiore and
                  S. Gallozzi and
                  Z. Kurkcuoglu and
                  Lara Lloret Iglesias and
                  J. Martins and
                  Alessandra Nuzzo and
                  Paola Nassisi and
                  Cosimo Palazzo and
                  Jo{\~{a}}o Murta Pina and
                  Eva Sciacca and
                  Daniele Spiga and
                  Marco Antonio Tangaro and
                  Michal Urbaniak and
                  Sara Vallero and
                  Bas Wegh and
                  Valentina Zaccolo and
                  Federico Zambelli and
                  Tomasz Zok},
  title        = {INDIGO-DataCloud: a Platform to Facilitate Seamless Access to E-Infrastructures},
  journal      = {J. Grid Comput.},
  volume       = {16},
  number       = {3},
  pages        = {381--408},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10723-018-9453-3},
  doi          = {10.1007/S10723-018-9453-3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/grid/SalomoniPGLSGMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dev/BaumanBLSNHWHYS18,
  author       = {Matthew J. Bauman and
                  Kate S. Boxer and
                  Tzu{-}Yun Lin and
                  Erika Salomon and
                  Hareem Naveed and
                  Lauren Haynes and
                  Joe Walsh and
                  Jennifer Helsby and
                  Steve Yoder and
                  Robert Sullivan and
                  Chris Schneweis and
                  Rayid Ghani},
  editor       = {Ellen W. Zegura},
  title        = {Reducing Incarceration through Prioritized Interventions},
  booktitle    = {Proceedings of the 1st {ACM} {SIGCAS} Conference on Computing and
                  Sustainable Societies, {COMPASS} 2018, Menlo Park and San Jose, CA,
                  USA, June 20-22, 2018},
  pages        = {6:1--6:8},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209811.3209869},
  doi          = {10.1145/3209811.3209869},
  timestamp    = {Wed, 21 Nov 2018 12:44:24 +0100},
  biburl       = {https://dblp.org/rec/conf/dev/BaumanBLSNHWHYS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1711-01981,
  author       = {Davide Salomoni and
                  Luciano Gaido and
                  Isabel Campos Plasencia and
                  Jes{\'{u}}s E. Marco de Lucas and
                  P. Solagna and
                  Jorge Gomes and
                  Ludek Matyska and
                  P. Fuhrman and
                  Marcus Hardt and
                  Giacinto Donvito and
                  Lukasz Dutka and
                  Marcin Pl{\'{o}}ciennik and
                  Roberto Barbera and
                  Cristina Aiftimiei and
                  Ignacio Blanquer and
                  Andrea Ceccanti and
                  M{\'{a}}rio David and
                  {\'{A}}lvaro L{\'{o}}pez Garc{\'{\i}}a and
                  Germ{\'{a}}n Molt{\'{o}} and
                  Pablo Orviz Fern{\'{a}}ndez and
                  Zdenek Sustr and
                  Matthew Viljoen and
                  Fernando Aguilar and
                  Lu{\'{\i}}s Alves and
                  A. Bonving and
                  Riccardo Bruno and
                  Davor Davidovic and
                  Marco Fargetta and
                  Y. Chen and
                  Sandro Fiore and
                  Z. Kurkcuoglu and
                  Lara Lloret Iglesias and
                  J. Martins and
                  Alessandra Nuzzo and
                  Paola Nassisi and
                  Jo{\~{a}}o Murta Pina and
                  Eva Sciacca and
                  Daniele Spiga and
                  Marco Antonio Tangaro and
                  Michal Urbaniak and
                  Bas Wegh and
                  Tomasz Zok},
  title        = {INDIGO-DataCloud: {A} data and computing platform to facilitate seamless
                  access to e-infrastructures},
  journal      = {CoRR},
  volume       = {abs/1711.01981},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.01981},
  eprinttype    = {arXiv},
  eprint       = {1711.01981},
  timestamp    = {Wed, 16 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-01981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bmcsb/FearASDTNM15,
  author       = {Justin M. Fear and
                  Michelle N. Arbeitman and
                  Matthew Salomon and
                  Justin Dalton and
                  John Tower and
                  Sergey V. Nuzhdin and
                  Lauren M. McIntyre},
  title        = {The wright stuff: reimagining path analysis reveals novel components
                  of the sex determination hierarchy in drosophila melanogaster},
  journal      = {{BMC} Syst. Biol.},
  volume       = {9},
  pages        = {53},
  year         = {2015},
  url          = {https://doi.org/10.1186/s12918-015-0200-0},
  doi          = {10.1186/S12918-015-0200-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcsb/FearASDTNM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bioinformatics/DubchakMPSMBZ13,
  author       = {Inna Dubchak and
                  Matthew Munoz and
                  Alexander Poliakov and
                  Nathan Salomonis and
                  Simon Minovitsky and
                  Rolf Bodmer and
                  Alexander C. Zambon},
  title        = {Whole-Genome rVISTA: a tool to determine enrichment of transcription
                  factor binding sites in gene promoters from transcriptomic data},
  journal      = {Bioinform.},
  volume       = {29},
  number       = {16},
  pages        = {2059--2061},
  year         = {2013},
  url          = {https://doi.org/10.1093/bioinformatics/btt318},
  doi          = {10.1093/BIOINFORMATICS/BTT318},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/DubchakMPSMBZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trob/KimSTHSC08,
  author       = {Sangbae Kim and
                  Matthew Spenko and
                  Salomon Trujillo and
                  Barrett Heyneman and
                  Daniel Santos and
                  Mark R. Cutkosky},
  title        = {Smooth Vertical Surface Climbing With Directional Adhesion},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {24},
  number       = {1},
  pages        = {65--74},
  year         = {2008},
  url          = {https://doi.org/10.1109/TRO.2007.909786},
  doi          = {10.1109/TRO.2007.909786},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/trob/KimSTHSC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/KimSTHMC07,
  author       = {Sangbae Kim and
                  Matthew Spenko and
                  Salomon Trujillo and
                  Barrett Heyneman and
                  Virgilio Mattoli and
                  Mark R. Cutkosky},
  title        = {Whole body adhesion: hierarchical, directional and distributed control
                  of adhesive forces for a climbing robot},
  booktitle    = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2007, 10-14 April 2007, Roma, Italy},
  pages        = {1268--1273},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ROBOT.2007.363159},
  doi          = {10.1109/ROBOT.2007.363159},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icra/KimSTHMC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/chi/Moll-CarrilloSMSS95,
  author       = {H. J. Moll{-}Carrillo and
                  Gitta Salomon and
                  Matthew Marsh and
                  Jane Fulton Suri and
                  Peter Spreenberg},
  editor       = {Irvin R. Katz and
                  Robert L. Mack and
                  Linn Marks and
                  Mary Beth Rosson and
                  Jakob Nielsen},
  title        = {Articulating a Metaphor through User-Centered Design},
  booktitle    = {Human Factors in Computing Systems, {CHI} '95 Conference Proceedings,
                  Denver, Colorado, USA, May 7-11, 1995},
  pages        = {566--572},
  publisher    = {ACM/Addison-Wesley},
  year         = {1995},
  url          = {https://doi.org/10.1145/223904.223981},
  doi          = {10.1145/223904.223981},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/Moll-CarrilloSMSS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}