BibTeX records: Jason Biatek

download as .bib file

@inproceedings{DBLP:conf/icse/RungtaTPBWCG14,
  author    = {Neha Rungta and
               Oksana Tkachuk and
               Suzette Person and
               Jason Biatek and
               Michael W. Whalen and
               Joseph Castle and
               Karen Gundy{-}Burlet},
  title     = {Helping system engineers bridge the peaks},
  booktitle = {Proceedings of the 4th International Workshop on Twin Peaks of Requirements
               and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014},
  pages     = {9--13},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014twinpeaks},
  url       = {https://doi.org/10.1145/2593861.2593863},
  doi       = {10.1145/2593861.2593863},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/RungtaTPBWCG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BiatekWHRL14,
  author    = {Jason Biatek and
               Michael W. Whalen and
               Mats Per Erik Heimdahl and
               Sanjai Rayadurgam and
               Michael R. Lowry},
  title     = {Analysis and testing of {PLEXIL} plans},
  booktitle = {Proceedings of the 2nd {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
  pages     = {52--58},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014formalise},
  url       = {https://doi.org/10.1145/2593489.2593496},
  doi       = {10.1145/2593489.2593496},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BiatekWHRL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BalasubramanianPBPKLW12,
  author    = {Daniel Balasubramanian and
               Corina S. Pasareanu and
               Jason Biatek and
               Thomas Pressburger and
               Gabor Karsai and
               Michael R. Lowry and
               Michael W. Whalen},
  title     = {Integrating Statechart Components in Polyglot},
  booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  pages     = {267--272},
  year      = {2012},
  crossref  = {DBLP:conf/nfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3\_26},
  doi       = {10.1007/978-3-642-28891-3\_26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/BalasubramanianPBPKLW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/LambertyABFL11,
  author    = {K. K. Lamberty and
               Stephen Adams and
               Jason Biatek and
               Katherine Froiland and
               Jay Lapham},
  title     = {Using a large display in the periphery to support children learning
               through design},
  booktitle = {Interaction Design and Children, Proceedings of the 10th International
               Conference on Interaction Design and Children, {IDC} 2011, Ann Arbor,
               MI, USA, June 20-23, 2011},
  pages     = {62--71},
  year      = {2011},
  crossref  = {DBLP:conf/acmidc/2011},
  url       = {https://doi.org/10.1145/1999030.1999038},
  doi       = {10.1145/1999030.1999038},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acmidc/LambertyABFL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LambertyFBA10,
  author    = {K. K. Lamberty and
               Katherine Froiland and
               Jason Biatek and
               Stephen Adams},
  title     = {Encouraging awareness of peers' learning activities using large displays
               in the periphery},
  booktitle = {Proceedings of the 28th International Conference on Human Factors
               in Computing Systems, {CHI} 2010, Extended Abstracts Volume, Atlanta,
               Georgia, USA, April 10-15, 2010},
  pages     = {3655--3660},
  year      = {2010},
  crossref  = {DBLP:conf/chi/2010a},
  url       = {https://doi.org/10.1145/1753846.1754034},
  doi       = {10.1145/1753846.1754034},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chi/LambertyFBA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014twinpeaks,
  editor    = {Jane Cleland{-}Huang and
               Paris Avgeriou and
               Janet E. Burge and
               Xavier Franch and
               Matthias Galster and
               Mehdi Mirakhorli and
               Roshanak Roshandel},
  title     = {Proceedings of the 4th International Workshop on Twin Peaks of Requirements
               and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593861},
  isbn      = {978-1-4503-2848-7},
  timestamp = {Mon, 26 May 2014 15:22:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014twinpeaks},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014formalise,
  editor    = {Stefania Gnesi and
               Nico Plat},
  title     = {Proceedings of the 2nd {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593489},
  isbn      = {978-1-4503-2853-1},
  timestamp = {Mon, 26 May 2014 14:59:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
  editor    = {Alwyn Goodloe and
               Suzette Person},
  title     = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7226},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3},
  doi       = {10.1007/978-3-642-28891-3},
  isbn      = {978-3-642-28890-6},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acmidc/2011,
  editor    = {Tom Moher and
               Chris Quintana and
               Sara Price},
  title     = {Interaction Design and Children, Proceedings of the 10th International
               Conference on Interaction Design and Children, {IDC} 2011, Ann Arbor,
               MI, USA, June 20-23, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0751-2},
  timestamp = {Tue, 21 Jun 2011 15:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acmidc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2010a,
  editor    = {Elizabeth D. Mynatt and
               Don Schoner and
               Geraldine Fitzpatrick and
               Scott E. Hudson and
               W. Keith Edwards and
               Tom Rodden},
  title     = {Proceedings of the 28th International Conference on Human Factors
               in Computing Systems, {CHI} 2010, Extended Abstracts Volume, Atlanta,
               Georgia, USA, April 10-15, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-930-5},
  timestamp = {Tue, 25 Jan 2011 15:48:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chi/2010a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier