Published in: LITES, Volume 8, Issue 1 (2022): Special Issue on Embedded Systems for Computer Vision. Leibniz Transactions on Embedded Systems, Volume 8, Issue 1
LITES, Volume 8, Issue 1: Special Issue on Embedded Systems for Computer Vision, pp. 0:i-0:viii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Article{chakraborty_et_al:LITES.8.1.0, author = {Chakraborty, Samarjit and Rao, Qing}, title = {{Introduction to the Special Issue on Embedded Systems for Computer Vision}}, booktitle = {LITES, Volume 8, Issue 1 (2022): Special Issue on Embedded Systems for Computer Vision}, pages = {00:1--00:8}, journal = {Leibniz Transactions on Embedded Systems}, ISSN = {2199-2002}, year = {2022}, volume = {8}, number = {1}, editor = {Chakraborty, Samarjit and Rao, Qing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.1.0}, doi = {10.4230/LITES.8.1.0}, annote = {Keywords: Embedded systems, Computer vision, Cyber-physical systems, Computer architecture} }
Published in: LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019)
Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman. Ornaments for Proof Reuse in Coq. In 10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 141, pp. 26:1-26:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
@InProceedings{ringer_et_al:LIPIcs.ITP.2019.26, author = {Ringer, Talia and Yazdani, Nathaniel and Leo, John and Grossman, Dan}, title = {{Ornaments for Proof Reuse in Coq}}, booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)}, pages = {26:1--26:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-122-1}, ISSN = {1868-8969}, year = {2019}, volume = {141}, editor = {Harrison, John and O'Leary, John and Tolmach, Andrew}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.26}, URN = {urn:nbn:de:0030-drops-110816}, doi = {10.4230/LIPIcs.ITP.2019.26}, annote = {Keywords: ornaments, proof reuse, proof automation} }
Published in: Dagstuhl Reports, Volume 5, Issue 5 (2016)
Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund. Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). In Dagstuhl Reports, Volume 5, Issue 5, pp. 115-132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@Article{ko_et_al:DagRep.5.5.115, author = {Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet}, title = {{Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)}}, pages = {115--132}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {5}, editor = {Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.115}, URN = {urn:nbn:de:0030-drops-54049}, doi = {10.4230/DagRep.5.5.115}, annote = {Keywords: Software engineering, developer tools, human factors} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Andrew J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, and Mark Grechanik. Computing and Diagnosing Changes in Unit Test Energy Consumption. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{ko_et_al:DagSemProc.10111.4, author = {Ko, Andrew J. and Young, Michal and Andrews, Jamie and Robinson, Brian P. and Grechanik, Mark}, title = {{Computing and Diagnosing Changes in Unit Test Energy Consumption}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.4}, URN = {urn:nbn:de:0030-drops-26248}, doi = {10.4230/DagSemProc.10111.4}, annote = {Keywords: Energy, oracles} }
Published in: Dagstuhl Seminar Proceedings, Volume 7081, End-User Software Engineering (2007)
Andrew J. Ko. Barriers to Successful End-User Programming. In End-User Software Engineering. Dagstuhl Seminar Proceedings, Volume 7081, p. 1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)
@InProceedings{ko:DagSemProc.07081.4, author = {Ko, Andrew J.}, title = {{Barriers to Successful End-User Programming}}, booktitle = {End-User Software Engineering}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7081}, editor = {Margaret H. Burnett and Gregor Engels and Brad A. Myers and Gregg Rothermel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07081.4}, URN = {urn:nbn:de:0030-drops-10913}, doi = {10.4230/DagSemProc.07081.4}, annote = {Keywords: End-user programming, learning, empirical studies} }
Feedback for Dagstuhl Publishing