BibTeX records: Robert L. Smith

• > Home > Persons > Robert L. Smith

@inproceedings{DBLP:conf/icse/SmithBRP21,
  author       = {Robert L. Smith and
                  Marcello M. Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  editor       = {Simon Bliudze and
                  Stefania Gnesi and
                  Nico Plat and
                  Laura Semini},
  title        = {Improved Bounded Model Checking of Timed Automata},
  booktitle    = {9th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
  pages        = {97--110},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FormaliSE52586.2021.00016},
  doi          = {10.1109/FORMALISE52586.2021.00016},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/SmithBRP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2104-12444,
  author       = {Robert L. Smith and
                  Marcello M. Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  title        = {Improved Bounded Model Checking of Timed Automata},
  journal      = {CoRR},
  volume       = {abs/2104.12444},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.12444},
  eprinttype    = {arXiv},
  eprint       = {2104.12444},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-12444.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1210-4539,
  author       = {Michael Baudin and
                  Robert L. Smith},
  title        = {A Robust Complex Division in Scilab},
  journal      = {CoRR},
  volume       = {abs/1210.4539},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.4539},
  eprinttype    = {arXiv},
  eprint       = {1210.4539},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-4539.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/embc/SanpetrinoS06,
  author       = {Nicole M. Sanpetrino and
                  Robert L. Smith},
  title        = {The Growth of Loudness Functions Measured in Cochlear Implant Listeners
                  Using Absolute Magnitude Estimation and Compared Using Akaike's Information
                  Criterion},
  booktitle    = {28th International Conference of the {IEEE} Engineering in Medicine
                  and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
                  - September 3, 2006, Main Volume},
  pages        = {1642--1644},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IEMBS.2006.259984},
  doi          = {10.1109/IEMBS.2006.259984},
  timestamp    = {Fri, 10 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/SanpetrinoS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bc/LutkenhonerS92,
  author       = {Bernd L{\"{u}}tkenh{\"{o}}ner and
                  Robert L. Smith},
  title        = {A theoretical basis for conditional probability analyses of neural
                  discharge activity},
  journal      = {Biol. Cybern.},
  volume       = {67},
  number       = {1},
  pages        = {1--10},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00201797},
  doi          = {10.1007/BF00201797},
  timestamp    = {Fri, 29 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bc/LutkenhonerS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/essen/Smith88,
  author       = {Robert L. Smith},
  editor       = {Ahmed Hebni Helal and
                  Joachim W. Weiss},
  title        = {CD-Rom for National Bibliographies: {A} European Project},
  booktitle    = {The Impact of {CD-ROM} on Library Operations and Universal Availability
                  of Information. 11th International Essen Symposium, 26-29 September
                  1988, Festschrift in honor of Maurice B. Line},
  series       = {Ver{\"{o}}ffentlichungen der Universit{\"{a}}sbibliothek
                  Essen},
  volume       = {11},
  pages        = {221--230},
  publisher    = {Universit{\"{a}}sbibliothek Essen},
  year         = {1988},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/essen/Smith88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcse/SandersBS76,
  author       = {William R. Sanders and
                  Gerard V. Benbassat and
                  Robert L. Smith},
  editor       = {Ronald W. Colman and
                  Paul Lorton Jr.},
  title        = {Speech synthesis for computer assisted instruction: The {MISS} system
                  and its applications},
  booktitle    = {Proceedings of the {ACM} {SIGCSE-SIGCUE} technical symposium on Computer
                  science and education, {SIGCSE-SIGCUE} 1976, Anaheim, CA, USA, February
                  12-13, 1976},
  pages        = {200--211},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800107.803474},
  doi          = {10.1145/800107.803474},
  timestamp    = {Tue, 30 Mar 2021 10:49:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/SandersBS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}