• 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.

found 279 matches

• 2024
• 
  Robert Gmeiner, Mario Harper:
  Artificial intelligence and economic planning. AI Soc. 39(3): 985-1007 (2024)
• 
  Harrison Grodin, Yue Niu, Jonathan Sterling, Robert Harper:
  Decalf: A Directed, Effectful Cost-Aware Logical Framework. Proc. ACM Program. Lang. 8(POPL): 273-301 (2024)
• 
  Yue Niu, Jonathan Sterling, Robert Harper:
  Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. CoRR abs/2404.00212 (2024)
• 
  Harrison Grodin, Robert Harper:
  Amortized Analysis via Coalgebra. CoRR abs/2404.03641 (2024)
• 2023
• 
  Rob Dunne, Oludamilare Matthews, Julio Vega, Simon Harper, Tim Morris:
  Computational methods for predicting human behaviour in smart environments. J. Ambient Intell. Smart Environ. 15(2): 179-205 (2023)
• 
  Rob Dunne, Tim Morris, Simon Harper:
  A semantic blocks model for human activity prediction in smart environments using time-windowed contextual data. J. Reliab. Intell. Environ. 9(1): 87-95 (2023)
• 
  Robert Harper:
  Integrating Cost and Behavior in Type Theory (Invited Talk). CALCO 2023: 1:1-1:2
• 
  Harrison Grodin, Robert Harper:
  Amortized Analysis via Coinduction (Early Ideas). CALCO 2023: 23:1-23:6
• 
  Yue Niu, Robert Harper:
  A Metalanguage for Cost-Aware Denotational Semantics. LICS 2023: 1-14
• 
  Yusufu Shehu, Robert Harper:
  Efficient Periodicity Analysis for Real-Time Anomaly Detection. NOMS 2023: 1-6
• 
  Harrison Grodin, Robert Harper:
  Amortized Analysis via Coinduction. CoRR abs/2303.16048 (2023)
• 
  Harrison Grodin, Robert Harper, Yue Niu, Jonathan Sterling:
  Decalf: A Directed, Effectful Cost-Aware Logical Framework. CoRR abs/2307.05938 (2023)
• 
  Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao:
  Logical Relations for Session-Typed Concurrency. CoRR abs/2309.00192 (2023)
• 
  Runming Li, Harrison Grodin, Robert Harper:
  A Verified Cost Analysis of Joinable Red-Black Trees. CoRR abs/2309.11056 (2023)
• 2022
• 
  Matthew Marge, Carol Y. Espy-Wilson, Nigel G. Ward, Abeer Alwan, Yoav Artzi, Mohit Bansal, Gilmer L. Blankenship, Joyce Chai, Hal Daumé III, Debadeepta Dey, Mary P. Harper, Thomas Howard, Casey Kennington, Ivana Kruijff-Korbayová, Dinesh Manocha, Cynthia Matuszek, Ross Mead, Raymond J. Mooney, Roger K. Moore, Mari Ostendorf, Heather Pon-Barry, Alexander I. Rudnicky, Matthias Scheutz, Robert St. Amant, Tong Sun, Stefanie Tellex, David R. Traum, Zhou Yu:
  Spoken language interaction with robots: Recommendations for future research. Comput. Speech Lang. 71: 101255 (2022)
• 
  Rob Dunne, Tim Morris, Simon Harper:
  A Survey of Ambient Intelligence. ACM Comput. Surv. 54(4): 73:1-73:27 (2022)
• 
  Jason A. Thomas, Randi E. Foraker, Noa Zamstein, Jon D. Morrow, Philip R. O. Payne, Adam B. Wilcox, Melissa A. Haendel, Christopher G. Chute, Kenneth R. Gersing, Anita Walden, Tellen D. Bennett, David A. Eichmann, Justin Guinney, Warren A. Kibbe, Hongfang Liu, Emily R. Pfaff, Peter N. Robinson, Joel H. Saltz, Heidi Spratt, Justin Starren, Christine Suver, Chunlei Wu, Davera Gabriel, Stephanie S. Hong, Kristin Kostka, Harold P. Lehmann, Richard A. Moffitt, Michele Morris, Matvey B. Palchuk, Xiaohan Tanner Zhang, Richard L. Zhu, Benjamin R. C. Amor, Mark M. Bissell, Marshall Clark, Andrew T. Girvin, Adam M. Lee, Robert T. Miller, Kellie M. Walters, Yooree Chae, Connor Cook, Alexandra Dest, Racquel R. Dietz, Thomas Dillon, Patricia A. Francis, Rafael Fuentes, Alexis Graves, Andrew J. Neumann, Shawn T. O'Neil, Usman Sheikh, Andréa M. Volz, Elizabeth Zampino, Christopher P. Austin, Samuel Bozzette, Mariam Deacy, Nicole Garbarini, Michael G. Kurilla, Sam G. Michael, Joni L. Rutter, Meredith Temple-O'Connor, Katie Rebecca Bradwell, Amin Manna, Nabeel Qureshi, Mary Morrison Saltz, Julie A. McMurry, Carolyn T. Bramante, Jeremy Richard Harper, Wenndy Hernandez, Farrukh M. Koraishy, Federico Mariona, Saidulu Mattapally, Amit Saha, Satyanarayana Vedula, Yujuan Fu, Nisha Mathews, Ofer Mendelevitch:
  Demonstrating an approach for evaluating synthetic geospatial and temporal epidemiologic data utility: results from analyzing >1.8 million SARS-CoV-2 tests in the United States National COVID Cohort Collaborative (N3C). J. Am. Medical Informatics Assoc. 29(8): 1350-1365 (2022)
