Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Martin Lester"
download as .bib file
@inproceedings{DBLP:conf/padl/Lester24,
author = {Martin Mariusz Lester},
editor = {Martin Gebser and
Ilya Sergey},
title = {Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols
Using Bounded Integer Arithmetic},
booktitle = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
pages = {100--115},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52038-9\_7},
doi = {10.1007/978-3-031-52038-9\_7},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Lester24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/KurteffLMCHVMTHPH23,
author = {Garret Kurteff and
Rosemary A. Lester{-}Smith and
Amanda Martinez and
Nicole Currens and
Jade Holder and
Cassandra Villarreal and
Valerie R. Mercado and
Christopher Truong and
Claire Huber and
Paranjaya Pokharel and
Liberty S. Hamilton},
title = {Speaker-induced Suppression in {EEG} during a Naturalistic Reading
and Listening Task},
journal = {J. Cogn. Neurosci.},
volume = {35},
number = {10},
pages = {1538--1556},
year = {2023},
url = {https://doi.org/10.1162/jocn\_a\_02037},
doi = {10.1162/JOCN\_A\_02037},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/KurteffLMCHVMTHPH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbet/CayaLMDDG23,
author = {Meo Vincent C. Caya and
Noel B. Linsangan and
Melissa B. Martin and
Karl Elmerson Dayap and
Kevin Patirck Dilidili and
Mark Lester Gambol},
title = {Hardware Development for Jogger-Specific Vital Signs Monitoring with
Alarm Mechanism using E-Textile Technology},
booktitle = {Proceedings of the 2023 13th International Conference on Biomedical
Engineering and Technology, {ICBET} 2023, Tokyo, Japan, June 15-18,
2023},
pages = {99--103},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3620679.3620695},
doi = {10.1145/3620679.3620695},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbet/CayaLMDDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lester23,
author = {Martin Mariusz Lester},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {CoPTIC: Constraint Programming Translated Into {C}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {173--191},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_13},
doi = {10.1007/978-3-031-30820-8\_13},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lester23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03229,
author = {David Van Bulck and
Dries R. Goossens and
Jan{-}Patrick Clarner and
Angelos Dimitsas and
George H. G. Fonseca and
Carlos Lamas{-}Fernandez and
Martin Mariusz Lester and
Jaap Pedersen and
Antony E. Phillips and
Roberto Maria Rosati},
title = {Which algorithm to select in sports timetabling?},
journal = {CoRR},
volume = {abs/2309.03229},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.03229},
doi = {10.48550/ARXIV.2309.03229},
eprinttype = {arXiv},
eprint = {2309.03229},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-03229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/PuttanapongMBAD22,
author = {Nattapong Puttanapong and
Arturo Martinez and
Joseph Albert Nino Bulan and
Mildred Addawe and
Ron Lester Durante and
Marymell Martillan},
title = {Predicting Poverty Using Geospatial Data in Thailand},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {11},
number = {5},
pages = {293},
year = {2022},
url = {https://doi.org/10.3390/ijgi11050293},
doi = {10.3390/IJGI11050293},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgi/PuttanapongMBAD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/Lester22,
author = {Martin Mariusz Lester},
title = {Pseudo-Boolean optimisation for RobinX sports timetabling},
journal = {J. Sched.},
volume = {25},
number = {3},
pages = {287--299},
year = {2022},
url = {https://doi.org/10.1007/s10951-022-00737-7},
doi = {10.1007/S10951-022-00737-7},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scheduling/Lester22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/CerraMH0BBCDLKK22,
author = {Daniele Cerra and
David Marshall and
Uta Heiden and
Kevin Alonso and
Martin Bachmann and
Kara Burch and
Emiliano Carmona and
D. Dietrich and
H. Lester and
Uwe Knodt and
David Krutz and
Rupert M{\"{u}}ller and
Raquel De los Reyes and
Peter Reinartz and
Mirco Tegler},
title = {The Spaceborne Imaging Spectrometer Desis: Data Access, Outreach Activities,
and Scientific Applications},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2022, Kuala Lumpur, Malaysia, July 17-22, 2022},
pages = {5395--5398},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IGARSS46834.2022.9883119},
doi = {10.1109/IGARSS46834.2022.9883119},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/CerraMH0BBCDLKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WeitnauerFMPSSK21,
author = {Ladina Weitnauer and
Stefan Frisch and
Lester Melie{-}Garc{\'{\i}}a and
Martine Preisig and
Matthias L. Schroeter and
Ines Sajfutdinow and
Ferath Kherif and
Bogdan Draganski},
title = {Mapping grip force to motor networks},
journal = {NeuroImage},
volume = {229},
pages = {117735},
year = {2021},
url = {https://doi.org/10.1016/j.neuroimage.2021.117735},
doi = {10.1016/J.NEUROIMAGE.2021.117735},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/WeitnauerFMPSSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/Muller0BBCCDGLH21,
author = {Rupert M{\"{u}}ller and
Kevin Alonso and
Martin Bachmann and
Kara Burch and
Emiliano Carmona and
Daniele Cerra and
Daniele Dietrich and
Peter Gege and
Heath Lester and
Uta Heiden and
Stefanie Holzwarth and
Uwe Knodt and
David Krutz and
David Marshall and
Miguel Pato and
Raquel De los Reyes and
Peter Reinartz and
Mirco Tegler},
title = {The Spaceborne Imaging Spectrometer Desis: Data Access and Scientific
Applications},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2021, Brussels, Belgium, July 11-16, 2021},
pages = {1386--1389},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IGARSS47720.2021.9554912},
doi = {10.1109/IGARSS47720.2021.9554912},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/Muller0BBCCDGLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Lester21,
author = {Martin Mariusz Lester},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {349--358},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_24},
doi = {10.1007/978-3-030-80223-3\_24},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Lester21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06238,
author = {Benzar Glen Grepon and
Aldwin Lester Martinez},
title = {Architectural Visualization Using Virtual Reality: {A} User Experience
in Simulating Buildings of a Community College in Bukidnon, Philippines},
journal = {CoRR},
volume = {abs/2103.06238},
year = {2021},
url = {https://arxiv.org/abs/2103.06238},
eprinttype = {arXiv},
eprint = {2103.06238},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-02266,
author = {Koulik Khamaru and
Yash Deshpande and
Lester Mackey and
Martin J. Wainwright},
title = {Near-optimal inference in adaptive linear regression},
journal = {CoRR},
volume = {abs/2107.02266},
year = {2021},
url = {https://arxiv.org/abs/2107.02266},
eprinttype = {arXiv},
eprint = {2107.02266},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-02266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00198,
author = {Benzar Glen Grepon and
Ni{\~{n}}o T. Baran and
Kenn Migan Vincent C. Gumonan and
Aldwin Lester M. Martinez and
Mona Liel E. Lacsa},
title = {Designing and Implementing e-School Systems: An Information Systems
Approach to School Management of a Community College in Northern Mindanao,
Philippines},
journal = {CoRR},
volume = {abs/2109.00198},
year = {2021},
url = {https://arxiv.org/abs/2109.00198},
eprinttype = {arXiv},
eprint = {2109.00198},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/TurroAMGGSASFTS20,
author = {Ernest Turro and
William J. Astle and
Karyn Megy and
Stefan Gr{\"{a}}f and
Daniel Greene and
Olga Shamardina and
Hana Lango Allen and
Alba Sanchis{-}Juan and
Mattia Frontini and
Chantal Thys and
Jonathan Stephens and
Rutendo Mapeta and
Oliver S. Burren and
Kate Downes and
Matthias Haimel and
Salih Tuna and
Sri V. V. Deevi and
Timothy J. Aitman and
David L. H. Bennett and
Paul Calleja and
Keren Carss and
Mark J. Caulfield and
Patrick F. Chinnery and
Peter H. Dixon and
Daniel P. Gale and
Roger James and
Ania Koziell and
Michael A. Laffan and
Adam P. Levine and
Eamonn R. Maher and
Hugh S. Markus and
Joannella Morales and
Nicholas W. Morrell and
Andrew D. Mumford and
Elizabeth Ormondroyd and
Stuart Rankin and
Augusto Rendon and
Sylvia Richardson and
Irene Roberts and
Noemi B. A. Roy and
Moin A. Saleem and
Kenneth G. C. Smith and
Hannah Stark and
Rhea Y. Y. Tan and
Andreas C. Themistocleous and
Adrian J. Thrasher and
Hugh Watkins and
Andrew R. Webster and
Martin R. Wilkins and
Catherine Williamson and
James Whitworth and
Sean Humphray and
David R. Bentley and
Stephen Abbs and
Lara Abulhoul and
Julian Adlard and
Munaza Ahmed and
Hana Alachkar and
David J. Allsup and
Jeff Almeida{-}King and
Philip Ancliff and
Richard Antrobus and
Ruth Armstrong and
Gavin Arno and
Sofie Ashford and
Anthony Attwood and
Paul Aurora and
Christian Babbs and
Chiara Bacchelli and
Tamam Bakchoul and
Siddharth Banka and
Tadbir Bariana and
Julian Barwell and
Joana Batista and
Helen E. Baxendale and
Phil L. Beales and
Agnieszka Bierzynska and
Tina Biss and
Maria A. K. Bitner{-}Glindzicz and
Graeme C. M. Black and
Marta Bleda and
Iulia Blesneac and
Detlef Bockenhauer and
Harm Bogaard and
Christian J. Bourne and
Sara Boyce and
John R. Bradley and
Eugene Bragin and
Gerome Breen and
Paul Brennan and
Carole Brewer and
Matthew Brown and
Andrew C. Browning and
Michael J. Browning and
Rachel J. Buchan and
Matthew S. Buckland and
Teofila Bueser and
Carmen Bugarin Diz and
John Burn and
Siobhan O. Burns and
Nigel Burrows and
Carolyn Campbell and
Gerald Carr{-}White and
Ruth Casey and
Jenny Chambers and
John Chambers and
Melanie M. Y. Chan and
Calvin Cheah and
Floria Cheng and
Manali Chitre and
Martin T. Christian and
Colin Church and
Jill Clayton{-}Smith and
Maureen Cleary and
Naomi Clements Brod and
Gerry Coghlan and
Elizabeth Colby and
Trevor R. P. Cole and
Janine Collins and
Peter W. Collins and
Camilla Colombo and
Cecilia J. Compton and
Robin Condliffe and
Stuart A. Cook and
H. Terence Cook and
Nichola Cooper and
Paul A. Corris and
Abigail Furnell and
Fiona Cunningham and
Nicola S. Curry and
Antony J. Cutler and
Matthew J. Daniels and
Mehul Dattani and
Louise C. Daugherty and
John Davis and
Anthony De Soyza and
Timothy Dent and
Charu Deshpande and
Eleanor F. Dewhurst and
Sofia Douzgou and
Anna M. Drazyk and
Elizabeth Drewe and
Daniel Duarte and
Tina Dutt and
J. David M. Edgar and
Karen Edwards and
William Egner and
Melanie N. Ekani and
Perry Elliott and
Wendy N. Erber and
Marie Erwood and
Maria C. Estiu and
Dafydd Gareth Evans and
Gillian Evans and
Tamara Everington and
M{\'{e}}lanie Eyries and
Hiva Fassihi and
Remi Favier and
Jack Findhammer and
Debra Fletcher and
Frances A. Flinter and
R. Andres Floto and
Tom Fowler and
James Fox and
Amy J. Frary and
Courtney E. French and
Kathleen Freson and
Henning Gall and
Vijeya Ganesan and
Michael Gattens and
Claire Geoghegan and
Terence S. A. Gerighty and
Ali G. Gharavi and
Stefano Ghio and
Hossein{-}Ardeschir Ghofrani and
J. Simon R. Gibbs and
Kate Gibson and
Kimberly C. Gilmour and
Barbara Girerd and
Nicholas S. Gleadall and
Sarah Goddard and
David B. Goldstein and
Keith Gomez and
Pavels Gordins and
David Gosal and
Jodie Graham and
Luigi Grassi and
Lynn Greenhalgh and
Andreas Greinacher and
Paolo Gresele and
Philip Griffiths and
Sofia Grigoriadou and
Russell J. Grocock and
Detelina Grozeva and
Mark Gurnell and
Scott Hackett and
Charaka Hadinnapola and
William M. Hague and
Rosie Hague and
Matthew Hall and
Helen L. Hanson and
Eshika Haque and
Kirsty Harkness and
Andrew R. Harper and
Claire L. Harris and
Daniel Hart and
Ahamad Hassan and
Grant Hayman and
Alex Henderson and
Archana Herwadkar and
Jonathan Hoffman and
Simon Holden and
Rita Horvath and
Henry Houlden and
Arjan C. Houweling and
Luke S. G. E. Howard and
Fengyuan Hu and
Gavin Hudson and
Joseph Hughes and
Aarnoud P. Huissoon and
Marc Humbert and
Sarah Hunter and
Matthew E. Hurles and
Melita Irving and
Louise Izatt and
Sally A. Johnson and
Stephen Jolles and
Jennifer Jolley and
Dragana Josifova and
Neringa Jurkute and
Tim Karten and
Johannes Karten and
Mary A. Kasanicki and
Hanadi Kazkaz and
Rashid Kazmi and
Peter Kelleher and
Anne M. Kelly and
Wilf Kelsall and
Carly Kempster and
David G. Kiely and
Nathalie Kingston and
Robert Klima and
Nils Koelling and
Myrto Kostadima and
Gabor Kovacs and
Roman Kreuzhuber and
Taco W. Kuijpers and
Ajith Kumar and
Dinakantha Kumararatne and
Manju A. Kurian and
Fiona Lalloo and
Michele Lambert and
Allan Lawrie and
D. Mark Layton and
Nick Lench and
Claire Lentaigne and
Tracy Lester and
Rachel Linger and
Hilary Longhurst and
Lorena E. Lorenzo and
Eleni Louka and
Paul A. Lyons and
Rajiv D. Machado and
Robert V. MacKenzie Ross and
Bella Madan and
Jesmeen Maimaris and
Samantha Malka and
Sarah Mangles and
Kevin J. Marchbank and
Stephen Marks and
Hanns{-}Ulrich Marschall and
Andrew G. Marshall and
Jennifer Martin and
Mary Mathias and
Emma Matthews and
Heather Maxwell and
Paul McAlinden and
Mark I. McCarthy and
Harriet McKinney and
Aoife McMahon and
Stuart Meacham and
Adam J. Mead and
Ignacio Medina Castello and
Sarju G. Mehta and
Michel Michaelides and
Carolyn Millar and
Shehla N. Mohammed and
Shahin Moledina and
David Montani and
Anthony T. Moore and
Monika Mozere and
Keith W. Muir and
Andrea H. Nemeth and
William G. Newman and
Michael Newnham and
Sadia Noorani and
Paquita Nurden and
Jennifer O'Sullivan and
Samya Obaji and
Chris Odhams and
Steven Okoli and
Andrea Olschewski and
Horst Olschewski and
Kai Ren Ong and
S. Helen Oram and
Willem H. Ouwehand and
Claire Palles and
Sofia Papadia and
Soo{-}Mi Park and
David Parry and
Smita Patel and
Joan Paterson and
Andrew Peacock and
Simon H. Pearce and
John Peden and
Kathelijne Peerlinck and
Christopher J. Penkett and
Joanna Pepke{-}Zaba and
Romina Petersen and
Clarissa Pilkington and
Kenneth E. S. Poole and
Radhika Prathalingam and
Bethan Psaila and
Angela Pyle and
Richard Quinton and
Shamima Rahman and
Anupama Rao and
F. Lucy Raymond and
Paula J. Rayner{-}Matthews and
Christine Rees and
Tara Renton and
Christopher J. Rhodes and
Andrew S. C. Rice and
Alex Richter and
Leema Robert and
Anthony Rogers and
Sarah J. Rose and
Robert Ross{-}Russell and
Catherine Roughley and
Deborah M. Ruddy and
Omid Sadeghi{-}Alavijeh and
Nilesh J. Samani and
Crina Samarghitean and
Ravishankar B. Sargur and
Robert N. Sarkany and
Simon Satchell and
Sinisa Savic and
John A. Sayer and
Genevieve Sayer and
Laura Scelsi and
Andrew M. Schaefer and
Sol Schulman and
Richard Scott and
Marie Scully and
Claire Searle and
Werner Seeger and
Arjune Sen and
W. A. Carrock Sewell and
Denis Seyres and
Neil Shah and
Susan E. Shapiro and
Adam C. Shaw and
Patrick J. Short and
Keith Sibson and
Lucy Side and
Ilenia Simeoni and
Michael A. Simpson and
Matthew C. Sims and
Suthesh Sivapalaratnam and
Damian Smedley and
Katherine R. Smith and
Katie Snape and
Nicole Soranzo and
Florent Soubrier and
Laura Southgate and
Olivera Spasic{-}Boskovic and
Simon Staines and
Emily Staples and
Charles A. Steward and
Kathleen E. Stirrups and
Alex Stuckey and
Jay Suntharalingam and
Emilia M. Swietlik and
Petros Syrris and
R. Campbell Tait and
Kate Talks and
Katie Tate and
John M. Taylor and
Jenny C. Taylor and
James E. Thaventhiran and
Ellen Thomas and
David Thomas and
Moira J. Thomas and
Patrick Thomas and
Kate Thomson and
Glen Threadgold and
Tobias Tilly and
Marc Tischkowitz and
Catherine Titterton and
John A. Todd and
Cheng{-}Hock Toh and
Bas Tolhuis and
Ian P. Tomlinson and
Mark Toshner and
Matthew Traylor and
Carmen Treacy and
Paul Treadaway and
Richard Trembath and
Wojciech Turek and
Philip Twiss and
Tom Vale and
Chris Van Geet and
Natalie van Zuydam and
Maarten Vandekuilen and
Anthony M. Vandersteen and
Marta Vazquez{-}Lopez and
Julie von Ziegenweidt and
Anton Vonk{-}Noordegraaf and
Annette Wagner and
Quinten Waisfisz and
Suellen M. Walker and
Neil Walker and
Klaudia Walter and
James S. Ware and
Christopher Watt and
Lucy Wedderburn and
Wei Wei and
Steven B. Welch and
Julie Wessels and
Sarah K. Westbury and
John{-}Paul Westwood and
John Wharton and
Deborah Whitehorn and
Andrew O. M. Wilkie and
Brian T. Wilson and
Edwin K. S. Wong and
Nicholas W. Wood and
Yvette Wood and
Christopher Geoffrey Woods and
Emma R. Woodward and
Stephen J. Wort and
Austen Worth and
Michael Wright and
Katherine Yates and
Patrick F. K. Yong and
Timothy Young and
Ping Yu and
Patrick Yu{-}Wai{-}Man and
Eliska Zlamalova},
title = {Whole-genome sequencing of patients with rare diseases in a national
health system},
journal = {Nat.},
volume = {583},
number = {7814},
pages = {96--102},
year = {2020},
url = {https://doi.org/10.1038/s41586-020-2434-2},
doi = {10.1038/S41586-020-2434-2},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nature/TurroAMGGSASFTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Lester20,
author = {Martin Mariusz Lester},
editor = {Wolfgang Ahrendt and
Heike Wehrheim},
title = {ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive
Fiction Games},
booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {169--179},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50995-8\_10},
doi = {10.1007/978-3-030-50995-8\_10},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/Lester20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13333,
author = {Martin Lester and
Robin P. Neatherway and
C.{-}H. Luke Ong and
Steven J. Ramsay},
title = {Verifying Liveness Properties of {ML} Programs},
journal = {CoRR},
volume = {abs/2012.13333},
year = {2020},
url = {https://arxiv.org/abs/2012.13333},
eprinttype = {arXiv},
eprint = {2012.13333},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15240,
author = {Martin Mariusz Lester},
title = {Analysis of MiniJava Programs via Translation to {ML}},
journal = {CoRR},
volume = {abs/2012.15240},
year = {2020},
url = {https://arxiv.org/abs/2012.15240},
eprinttype = {arXiv},
eprint = {2012.15240},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15285,
author = {Martin Lester},
title = {What can a 1980s {BASIC} programming textbook teach us today?},
journal = {CoRR},
volume = {abs/2012.15285},
year = {2020},
url = {https://arxiv.org/abs/2012.15285},
eprinttype = {arXiv},
eprint = {2012.15285},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15365,
author = {Martin Mariusz Lester},
title = {Solving Interactive Fiction Games via Partial Evaluation and Bounded
Model Checking},
journal = {CoRR},
volume = {abs/2012.15365},
year = {2020},
url = {https://arxiv.org/abs/2012.15365},
eprinttype = {arXiv},
eprint = {2012.15365},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AlonsoBBCCRDHHI19,
author = {Kevin Alonso and
Martin Bachmann and
Kara Burch and
Emiliano Carmona and
Daniele Cerra and
Raquel De los Reyes and
Daniele Dietrich and
Uta Heiden and
Andreas H{\"{o}}lderlin and
Jack Ickes and
Uwe Knodt and
David Krutz and
Heath Lester and
Rupert M{\"{u}}ller and
Mary Pagnutti and
Peter Reinartz and
Rudolf Richter and
Robert E. Ryan and
Ilse Sebastian and
Mirco Tegler},
title = {Data Products, Quality and Validation of the {DLR} Earth Sensing Imaging
Spectrometer {(DESIS)}},
journal = {Sensors},
volume = {19},
number = {20},
pages = {4471},
year = {2019},
url = {https://doi.org/10.3390/s19204471},
doi = {10.3390/S19204471},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/AlonsoBBCCRDHHI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Lester19,
author = {Martin Mariusz Lester},
editor = {Toby Murray and
Gidon Ernst},
title = {Analysis of MiniJava programs via translation to {ML}},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {6:1--6:3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341119},
doi = {10.1145/3340672.3341119},
timestamp = {Mon, 05 Feb 2024 20:31:47 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Lester19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LesterM19,
author = {Hugh D. Lester and
Martin J. Miller},
editor = {Sokratis K. Katsikas and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Nora Cuppens and
Costas Lambrinoudakis and
Christos Kalloniatis and
John Mylopoulos and
Annie I. Ant{\'{o}}n and
Stefanos Gritzalis and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Weizhi Meng and
Steven Furnell and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Discrete Event Simulation of Jail Operations in Pursuit of Organizational
Culture Change},
booktitle = {Computer Security - {ESORICS} 2019 International Workshops, CyberICPS,
SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27,
2019 Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11980},
pages = {307--322},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42048-2\_20},
doi = {10.1007/978-3-030-42048-2\_20},
timestamp = {Thu, 18 Feb 2021 13:46:45 +0100},
biburl = {https://dblp.org/rec/conf/esorics/LesterM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/OzkanRMMHLKWPB19,
author = {Desen Sevi Ozkan and
David Reeping and
Lisa D. McNair and
Tom L. Martin and
Steve Harrison and
Luke F. Lester and
Ben Knapp and
Matthew Wisnioski and
Annie Yong Patrick and
Liesl Baum},
title = {Using Personas as Curricular Design Tools: Engaging the Boundaries
of Engineering Culture},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2019, Cincinnati,
OH, USA, October 16-19, 2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FIE43999.2019.9028358},
doi = {10.1109/FIE43999.2019.9028358},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/OzkanRMMHLKWPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-03217,
author = {Martin Lester},
title = {Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming
via Combinatory Logic},
journal = {CoRR},
volume = {abs/1910.03217},
year = {2019},
url = {http://arxiv.org/abs/1910.03217},
eprinttype = {arXiv},
eprint = {1910.03217},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-03217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/BlundellBCCCDDM18,
author = {Inga Blundell and
Romain Brette and
Thomas A. Cleland and
Thomas G. Close and
Daniel Coca and
Andrew P. Davison and
Sandra Diaz{-}Pier and
Carlos Fernandez Musoles and
Padraig Gleeson and
Dan F. M. Goodman and
Michael L. Hines and
Michael W. Hopkins and
Pramod S. Kumbhar and
David R. Lester and
B{\'{o}}ris Marin and
Abigail Morrison and
Eric M{\"{u}}ller and
Thomas Nowotny and
Alexander Peyser and
Dimitri Plotnikov and
Paul Richmond and
Andrew Rowley and
Bernhard Rumpe and
Marcel Stimberg and
Alan B. Stokes and
Adam R. Tomkins and
Guido Trensch and
Michael Marmaduke Woodman and
Jochen Martin Eppler},
title = {Code Generation in Computational Neuroscience: {A} Review of Tools
and Techniques},
journal = {Frontiers Neuroinformatics},
volume = {12},
pages = {68},
year = {2018},
url = {https://doi.org/10.3389/fninf.2018.00068},
doi = {10.3389/FNINF.2018.00068},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fini/BlundellBCCCDDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/ReepingMBWPMLKH18,
author = {David Reeping and
Lisa D. McNair and
Liesl Baum and
Matthew Wisnioski and
Annie Yong Patrick and
Thomas L. Martin and
Luke F. Lester and
Benjamin Knapp and
Steve Harrison},
title = {"We've Always Done it that Way, " An Exploration of Electrical and
Computer Engineering Faculty Curricular Decisions},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
USA, October 3-6, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FIE.2018.8659333},
doi = {10.1109/FIE.2018.8659333},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/ReepingMBWPMLKH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LesterFM17,
author = {Nicholas Lester and
Laurie Feldman and
Ferm{\'{\i}}n Moscoso del Prado Mart{\'{\i}}n},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
title = {You can take a noun out of syntax...: Syntactic similarity effects
in lexical priming},
booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
CogSci 2017, London, UK, 16-29 July 2017},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0482/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LesterFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/ReepingMWPMLKH17,
author = {David Reeping and
Lisa D. McNair and
Matthew Wisnioski and
Annie Yong Patrick and
Thomas L. Martin and
Luke F. Lester and
Benjamin Knapp and
Steve Harrison},
title = {Using threshold concepts to restructure an electrical and computer
engineering curriculum: Troublesome knowledge in expected outcomes},
booktitle = {2017 {IEEE} Frontiers in Education Conference, {FIE} 2017, Indianapolis,
IN, USA, October 18-21, 2017},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FIE.2017.8190444},
doi = {10.1109/FIE.2017.8190444},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/ReepingMWPMLKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/LesterOS16,
author = {Martin Mariusz Lester and
Luke Ong and
Max Sch{\"{a}}fer},
title = {Information flow analysis for a dynamically typed language with staged
metaprogramming},
journal = {J. Comput. Secur.},
volume = {24},
number = {5},
pages = {541--582},
year = {2016},
url = {https://doi.org/10.3233/JCS-160557},
doi = {10.3233/JCS-160557},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/LesterOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LesterM16,
author = {Nicholas Lester and
Ferm{\'{\i}}n Moscoso del Prado Mart{\'{\i}}n},
editor = {Anna Papafragou and
Daniel Grodner and
Daniel Mirman and
John C. Trueswell},
title = {Syntactic Flexibility in the Noun: Evidence from Picture Naming},
booktitle = {Proceedings of the 38th Annual Meeting of the Cognitive Science Society,
Recognizing and Representing Events, CogSci 2016, Philadelphia, PA,
USA, August 10-13, 2016},
publisher = {cognitivesciencesociety.org},
year = {2016},
url = {https://mindmodeling.org/cogsci2016/papers/0446/index.html},
timestamp = {Thu, 18 Apr 2024 13:03:08 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LesterM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Lester15,
author = {Martin Mariusz Lester},
title = {Verifying information flow and metaprogramming in dynamically typed
languages},
school = {University of Oxford, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.714076},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Lester15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bigdata/VieSLHLS15,
author = {Loryana L. Vie and
Lawrence M. Scheier and
Paul B. Lester and
Tiffany E. Ho and
Darwin R. Labarthe and
Martin E. P. Seligman},
title = {The {U.S.} Army Person-Event Data Environment: {A} Military-Civilian
Big Data Enterprise},
journal = {Big Data},
volume = {3},
number = {2},
pages = {67--79},
year = {2015},
url = {https://doi.org/10.1089/big.2014.0055},
doi = {10.1089/BIG.2014.0055},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bigdata/VieSLHLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/Aartsen15,
author = {Mark G. Aartsen and
Rasha U. Abbasi and
Markus Ackermann and
Jenni Adams and
Juan Antonio Aguilar S{\'{a}}nchez and
Markus Ahlers and
David Altmann and
Carlos A. Arg{\"{u}}elles Delgado and
Jan Auffenberg and
Xinhua Bai and
Michael F. Baker and
Steven W. Barwick and
Volker Baum and
Ryan Bay and
James J. Beatty and
Julia K. Becker Tjus and
Karl{-}Heinz Becker and
Segev BenZvi and
Patrick Berghaus and
David Berley and
Elisa Bernardini and
Anna Bernhard and
David Z. Besson and
G. Binder and
Daniel Bindig and
Martin Bissok and
Erik Blaufuss and
Jan Blumenthal and
David J. Boersma and
Christian Bohm and
Debanjan Bose and
Sebastian B{\"{o}}ser and
Olga Botner and
Lionel Brayeur and
Hans{-}Peter Bretz and
Anthony M. Brown and
Ronald Bruijn and
James Casey and
Martin Casier and
Dmitry Chirkin and
Asen Christov and
Brian John Christy and
Ken Clark and
Lew Classen and
Fabian Clevermann and
Stefan Coenders and
Shirit Cohen and
Doug F. Cowen and
Angel H. Cruz Silva and
Matthias Danninger and
Jacob Daughhetee and
James C. Davis and
Melanie Day and
Catherine De Clercq and
Sam De Ridder and
Paolo Desiati and
Krijn D. de Vries and
Meike de With and
Tyce DeYoung and
Juan Carlos D{\'{\i}}az{-}V{\'{e}}lez and
Matthew Dunkman and
Ryan Eagan and
Benjamin Eberhardt and
Bj{\"{o}}rn Eichmann and
Jonathan Eisch and
Sebastian Euler and
Paul A. Evenson and
Oladipo O. Fadiran and
Ali R. Fazely and
Anatoli Fedynitch and
Jacob Feintzeig and
Tom Feusels and
Kirill Filimonov and
Chad Finley and
Tobias Fischer{-}Wasels and
Samuel Flis and
Anna Franckowiak and
Katharina Frantzen and
Tomasz Fuchs and
Thomas K. Gaisser and
Joseph S. Gallagher and
Lisa Marie Gerhardt and
Laura E. Gladstone and
Thorsten Gl{\"{u}}senkamp and
Azriel Goldschmidt and
Geraldina Golup and
Javier G. Gonz{\'{a}}lez and
Jordan A. Goodman and
Dariusz G{\'{o}}ra and
Dylan T. Grandmont and
Darren Grant and
Pavel Gretskov and
John C. Groh and
Andreas Gro{\ss} and
Chang Hyon Ha and
Abd Al Karim Haj Ismail and
Patrick Hallen and
Allan Hallgren and
Francis Halzen and
Kael D. Hanson and
Dustin Hebecker and
David Heereman and
Dirk Heinen and
Klaus Helbing and
Robert Eugene Hellauer III and
Stephanie Virginia Hickford and
Gary C. Hill and
Kara D. Hoffman and
Ruth Hoffmann and
Andreas Homeier and
Kotoyo Hoshina and
Feifei Huang and
Warren Huelsnitz and
Per Olof Hulth and
Klas Hultqvist and
Shahid Hussain and
Aya Ishihara and
Emanuel Jacobi and
John E. Jacobsen and
Kai Jagielski and
George S. Japaridze and
Kyle Jero and
Ola Jlelati and
Basho Kaminsky and
Alexander Kappes and
Timo Karg and
Albrecht Karle and
Matthew Kauer and
John Lawrence Kelley and
Joanna Kiryluk and
J. Kl{\"{a}}s and
Spencer R. Klein and
Jan{-}Hendrik K{\"{o}}hne and
Georges Kohnen and
Hermann Kolanoski and
Lutz K{\"{o}}pke and
Claudio Kopper and
Sandro Kopper and
D. Jason Koskinen and
Marek Kowalski and
Mark Krasberg and
Anna Kriesten and
Kai Michael Krings and
G{\"{o}}sta Kroll and
Jan Kunnen and
Naoko Kurahashi and
Takao Kuwabara and
Mathieu L. M. Labare and
Hagar Landsman and
Michael James Larson and
Mariola Lesiak{-}Bzdak and
Martin Leuermann and
Julia Leute and
Jan L{\"{u}}nemann and
Oscar A. Mac{\'{\i}}as{-}Ram{\'{\i}}rez and
James Madsen and
Giuliano Maggi and
Reina Maruyama and
Keiichi Mase and
Howard S. Matis and
Frank McNally and
Kevin James Meagher and
Martin Merck and
Gonzalo Merino Ar{\'{e}}valo and
Thomas Meures and
Sandra Miarecki and
Eike Middell and
Natalie Milke and
John Lester Miller and
Lars Mohrmann and
Teresa Montaruli and
Robert M. Morse and
Rolf Nahnhauer and
Uwe Naumann and
Hans Niederhausen and
Sarah C. Nowicki and
David R. Nygren and
Anna Obertacke and
Sirin Odrowski and
Alex Olivas and
Ahmad Omairat and
Aongus Starbuck {\'{O}} Murchadha and
Larissa Paul and
Joshua A. Pepper and
Carlos P{\'{e}}rez de los Heros and
Carl Pfendner and
Damian Pieloth and
Elisa Pinat and
Jonas Posselt and
P. Buford Price and
Gerald T. Przybylski and
Melissa Quinnan and
Leif R{\"{a}}del and
Ian Rae and
Mohamed Rameez and
Katherine Rawlins and
Peter Christian Redl and
Ren{\'{e}} Reimann and
Elisa Resconi and
Wolfgang Rhode and
Mathieu Ribordy and
Michael Richman and
Benedikt Riedel and
J. P. Rodrigues and
Carsten Rott and
Tim Ruhe and
Bakhtiyar Ruzybayev and
Dirk Ryckbosch and
Sabine M. Saba and
Heinz{-}Georg Sander and
Juan Marcos Santander and
Subir Sarkar and
Kai Schatto and
Florian Scheriau and
Torsten Schmidt and
Martin Schmitz and
Sebastian Schoenen and
Sebastian Sch{\"{o}}neberg and
Arne Sch{\"{o}}nwald and
Anne Schukraft and
Lukas Schulte and
David Schultz and
Olaf Schulz and
David Seckel and
Yolanda Sestayo de la Cerra and
Surujhdeo Seunarine and
Rezo Shanidze and
Chris Sheremata and
Miles W. E. Smith and
Dennis Soldin and
Glenn M. Spiczak and
Christian Spiering and
Michael Stamatikos and
Todor Stanev and
Nick A. Stanisha and
Alexander Stasik and
Thorsten Stezelberger and
Robert G. Stokstad and
Achim St{\"{o}}{\ss}l and
Erik A. Strahler and
Rickard Str{\"{o}}m and
Nora Linn Strotjohann and
Gregory W. Sullivan and
Henric Taavola and
Ignacio J. Taboada and
Alessio Tamburro and
Andreas Tepe and
Samvel Ter{-}Antonyan and
Gordana Tesic and
Serap Tilav and
Patrick A. Toale and
Moriah Natasha Tobin and
Simona Toscano and
Maria Tselengidou and
Elisabeth Unger and
Marcel Usner and
Sofia Vallecorsa and
Nick van Eijndhoven and
Arne Van Overloop and
Jakob van Santen and
Markus Vehring and
Markus Voge and
Matthias Vraeghe and
Christian Walck and
Tilo Waldenmaier and
Marius Wallraff and
Christopher N. Weaver and
Mark T. Wellons and
Christopher H. Wendt and
Stefan Westerhoff and
Nathan Whitehorn and
Klaus Wiebe and
Christopher Wiebusch and
Dawn R. Williams and
Henrike Wissing and
Martin Wolf and
Terri R. Wood and
Kurt Woschnagg and
Donglian Xu and
Xianwu Xu and
Juan Pablo Y{\'{a}}{\~{n}}ez Garza and
Gaurang B. Yodh and
Shigeru Yoshida and
Pavel Zarzhitsky and
Jan Ziemann and
Simon Zierke and
Marcel Zoll},
title = {The IceProd framework: Distributed data processing for the IceCube
neutrino observatory},
journal = {J. Parallel Distributed Comput.},
volume = {75},
pages = {198--211},
year = {2015},
url = {https://doi.org/10.1016/j.jpdc.2014.08.001},
doi = {10.1016/J.JPDC.2014.08.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/Aartsen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/Saint-LaurentBLMWCAWABGLPA15,
author = {Martin Saint{-}Laurent and
Paul Bassett and
Ken Lin and
Baker Mohammad and
Yuhe Wang and
Xufeng Chen and
Maen Alradaideh and
Tom Wernimont and
Kartik Ayyar and
Dan Bui and
Dwight Galbi and
Allan Lester and
Marzio Pedrali{-}Noy and
Willie Anderson},
title = {A 28 nm {DSP} Powered by an On-Chip {LDO} for High-Performance and
Energy-Efficient Mobile Applications},
journal = {{IEEE} J. Solid State Circuits},
volume = {50},
number = {1},
pages = {81--91},
year = {2015},
url = {https://doi.org/10.1109/JSSC.2014.2371454},
doi = {10.1109/JSSC.2014.2371454},
timestamp = {Sun, 30 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/Saint-LaurentBLMWCAWABGLPA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LesterM15,
author = {Nicholas Lester and
Ferm{\'{\i}}n Moscoso del Prado Mart{\'{\i}}n},
editor = {David C. Noelle and
Rick Dale and
Anne S. Warlaumont and
Jeff Yoshimi and
Teenie Matlock and
Carolyn D. Jennings and
Paul P. Maglio},
title = {Word order in a grammarless language: {A} 'small-data' information-theoretic
approach},
booktitle = {Proceedings of the 37th Annual Meeting of the Cognitive Science Society,
CogSci 2015, Pasadena, California, USA, July 22-25, 2015},
publisher = {cognitivesciencesociety.org},
year = {2015},
url = {https://mindmodeling.org/cogsci2015/papers/0231/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:49 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LesterM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LesterM15a,
author = {Nicholas Lester and
Ferm{\'{\i}}n Moscoso del Prado Mart{\'{\i}}n},
editor = {David C. Noelle and
Rick Dale and
Anne S. Warlaumont and
Jeff Yoshimi and
Teenie Matlock and
Carolyn D. Jennings and
Paul P. Maglio},
title = {Constructional paradigms affect visual lexical decision latencies
in English},
booktitle = {Proceedings of the 37th Annual Meeting of the Cognitive Science Society,
CogSci 2015, Pasadena, California, USA, July 22-25, 2015},
publisher = {cognitivesciencesociety.org},
year = {2015},
url = {https://mindmodeling.org/cogsci2015/papers/0232/index.html},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LesterM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BoyerBCFLMMMRW15,
author = {Kristy Elizabeth Boyer and
Philip Sheridan Buffum and
Kirby Culbertson and
Megan Hardy Frankosky and
James C. Lester and
Allison G. Mart{\'{\i}}nez{-}Arocho and
Wookhee Min and
Bradford W. Mott and
Fernando J. Rodr{\'{\i}}guez and
Eric N. Wiebe},
editor = {Adrienne Decker and
Kurt Eiselt and
Carl Alphonce and
Jodi L. Tims},
title = {{ENGAGE:} {A} Game-based Learning Environment for Middle School Computational
Thinking},
booktitle = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2015, Kansas City, MO, USA, March 4-7, 2015},
pages = {440},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676723.2691876},
doi = {10.1145/2676723.2691876},
timestamp = {Mon, 13 Dec 2021 09:32:31 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BoyerBCFLMMMRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lester15,
author = {Martin Lester},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Control Flow Analysis for {SF} Combinator Calculus},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {51--67},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.4},
doi = {10.4204/EPTCS.199.4},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lester15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/Saint-LaurentBL14,
author = {Martin Saint{-}Laurent and
Paul Bassett and
Ken Lin and
Yuhe Wang and
Son Le and
Xufeng Chen and
Maen Alradaideh and
Tom Wernimont and
Kartik Ayyar and
Dan Bui and
Dwight Galbi and
Allan Lester and
Willie Anderson},
title = {10.1 {A} 28nm {DSP} powered by an on-chip {LDO} for high-performance
and energy-efficient mobile applications},
booktitle = {2014 {IEEE} International Conference on Solid-State Circuits Conference,
{ISSCC} 2014, Digest of Technical Papers, San Francisco, CA, USA,
February 9-13, 2014},
pages = {176--177},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISSCC.2014.6757388},
doi = {10.1109/ISSCC.2014.6757388},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/isscc/Saint-LaurentBL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/MartinTW14,
author = {Robert Glen Martin and
Paul T. Tymann and
Lester L. Wainwright},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {Using the {AP} {CS} labs in the classroom (abstract only)},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {747},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2539006},
doi = {10.1145/2538862.2539006},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/MartinTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/0001OS13,
author = {Martin Lester and
Luke Ong and
Max Sch{\"{a}}fer},
title = {Information Flow Analysis for a Dynamically Typed Language with Staged
Metaprogramming},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {209--223},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.21},
doi = {10.1109/CSF.2013.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/0001OS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Lester13,
author = {Martin Mariusz Lester},
editor = {Prasad Naldurg and
Nikhil Swamy},
title = {Position paper: the science of boxing},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages
and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20,
2013},
pages = {83--88},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465106.2465120},
doi = {10.1145/2465106.2465120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Lester13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AartsenA13,
author = {Mark G. Aartsen and
Rasha U. Abbasi and
Markus Ackermann and
Jenni Adams and
Juan Antonio Aguilar S{\'{a}}nchez and
Markus Ahlers and
David Altmann and
Carlos A. Arg{\"{u}}elles Delgado and
Jan Auffenberg and
Xinhua Bai and
Michael F. Baker and
Steven W. Barwick and
Volker Baum and
Ryan Bay and
James J. Beatty and
Julia K. Becker Tjus and
Karl{-}Heinz Becker and
Segev BenZvi and
Patrick Berghaus and
David Berley and
Elisa Bernardini and
Anna Bernhard and
David Z. Besson and
G. Binder and
Daniel Bindig and
Martin Bissok and
Erik Blaufuss and
Jan Blumenthal and
David J. Boersma and
Christian Bohm and
Debanjan Bose and
Sebastian B{\"{o}}ser and
Olga Botner and
Lionel Brayeur and
Hans{-}Peter Bretz and
Anthony M. Brown and
Ronald Bruijn and
James Casey and
Martin Casier and
Dmitry Chirkin and
Asen Christov and
Brian John Christy and
Ken Clark and
Lew Classen and
Fabian Clevermann and
Stefan Coenders and
Shirit Cohen and
Doug F. Cowen and
Angel H. Cruz Silva and
Matthias Danninger and
Jacob Daughhetee and
James C. Davis and
Melanie Day and
Catherine De Clercq and
Sam De Ridder and
Paolo Desiati and
Krijn D. de Vries and
Meike de With and
Tyce DeYoung and
Juan Carlos D{\'{\i}}az{-}V{\'{e}}lez and
Matthew Dunkman and
Ryan Eagan and
Benjamin Eberhardt and
Bj{\"{o}}rn Eichmann and
Jonathan Eisch and
Sebastian Euler and
Paul A. Evenson and
Oladipo O. Fadiran and
Ali R. Fazely and
Anatoli Fedynitch and
Jacob Feintzeig and
Tom Feusels and
Kirill Filimonov and
Chad Finley and
Tobias Fischer{-}Wasels and
Samuel Flis and
Anna Franckowiak and
Katharina Frantzen and
Tomasz Fuchs and
Thomas K. Gaisser and
Joseph S. Gallagher and
Lisa Marie Gerhardt and
Laura E. Gladstone and
Thorsten Gl{\"{u}}senkamp and
Azriel Goldschmidt and
Geraldina Golup and
Javier G. Gonz{\'{a}}lez and
Jordan A. Goodman and
Dariusz G{\'{o}}ra and
Dylan T. Grandmont and
Darren Grant and
Pavel Gretskov and
John C. Groh and
Andreas Gro{\ss} and
Chang Hyon Ha and
Abd Al Karim Haj Ismail and
Patrick Hallen and
Allan Hallgren and
Francis Halzen and
Kael D. Hanson and
Dustin Hebecker and
David Heereman and
Dirk Heinen and
Klaus Helbing and
Robert Eugene Hellauer III and
Stephanie Virginia Hickford and
Gary C. Hill and
Kara D. Hoffman and
Ruth Hoffmann and
Andreas Homeier and
Kotoyo Hoshina and
Feifei Huang and
Warren Huelsnitz and
Per Olof Hulth and
Klas Hultqvist and
Shahid Hussain and
Aya Ishihara and
Emanuel Jacobi and
John E. Jacobsen and
Kai Jagielski and
George S. Japaridze and
Kyle Jero and
Ola Jlelati and
Basho Kaminsky and
Alexander Kappes and
Timo Karg and
Albrecht Karle and
Matthew Kauer and
John Lawrence Kelley and
Joanna Kiryluk and
J. Kl{\"{a}}s and
Spencer R. Klein and
Jan{-}Hendrik K{\"{o}}hne and
Georges Kohnen and
Hermann Kolanoski and
Lutz K{\"{o}}pke and
Claudio Kopper and
Sandro Kopper and
D. Jason Koskinen and
Marek Kowalski and
Mark Krasberg and
Anna Kriesten and
Kai Michael Krings and
G{\"{o}}sta Kroll and
Jan Kunnen and
Naoko Kurahashi and
Takao Kuwabara and
Mathieu L. M. Labare and
Hagar Landsman and
Michael James Larson and
Mariola Lesiak{-}Bzdak and
Martin Leuermann and
Julia Leute and
Jan L{\"{u}}nemann and
Oscar A. Mac{\'{\i}}as{-}Ram{\'{\i}}rez and
James Madsen and
Giuliano Maggi and
Reina Maruyama and
Keiichi Mase and
Howard S. Matis and
Frank McNally and
Kevin James Meagher and
Martin Merck and
Gonzalo Merino Ar{\'{e}}valo and
Thomas Meures and
Sandra Miarecki and
Eike Middell and
Natalie Milke and
John Lester Miller and
Lars Mohrmann and
Teresa Montaruli and
Robert M. Morse and
Rolf Nahnhauer and
Uwe Naumann and
Hans Niederhausen and
Sarah C. Nowicki and
David R. Nygren and
Anna Obertacke and
Sirin Odrowski and
Alex Olivas and
Ahmad Omairat and
Aongus Starbuck {\'{O}} Murchadha and
Larissa Paul and
Joshua A. Pepper and
Carlos P{\'{e}}rez de los Heros and
Carl Pfendner and
Damian Pieloth and
Elisa Pinat and
Jonas Posselt and
P. Buford Price and
Gerald T. Przybylski and
Melissa Quinnan and
Leif R{\"{a}}del and
Ian Rae and
Mohamed Rameez and
Katherine Rawlins and
Peter Christian Redl and
Ren{\'{e}} Reimann and
Elisa Resconi and
Wolfgang Rhode and
Mathieu Ribordy and
Michael Richman and
Benedikt Riedel and
J. P. Rodrigues and
Carsten Rott and
Tim Ruhe and
Bakhtiyar Ruzybayev and
Dirk Ryckbosch and
Sabine M. Saba and
Heinz{-}Georg Sander and
Juan Marcos Santander and
Subir Sarkar and
Kai Schatto and
Florian Scheriau and
Torsten Schmidt and
Martin Schmitz and
Sebastian Schoenen and
Sebastian Sch{\"{o}}neberg and
Arne Sch{\"{o}}nwald and
Anne Schukraft and
Lukas Schulte and
David Schultz and
Olaf Schulz and
David Seckel and
Yolanda Sestayo de la Cerra and
Surujhdeo Seunarine and
Rezo Shanidze and
Chris Sheremata and
Miles W. E. Smith and
Dennis Soldin and
Glenn M. Spiczak and
Christian Spiering and
Michael Stamatikos and
Todor Stanev and
Nick A. Stanisha and
Alexander Stasik and
Thorsten Stezelberger and
Robert G. Stokstad and
Achim St{\"{o}}{\ss}l and
Erik A. Strahler and
Rickard Str{\"{o}}m and
Nora Linn Strotjohann and
Gregory W. Sullivan and
Henric Taavola and
Ignacio J. Taboada and
Alessio Tamburro and
Andreas Tepe and
Samvel Ter{-}Antonyan and
Gordana Tesic and
Serap Tilav and
Patrick A. Toale and
Moriah Natasha Tobin and
Simona Toscano and
Maria Tselengidou and
Elisabeth Unger and
Marcel Usner and
Sofia Vallecorsa and
Nick van Eijndhoven and
Arne Van Overloop and
Jakob van Santen and
Markus Vehring and
Markus Voge and
Matthias Vraeghe and
Christian Walck and
Tilo Waldenmaier and
Marius Wallraff and
Christopher N. Weaver and
Mark T. Wellons and
Christopher H. Wendt and
Stefan Westerhoff and
Nathan Whitehorn and
Klaus Wiebe and
Christopher Wiebusch and
Dawn R. Williams and
Henrike Wissing and
Martin Wolf and
Terri R. Wood and
Kurt Woschnagg and
Donglian Xu and
Xianwu Xu and
Juan Pablo Y{\'{a}}{\~{n}}ez Garza and
Gaurang B. Yodh and
Shigeru Yoshida and
Pavel Zarzhitsky and
Jan Ziemann and
Simon Zierke and
Marcel Zoll},
title = {The IceProd Framework: Distributed Data Processing for the IceCube
Neutrino Observatory},
journal = {CoRR},
volume = {abs/1311.5904},
year = {2013},
url = {http://arxiv.org/abs/1311.5904},
eprinttype = {arXiv},
eprint = {1311.5904},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AartsenA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3178,
author = {Martin Lester and
C.{-}H. Luke Ong and
Max Sch{\"{a}}fer},
title = {Information Flow Analysis for a Dynamically Typed Functional Language
with Staged Metaprogramming},
journal = {CoRR},
volume = {abs/1302.3178},
year = {2013},
url = {http://arxiv.org/abs/1302.3178},
eprinttype = {arXiv},
eprint = {1302.3178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CiezkiMEW12,
author = {Renee Ciezki and
Robert Glen Martin and
Barbara Ericson and
Lester L. Wainwright},
editor = {Laurie A. Smith King and
David R. Musicant and
Tracy Camp and
Paul T. Tymann},
title = {Teaching outside the text},
booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
2012},
pages = {399--400},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157136.2157254},
doi = {10.1145/2157136.2157254},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/CiezkiMEW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/WainwrightCM12,
author = {Lester L. Wainwright and
Renee Ciezki and
Robert Glen Martin},
editor = {Laurie A. Smith King and
David R. Musicant and
Tracy Camp and
Paul T. Tymann},
title = {{AP} {CS} {A:} sharing teaching strategies and curricular ideas (abstract
only)},
booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
2012},
pages = {680},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157136.2157430},
doi = {10.1145/2157136.2157430},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/WainwrightCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DaumasLMT10,
author = {Marc Daumas and
David R. Lester and
{\'{E}}rik Martin{-}Dorel and
Annick Truffert},
title = {Improved bound for stochastic formal correctness of numerical algorithms},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {3},
pages = {173--179},
year = {2010},
url = {https://doi.org/10.1007/s11334-010-0128-x},
doi = {10.1007/S11334-010-0128-X},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/DaumasLMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcmc/LesterK09,
author = {Paul Martin Lester and
Cynthia Marie King},
title = {Analog vs. Digital Instruction and Learning: Teaching Within First
and Second Life Environments},
journal = {J. Comput. Mediat. Commun.},
volume = {14},
number = {3},
pages = {457--483},
year = {2009},
url = {https://doi.org/10.1111/j.1083-6101.2009.01449.x},
doi = {10.1111/J.1083-6101.2009.01449.X},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcmc/LesterK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DaumasMLT09,
author = {Marc Daumas and
{\'{E}}rik Martin{-}Dorel and
David R. Lester and
Annick Truffert},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Stochastic Formal Methods for Hybrid Systems},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {136--145},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DaumasMLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/OvertonNCDMCMWHNB08,
author = {Ian M. Overton and
C. A. Johannes van Niekerk and
Lester G. Carter and
Alice Dawson and
David M. A. Martin and
Scott Cameron and
Stephen A. McMahon and
Malcolm F. White and
William N. Hunter and
James H. Naismith and
Geoffrey J. Barton},
title = {TarO: a target optimisation system for structural biology},
journal = {Nucleic Acids Res.},
volume = {36},
number = {Web-Server-Issue},
pages = {190--196},
year = {2008},
url = {https://doi.org/10.1093/nar/gkn141},
doi = {10.1093/NAR/GKN141},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nar/OvertonNCDMCMWHNB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Iturria-MedinaC07,
author = {Yasser Iturria{-}Medina and
Erick Jorge Canales{-}Rodr{\'{\i}}guez and
Lester Melie{-}Garc{\'{\i}}a and
Pedro A. Vald{\'{e}}s{-}Hern{\'{a}}ndez and
Eduardo Mart{\'{\i}}nez{-}Montes and
Yasser Alem{\'{a}}n{-}G{\'{o}}mez and
Jose Miguel Sanchez Bornot},
title = {Characterizing brain anatomical connections using diffusion weighted
{MRI} and graph theory},
journal = {NeuroImage},
volume = {36},
number = {3},
pages = {645--660},
year = {2007},
url = {https://doi.org/10.1016/j.neuroimage.2007.02.012},
doi = {10.1016/J.NEUROIMAGE.2007.02.012},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/Iturria-MedinaC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firstmonday/Lester06,
author = {Paul Martin Lester},
title = {Urban Screens: the beginning of a universal visual culture},
journal = {First Monday},
volume = {11},
number = {{SI-4}},
year = {2006},
url = {http://www.uic.edu/htbin/cgiwrap/bin/ojs/index.php/fm/article/view/1543},
timestamp = {Thu, 25 Apr 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firstmonday/Lester06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/LesterC89,
author = {Martin Lester and
Roger Christensen},
editor = {Gul Agha and
Peter Wegner and
Akinori Yonezawa},
title = {Felix, an object-oriented operating system},
booktitle = {Proceedings of the 1988 {ACM} {SIGPLAN} Workshop on Object-based Concurrent
Programming, {OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming
1988, San Diego, CA, USA, September 26-27, 1988},
pages = {206--208},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/67386.67446},
doi = {10.1145/67386.67446},
timestamp = {Fri, 06 May 2022 15:17:11 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LesterC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/MaiselKMS78,
author = {Herbert Maisel and
John Kramer and
Lloyd Martin and
Lester Sachs},
editor = {Richard H. Austing and
Dennis M. Conti and
Gerald L. Engel},
title = {A perspective on data base systems in the Federal Government},
booktitle = {Proceedings 1978 {ACM} Annual Conference, Washington, DC, USA, December
4-6, 1978, Volume {II}},
pages = {825},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800178.810146},
doi = {10.1145/800178.810146},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/MaiselKMS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 03:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
