Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Martin Lester 0001
aka: Martin Mariusz Lester
University of Reading, UK - Martin Lester 0002
Bruel & Kjaer Industri A/S, Denmark
Likely matches
- Paul Martin Lester
California State University, Department of Communications, Fullerton, CA, USA - Aldwin Lester Martinez
- Aldwin Lester M. Martinez
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 55 matches
- 2024
- Martin Mariusz Lester:
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. PADL 2024: 100-115 - 2023
- Garret Kurteff, Rosemary A. Lester-Smith, Amanda Martinez, Nicole Currens, Jade Holder, Cassandra Villarreal, Valerie R. Mercado, Christopher Truong, Claire Huber, Paranjaya Pokharel, Liberty S. Hamilton:
Speaker-induced Suppression in EEG during a Naturalistic Reading and Listening Task. J. Cogn. Neurosci. 35(10): 1538-1556 (2023) - Meo Vincent C. Caya, Noel B. Linsangan, Melissa B. Martin, Karl Elmerson Dayap, Kevin Patirck Dilidili, Mark Lester Gambol:
Hardware Development for Jogger-Specific Vital Signs Monitoring with Alarm Mechanism using E-Textile Technology. ICBET 2023: 99-103 - Martin Mariusz Lester:
CoPTIC: Constraint Programming Translated Into C. TACAS (2) 2023: 173-191 - David Van Bulck, Dries R. Goossens, Jan-Patrick Clarner, Angelos Dimitsas, George H. G. Fonseca, Carlos Lamas-Fernandez, Martin Mariusz Lester, Jaap Pedersen, Antony E. Phillips, Roberto Maria Rosati:
Which algorithm to select in sports timetabling? CoRR abs/2309.03229 (2023) - 2022
- Nattapong Puttanapong, Arturo Martinez, Joseph Albert Nino Bulan, Mildred Addawe, Ron Lester Durante, Marymell Martillan:
Predicting Poverty Using Geospatial Data in Thailand. ISPRS Int. J. Geo Inf. 11(5): 293 (2022) - Martin Mariusz Lester:
Pseudo-Boolean optimisation for RobinX sports timetabling. J. Sched. 25(3): 287-299 (2022) - Daniele Cerra, David Marshall, Uta Heiden, Kevin Alonso, Martin Bachmann, Kara Burch, Emiliano Carmona, D. Dietrich, H. Lester, Uwe Knodt, David Krutz, Rupert Müller, Raquel De los Reyes, Peter Reinartz, Mirco Tegler:
The Spaceborne Imaging Spectrometer Desis: Data Access, Outreach Activities, and Scientific Applications. IGARSS 2022: 5395-5398 - 2021
- Ladina Weitnauer, Stefan Frisch, Lester Melie-García, Martine Preisig, Matthias L. Schroeter, Ines Sajfutdinow, Ferath Kherif, Bogdan Draganski:
Mapping grip force to motor networks. NeuroImage 229: 117735 (2021) - Rupert Müller, Kevin Alonso, Martin Bachmann, Kara Burch, Emiliano Carmona, Daniele Cerra, Daniele Dietrich, Peter Gege, Heath Lester, Uta Heiden, Stefanie Holzwarth, Uwe Knodt, David Krutz, David Marshall, Miguel Pato, Raquel De los Reyes, Peter Reinartz, Mirco Tegler:
The Spaceborne Imaging Spectrometer Desis: Data Access and Scientific Applications. IGARSS 2021: 1386-1389 - Martin Mariusz Lester:
Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. SAT 2021: 349-358 - Benzar Glen Grepon, Aldwin Lester Martinez:
Architectural Visualization Using Virtual Reality: A User Experience in Simulating Buildings of a Community College in Bukidnon, Philippines. CoRR abs/2103.06238 (2021) - Koulik Khamaru, Yash Deshpande, Lester Mackey, Martin J. Wainwright:
Near-optimal inference in adaptive linear regression. CoRR abs/2107.02266 (2021) - Benzar Glen Grepon, Niño T. Baran, Kenn Migan Vincent C. Gumonan, Aldwin Lester M. Martinez, Mona Liel E. Lacsa:
Designing and Implementing e-School Systems: An Information Systems Approach to School Management of a Community College in Northern Mindanao, Philippines. CoRR abs/2109.00198 (2021) - 2020
- Ernest Turro, William J. Astle, Karyn Megy, Stefan Gräf, Daniel Greene, Olga Shamardina, Hana Lango Allen, Alba Sanchis-Juan, Mattia Frontini, Chantal Thys, Jonathan Stephens, Rutendo Mapeta, Oliver S. Burren, Kate Downes, Matthias Haimel, Salih Tuna, Sri V. V. Deevi, Timothy J. Aitman, David L. H. Bennett, Paul Calleja, Keren Carss, Mark J. Caulfield, Patrick F. Chinnery, Peter H. Dixon, Daniel P. Gale, Roger James, Ania Koziell, Michael A. Laffan, Adam P. Levine, Eamonn R. Maher, Hugh S. Markus, Joannella Morales, Nicholas W. Morrell, Andrew D. Mumford, Elizabeth Ormondroyd, Stuart Rankin, Augusto Rendon, Sylvia Richardson, Irene Roberts, Noemi B. A. Roy, Moin A. Saleem, Kenneth G. C. Smith, Hannah Stark, Rhea Y. Y. Tan, Andreas C. Themistocleous, Adrian J. Thrasher, Hugh Watkins, Andrew R. Webster, Martin R. Wilkins, Catherine Williamson, James Whitworth, Sean Humphray, David R. Bentley, Stephen Abbs, Lara Abulhoul, Julian Adlard, Munaza Ahmed, Hana Alachkar, David J. Allsup, Jeff Almeida-King, Philip Ancliff, Richard Antrobus, Ruth Armstrong, Gavin Arno, Sofie Ashford, Anthony Attwood, Paul Aurora, Christian Babbs, Chiara Bacchelli, Tamam Bakchoul, Siddharth Banka, Tadbir Bariana, Julian Barwell, Joana Batista, Helen E. Baxendale, Phil L. Beales, Agnieszka Bierzynska, Tina Biss, Maria A. K. Bitner-Glindzicz, Graeme C. M. Black, Marta Bleda, Iulia Blesneac, Detlef Bockenhauer, Harm Bogaard, Christian J. Bourne, Sara Boyce, John R. Bradley, Eugene Bragin, Gerome Breen, Paul Brennan, Carole Brewer, Matthew Brown, Andrew C. Browning, Michael J. Browning, Rachel J. Buchan, Matthew S. Buckland, Teofila Bueser, Carmen Bugarin Diz, John Burn, Siobhan O. Burns, Nigel Burrows, Carolyn Campbell, Gerald Carr-White, Ruth Casey, Jenny Chambers, John Chambers, Melanie M. Y. Chan, Calvin Cheah, Floria Cheng, Manali Chitre, Martin T. Christian, Colin Church, Jill Clayton-Smith, Maureen Cleary, Naomi Clements Brod, Gerry Coghlan, Elizabeth Colby, Trevor R. P. Cole, Janine Collins, Peter W. Collins, Camilla Colombo, Cecilia J. Compton, Robin Condliffe, Stuart A. Cook, H. Terence Cook, Nichola Cooper, Paul A. Corris, Abigail Furnell, Fiona Cunningham, Nicola S. Curry, Antony J. Cutler, Matthew J. Daniels, Mehul Dattani, Louise C. Daugherty, John Davis, Anthony De Soyza, Timothy Dent, Charu Deshpande, Eleanor F. Dewhurst, Sofia Douzgou, Anna M. Drazyk, Elizabeth Drewe, Daniel Duarte, Tina Dutt, J. David M. Edgar, Karen Edwards, William Egner, Melanie N. Ekani, Perry Elliott, Wendy N. Erber, Marie Erwood, Maria C. Estiu, Dafydd Gareth Evans, Gillian Evans, Tamara Everington, Mélanie Eyries, Hiva Fassihi, Remi Favier, Jack Findhammer, Debra Fletcher, Frances A. Flinter, R. Andres Floto, Tom Fowler, James Fox, Amy J. Frary, Courtney E. French, Kathleen Freson, Henning Gall, Vijeya Ganesan, Michael Gattens, Claire Geoghegan, Terence S. A. Gerighty, Ali G. Gharavi, Stefano Ghio, Hossein-Ardeschir Ghofrani, J. Simon R. Gibbs, Kate Gibson, Kimberly C. Gilmour, Barbara Girerd, Nicholas S. Gleadall, Sarah Goddard, David B. Goldstein, Keith Gomez, Pavels Gordins, David Gosal, Jodie Graham, Luigi Grassi, Lynn Greenhalgh, Andreas Greinacher, Paolo Gresele, Philip Griffiths, Sofia Grigoriadou, Russell J. Grocock, Detelina Grozeva, Mark Gurnell, Scott Hackett, Charaka Hadinnapola, William M. Hague, Rosie Hague, Matthew Hall, Helen L. Hanson, Eshika Haque, Kirsty Harkness, Andrew R. Harper, Claire L. Harris, Daniel Hart, Ahamad Hassan, Grant Hayman, Alex Henderson, Archana Herwadkar, Jonathan Hoffman, Simon Holden, Rita Horvath, Henry Houlden, Arjan C. Houweling, Luke S. G. E. Howard, Fengyuan Hu, Gavin Hudson, Joseph Hughes, Aarnoud P. Huissoon, Marc Humbert, Sarah Hunter, Matthew E. Hurles, Melita Irving, Louise Izatt, Sally A. Johnson, Stephen Jolles, Jennifer Jolley, Dragana Josifova, Neringa Jurkute, Tim Karten, Johannes Karten, Mary A. Kasanicki, Hanadi Kazkaz, Rashid Kazmi, Peter Kelleher, Anne M. Kelly, Wilf Kelsall, Carly Kempster, David G. Kiely, Nathalie Kingston, Robert Klima, Nils Koelling, Myrto Kostadima, Gabor Kovacs, Roman Kreuzhuber, Taco W. Kuijpers, Ajith Kumar, Dinakantha Kumararatne, Manju A. Kurian, Fiona Lalloo, Michele Lambert, Allan Lawrie, D. Mark Layton, Nick Lench, Claire Lentaigne, Tracy Lester, Rachel Linger, Hilary Longhurst, Lorena E. Lorenzo, Eleni Louka, Paul A. Lyons, Rajiv D. Machado, Robert V. MacKenzie Ross, Bella Madan, Jesmeen Maimaris, Samantha Malka, Sarah Mangles, Kevin J. Marchbank, Stephen Marks, Hanns-Ulrich Marschall, Andrew G. Marshall, Jennifer Martin, Mary Mathias, Emma Matthews, Heather Maxwell, Paul McAlinden, Mark I. McCarthy, Harriet McKinney, Aoife McMahon, Stuart Meacham, Adam J. Mead, Ignacio Medina Castello, Sarju G. Mehta, Michel Michaelides, Carolyn Millar, Shehla N. Mohammed, Shahin Moledina, David Montani, Anthony T. Moore, Monika Mozere, Keith W. Muir, Andrea H. Nemeth, William G. Newman, Michael Newnham, Sadia Noorani, Paquita Nurden, Jennifer O'Sullivan, Samya Obaji, Chris Odhams, Steven Okoli, Andrea Olschewski, Horst Olschewski, Kai Ren Ong, S. Helen Oram, Willem H. Ouwehand, Claire Palles, Sofia Papadia, Soo-Mi Park, David Parry, Smita Patel, Joan Paterson, Andrew Peacock, Simon H. Pearce, John Peden, Kathelijne Peerlinck, Christopher J. Penkett, Joanna Pepke-Zaba, Romina Petersen, Clarissa Pilkington, Kenneth E. S. Poole, Radhika Prathalingam, Bethan Psaila, Angela Pyle, Richard Quinton, Shamima Rahman, Anupama Rao, F. Lucy Raymond, Paula J. Rayner-Matthews, Christine Rees, Tara Renton, Christopher J. Rhodes, Andrew S. C. Rice, Alex Richter, Leema Robert, Anthony Rogers, Sarah J. Rose, Robert Ross-Russell, Catherine Roughley, Deborah M. Ruddy, Omid Sadeghi-Alavijeh, Nilesh J. Samani, Crina Samarghitean, Ravishankar B. Sargur, Robert N. Sarkany, Simon Satchell, Sinisa Savic, John A. Sayer, Genevieve Sayer, Laura Scelsi, Andrew M. Schaefer, Sol Schulman, Richard Scott, Marie Scully, Claire Searle, Werner Seeger, Arjune Sen, W. A. Carrock Sewell, Denis Seyres, Neil Shah, Susan E. Shapiro, Adam C. Shaw, Patrick J. Short, Keith Sibson, Lucy Side, Ilenia Simeoni, Michael A. Simpson, Matthew C. Sims, Suthesh Sivapalaratnam, Damian Smedley, Katherine R. Smith, Katie Snape, Nicole Soranzo, Florent Soubrier, Laura Southgate, Olivera Spasic-Boskovic, Simon Staines, Emily Staples, Charles A. Steward, Kathleen E. Stirrups, Alex Stuckey, Jay Suntharalingam, Emilia M. Swietlik, Petros Syrris, R. Campbell Tait, Kate Talks, Katie Tate, John M. Taylor, Jenny C. Taylor, James E. Thaventhiran, Ellen Thomas, David Thomas, Moira J. Thomas, Patrick Thomas, Kate Thomson, Glen Threadgold, Tobias Tilly, Marc Tischkowitz, Catherine Titterton, John A. Todd, Cheng-Hock Toh, Bas Tolhuis, Ian P. Tomlinson, Mark Toshner, Matthew Traylor, Carmen Treacy, Paul Treadaway, Richard Trembath, Wojciech Turek, Philip Twiss, Tom Vale, Chris Van Geet, Natalie van Zuydam, Maarten Vandekuilen, Anthony M. Vandersteen, Marta Vazquez-Lopez, Julie von Ziegenweidt, Anton Vonk-Noordegraaf, Annette Wagner, Quinten Waisfisz, Suellen M. Walker, Neil Walker, Klaudia Walter, James S. Ware, Christopher Watt, Lucy Wedderburn, Wei Wei, Steven B. Welch, Julie Wessels, Sarah K. Westbury, John-Paul Westwood, John Wharton, Deborah Whitehorn, Andrew O. M. Wilkie, Brian T. Wilson, Edwin K. S. Wong, Nicholas W. Wood, Yvette Wood, Christopher Geoffrey Woods, Emma R. Woodward, Stephen J. Wort, Austen Worth, Michael Wright, Katherine Yates, Patrick F. K. Yong, Timothy Young, Ping Yu, Patrick Yu-Wai-Man, Eliska Zlamalova:
Whole-genome sequencing of patients with rare diseases in a national health system. Nat. 583(7814): 96-102 (2020) - Martin Mariusz Lester:
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. TAP@STAF 2020: 169-179 - Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay:
Verifying Liveness Properties of ML Programs. CoRR abs/2012.13333 (2020) - Martin Mariusz Lester:
Analysis of MiniJava Programs via Translation to ML. CoRR abs/2012.15240 (2020) - Martin Lester:
What can a 1980s BASIC programming textbook teach us today? CoRR abs/2012.15285 (2020) - Martin Mariusz Lester:
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. CoRR abs/2012.15365 (2020) - 2019
- Kevin Alonso, Martin Bachmann, Kara Burch, Emiliano Carmona, Daniele Cerra, Raquel De los Reyes, Daniele Dietrich, Uta Heiden, Andreas Hölderlin, Jack Ickes, Uwe Knodt, David Krutz, Heath Lester, Rupert Müller, Mary Pagnutti, Peter Reinartz, Rudolf Richter, Robert E. Ryan, Ilse Sebastian, Mirco Tegler:
Data Products, Quality and Validation of the DLR Earth Sensing Imaging Spectrometer (DESIS). Sensors 19(20): 4471 (2019) - Martin Mariusz Lester:
Analysis of MiniJava programs via translation to ML. FTfJP@ECOOP 2019: 6:1-6:3 - Hugh D. Lester, Martin J. Miller:
Discrete Event Simulation of Jail Operations in Pursuit of Organizational Culture Change. CyberICPS/SECPRE/SPOSE/ADIoT@ESORICS 2019: 307-322 - Desen Sevi Ozkan, David Reeping, Lisa D. McNair, Tom L. Martin, Steve Harrison, Luke F. Lester, Ben Knapp, Matthew Wisnioski, Annie Yong Patrick, Liesl Baum:
Using Personas as Curricular Design Tools: Engaging the Boundaries of Engineering Culture. FIE 2019: 1-7 - Martin Lester:
Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic. CoRR abs/1910.03217 (2019) - 2018
- Inga Blundell, Romain Brette, Thomas A. Cleland, Thomas G. Close, Daniel Coca, Andrew P. Davison, Sandra Diaz-Pier, Carlos Fernandez Musoles, Padraig Gleeson, Dan F. M. Goodman, Michael L. Hines, Michael W. Hopkins, Pramod S. Kumbhar, David R. Lester, Bóris Marin, Abigail Morrison, Eric Müller, Thomas Nowotny, Alexander Peyser, Dimitri Plotnikov, Paul Richmond, Andrew Rowley, Bernhard Rumpe, Marcel Stimberg, Alan B. Stokes, Adam R. Tomkins, Guido Trensch, Michael Marmaduke Woodman, Jochen Martin Eppler:
Code Generation in Computational Neuroscience: A Review of Tools and Techniques. Frontiers Neuroinformatics 12: 68 (2018) - David Reeping, Lisa D. McNair, Liesl Baum, Matthew Wisnioski, Annie Yong Patrick, Thomas L. Martin, Luke F. Lester, Benjamin Knapp, Steve Harrison:
"We've Always Done it that Way, " An Exploration of Electrical and Computer Engineering Faculty Curricular Decisions. FIE 2018: 1-5 - 2017
- Nicholas Lester, Laurie Feldman, Fermín Moscoso del Prado Martín:
You can take a noun out of syntax...: Syntactic similarity effects in lexical priming. CogSci 2017 - David Reeping, Lisa D. McNair, Matthew Wisnioski, Annie Yong Patrick, Thomas L. Martin, Luke F. Lester, Benjamin Knapp, Steve Harrison:
Using threshold concepts to restructure an electrical and computer engineering curriculum: Troublesome knowledge in expected outcomes. FIE 2017: 1-9 - 2016
- Martin Mariusz Lester, Luke Ong, Max Schäfer:
Information flow analysis for a dynamically typed language with staged metaprogramming. J. Comput. Secur. 24(5): 541-582 (2016)
skipping 25 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-30 14:40 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