• 
  Derek Dreyer, Benjamin C. Pierce:
  On being a PhD student of Robert Harper. J. Funct. Program. 32: e3 (2022)
• 
  Beatrice Amos, Cristina Aurrecoechea, Matthieu Barba, Ana Barreto, Evelina Y. Basenko, Wojciech Bazant, Robert Belnap, Ann S. Blevins, Ulrike Böhme, John Brestelli, Brian P. Brunk, Mark J. Caddick, Danielle Callan, Lahcen I. Campbell, Mikkel B. Christensen, George K. Christophides, Kathryn Crouch, Kristina Davis, Jeremy D. DeBarry, Ryan Doherty, Yikun Duan, Michael Dunn, Dave Falke, Steve Fisher, Paul Flicek, Brett Fox, Bindu Gajria, Gloria I. Giraldo-Calderón, Omar S. Harb, Elizabeth Harper, Christiane Hertz-Fowler, Mark J. Hickman, Connor Howington, Sufen Hu, Jay C. Humphrey, John Iodice, Andrew R. Jones, John Judkins, Sarah A. Kelly, Jessica C. Kissinger, Dae Kun Kwon, Kristopher Lamoureux, Daniel Lawson, Wei Li, Kallie Lies, Disha Lodha, Jamie Long, Robert M. MacCallum, Gareth Maslen, Mary Ann McDowell, Jaroslaw Nabrzyski, David S. Roos, Samuel S. C. Rund, Stephanie wever Schulman, Achchuthan Shanmugasundram, Vasily Sitnik, Drew Spruill, David Starns, Christian J. Stoeckert Jr., Sheena Shah Tomko, Haiming Wang, Susanne Warrenfeltz, Robert Wieck, Paul A. Wilkinson, Lin Xu, Jie Zheng:
  VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center. Nucleic Acids Res. 50(D1): 898-911 (2022)
• 
  Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper:
  A cost-aware logical framework. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022)
• 
  Yusufu Shehu, Robert Harper:
  Enhancements to Language Modeling Techniques for Adaptable Log Message Classification. IEEE Trans. Netw. Serv. Manag. 19(4): 4662-4675 (2022)
• 
  Giles Winchester, George Parisis, Robert Harper, Luc Berthouze:
  Accelerating Causal Inference Based RCA Using Prior Knowledge From Functional Connectivity Inference. CNSM 2022: 10-18
• 
  Jonathan Sterling, Robert Harper:
  Sheaf Semantics of Termination-Insensitive Noninterference. FSCD 2022: 5:1-5:19
• 
  Robert Harper, Philip Tee:
  Structural Network Metrics and Incident Generation. NOMS 2022: 1-6
• 
  Jonathan Sterling, Robert Harper:
  Sheaf semantics of termination-insensitive noninterference. CoRR abs/2204.09421 (2022)
• 
  Yue Niu, Robert Harper:
  A metalanguage for cost-aware denotational semantics. CoRR abs/2209.12669 (2022)
• 2021
• 
  Robert Harper, Philip Tee:
  Balancing capacity and epidemic spread in the global airline network. Appl. Netw. Sci. 6(1): 94 (2021)
• 
  Robin Harper:
  Introducing Design Automation for Quantum Computing, Alwin Zulehner and Robert Wille. ISBN 978-3-030-41753-6, 2020, Springer International Publishing. 222 Pages, 51 b/w illustrations, 14 illustrations in colour. Genet. Program. Evolvable Mach. 22(3): 387-389 (2021)
• 
  Jonathan Sterling, Robert Harper:
  Logical Relations as Types: Proof-Relevant Parametricity for Program Modules. J. ACM 68(6): 41:1-41:47 (2021)
• 
  Evan Cavallo, Robert Harper:
  Internal Parametricity for Cubical Type Theory. Log. Methods Comput. Sci. 17(4) (2021)

skipping 249 more matches