|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 253 publication records. Showing 248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Junping Zhao |
Research on Consumption Model about Urban Households Based on Keynes' Absolute Income Hypotheses in China. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Danfeng Daphne Yao, Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Miles Frantz, Ke Tian, Na Meng 0001, Cristina Cifuentes, Yang Zhao, Nicholas Allen, Nathan Keynes, Barton P. Miller, Elisa Heymann, Murat Kantarcioglu, Fahad Shaon |
Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. |
IEEE Secur. Priv. |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes |
Industrial Strength Static Detection for Cryptographic API Misuses. |
SecDev |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes |
Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
37 | François Gauthier 0001, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan |
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Keynes Masayoshi Kanno, Edgard Afonso Lamounier, Alexandre Cardoso, Ederaldo Jose Lopes, Gerson Flavio Mendes de Lima |
Augmented Reality System for Aiding Mild Alzheimer Patients and Caregivers. |
VR |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller |
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. |
ACM Trans. Program. Lang. Syst. |
2016 |
DBLP BibTeX RDF |
|
37 | Cristina Cifuentes, Andrew Gross, Nathan Keynes |
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
37 | Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
Path-Sensitive Data Flow Analysis Simplified. |
ICFEM |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Lian Li, Cristina Cifuentes, Nathan Keynes |
Precise and scalable context-sensitive pointer analysis via value flow graph. |
ISMM |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Cristina Cifuentes, Nathan Keynes |
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo |
Transitioning Parfait into a Development Tool. |
IEEE Secur. Priv. |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Lian Li, Cristina Cifuentes, Nathan Keynes |
Boosting the performance of flow-sensitive points-to analysis using value flow. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann |
Static deep error checking in large system applications using parfait. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Lian Li, Cristina Cifuentes, Nathan Keynes |
Practical and effective symbolic analysis for buffer overflow detection. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
Program analysis for bug detection using parfait: invited talk. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
partial evaluation, symbolic analysis, constant propagation |
37 | Paul J. Scotting, Maria Hewitt, Roger J. Keynes |
Isolation and analysis of chick homeobox cDNA clones. |
Nucleic Acids Res. |
1990 |
DBLP DOI BibTeX RDF |
|
37 | Darrel C. Ince, Walton Hall, Milton Keynes |
The influence of system design complexity research on the design of module interconnection languages. |
ACM SIGPLAN Notices |
1985 |
DBLP DOI BibTeX RDF |
|
37 | Harvey B. Keynes, James B. Robertson |
Generators for Topological Entropy and Expansiveness. |
Math. Syst. Theory |
1969 |
DBLP DOI BibTeX RDF |
|
37 | Harvey B. Keynes |
The Proximal Relation in a Class of Substitution Minimal Sets. |
Math. Syst. Theory |
1967 |
DBLP DOI BibTeX RDF |
|
36 | Dennis Leech |
Voting Power in the Governance of the International Monetary Fund. |
Ann. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
power indices, Banzhaf index, Coleman index, IMF, Keynes |
29 | Simon Holland, Marian Petre, Luke Church, Mariana Marasoiu (eds.) |
Proceedings of the 33rd Annual Workshop of the Psychology of Programming Interest Group, PPIG 2022, The Open University, Milton Keynes, UK & Online, September 5-9, 2022 |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Alan T. McCabe, Emma Söderberg, Luke Church, Peng Kuang |
Visual Cues in Compiler Conversations. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Alan F. Blackwell |
Coding or AI? Tools for Control, Surprise and Creativity. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Federico Gómez 0001, Sylvia da Rosa 0001 |
The construction of knowledge about programs. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Henry Lieberman |
The Psychology of Programming and the Psychology of Mathematics. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Natalie Kiesler |
Mental Models of Recursion: A Secondary Analysis of Novice Learners' Steps and Errors in Java Exercises. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Cruz Izu, Daniel Ng, Amali Weerasinghe |
Mastery Learning and Productive Failure: Examining Constructivist Approaches to teach CS1. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Bhuvana Gopal, Ryan Bockmon, Stephen Cooper |
POGIL-like learning and student's impressions of software engineering topics: A qualitative study. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Michael Nagle |
On writing workshops for programming. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Georgios Diapoulis |
Livecode me: Live coding practice and multimodal experience. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Leah Bidlake, Eric Aubanel, Daniel Voyer |
Pilot Study: Validation of Stimuli for Studying Mental Representations Formed by Parallel Programmers During Parallel Program Comprehension. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Austen Rainer, Catherine Menon |
Story-thinking, computational-thinking, programming and software engineering. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Owen Green, Pierre Alexandre Tremblay, Ted Moore, James Bradbury, Jacob Hart, Alex Harker, Gerard Roma |
Architecture about Dancing: Creating a Cross Environment, Cross Domain Framework for Creative Coding Musicians. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Bhuvana Gopal, Ryan Bockmon, Stephen Cooper |
The impact of POGIL-like learning on student understanding of software testing and DevOps: A qualitative study. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Julia Crossley |
Do mathematical proof skills in continuous areas of Maths develop algorithmic thinking in CS students in HE? |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Andrea Bolzoni |
Sound-based music style modelling, for a free improvisation musical agent. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Noam Lederman, Simon Holland, Paul Mulholland |
An agent for creative development in drum kit playing. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Marcel Valový |
Experimental Pair Programming: A Study Design And Preliminary Results. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Renato Cortinovis, Ranjidha Rajan |
Evaluating and improving the Educational CPU Visual Simulator: a sustainable Open Pedagogy approach. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Grace Taylor, Steven Clarke |
A Tour Through Code: Helping Developers Become Familiar with Unfamiliar Code. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Jude Nzemeke |
An Investigation of Student Learning in Computing Education Research. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Zainab Attahiru, Rowan Hall Maudslay, Alan F. Blackwell |
Interactive Bayesian Probability for Learning in Diverse Populations. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Advait Sarkar, Carina Negreanu, Ben Zorn 0001, Sruti Srinivasa Ragavan, Christian Pölitz, Andrew D. Gordon 0001 |
What is it like to program with artificial intelligence? |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Daniel Helgesson, Daniel Appelquist, Per Runeson |
A Grounded Theory of Cognitive Load Drivers in Novice Agile Software Development Teams. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Emma Söderberg |
Keynote: Making program analysis useful. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Olli Kiljunen |
Tutorials Embedded in an IDE: A Feasible Way for CS Students to Learn Debugging? - A Study Design. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Vasile Adrian Rosian |
Intuition-enhancing GUI for visual programming. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Naser Al Madi, Matianyu Zang |
Would a Rose by any Other Name Smell as Sweet? Examining the Cost of Similarity in Identifier Naming. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Alex McLean |
Invited talk: Live coding and the 'what-if' paradigm. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
29 | Pepi Martinez, William Huang, Bud Mishra |
Coins, Covid, Keynes and K-Shaped Recovery. |
Financial Cryptography Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
29 | |
ACI'2020: Seventh International Conference on Animal-Computer Interaction, Milton Keynes, United Kingdom, 10-12 November, 2020 |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Ilyena Hirskyj-Douglas, Roosa Piitulainen |
Developing Zoo Technology Requirements for White-Faced Saki Monkeys. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Ann Morrison, Hannah Larsen, Caroline Fieldus, Alexander A. Kist, Ananda Maiti |
Platypus Surfing: In Search of the Perfect Wave. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Chloe Kliman-Silver |
Examining The Animal-Human Bond Through The Lens Of Telepresence. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Alinta Krauth |
Making-with: Nonhuman Animal Inclusivity in an Electronic Literature Practice. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Haruka Kasuga, Yuichiro Ikeda |
The Ideal Care Robot for Dogs vs. Cats Based on an Online Survey. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Zach Cleghern, Evan Williams, Sean Mealin, Marc Foster, Timothy Holder, Alper Bozkurt, David L. Roberts 0001 |
Behavioral and Environmental Analytics from Potential Guide Dogs with IoT Sensor Data Informed by Expert Insight. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Elizabeth Cox, Clara Mancini, Luisa Ruge |
Understanding Dogs' Engagement with Interactive Games: Interaction Style, Behaviour and Personality. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Alice Torjussen, Holly Root-Gutteridge |
Is Nothing Better Than Something?: A Preliminary Investigation into Disembodied Stimuli for Home Alone Dogs. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Tom Menaker, Anna Zamansky, Dirk van der Linden, Dmitry I. Kaplun, Aleksandr Sinitica, Sabrina Karl, Ludwig Huber |
Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Fiona French, Ilyena Hirskyj-Douglas, Heli Väätäjä |
Designing Technologies for Playful Interspecies Communication. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Sean Mealin, Marc Foster, Zach Cleghern, Alper Bozkurt, David L. Roberts 0001 |
Using Inertial Measurement Unit Data for Objective Evaluations of Potential Guide Dogs. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | K. Cassie Kresnye, Christopher Flynn Martin, Patrick C. Shih |
Drone Delivery Service: An Orangutan Enrichment Pilot Study. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Orit Hirsch-Matsioulas, Anna Zamansky |
Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Marc Foster, Jianxun Wang 0002, Evan Williams, David L. Roberts 0001, Alper Bozkurt |
Inertial Measurement Based Heart and Respiration Rate Estimation of Dogs During Sleep for Welfare Monitoring. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Ceara Byrne, Sabrina Karl, Dana Vilker, Sebastian Meller, Brendan Thompson, Sarah Webber |
Monitoring the Welfare of Bears in Captivity. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Tom Menaker |
Data-Driven Analysis of Animal Behavioral Patterns. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Haruka Kasuga, Machiko Ohashi, Masataka Yamamoto, Yusuke Konishi, Haruna Kitamura, Yuichiro Ikeda, Takashi Murai |
Exploring the Needs and Ways to Use Virtual Reality to Understand Animals' Perceptions: A Field Study in a Science Workshop and Exhibition. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | K. Cassie Kresnye, Patrick C. Shih |
Movement Patterns as Enrichment: Exploratory Canine-Drone Interaction Pilot Study. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Jai Farrell, Chris McCarthy, Caslon Chua |
Towards Animal Computer Interaction Testing for Assistive Canine Training: Considerations and Recommendations. |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Jennifer M. Cunha, Carlie Rhoads |
Use of a Tablet-Based Communication Board and Subsequent Choice and Behavioral Correspondences in a Goffin's Cockatoo (Cacatua goffiana). |
ACI |
2020 |
DBLP DOI BibTeX RDF |
|
29 | William Peden |
Imprecise Probability and the Measurement of Keynes's "Weight of Arguments". |
FLAP |
2018 |
DBLP BibTeX RDF |
|
29 | |
Proceedings of the Fourth International Conference on Animal-Computer Interaction, ACI 2017, Milton Keynes, United Kingdom, November 21 - 23, 2017 |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Anna Zamansky, Dirk van der Linden, Sofya Baskin |
Teaching Animal-Computer Interaction: an Experience Report. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Shogo Yamashita, Shunichi Suwa, Takashi Miyaki, Jun Rekimoto |
AquaPrism: Dynamically Altering the Color of Aquatic Animals without Injury by Augmenting Aquarium. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Luisa Ruge |
Dog-Smart Homes: Portable controls optimised for mobility assistance dogs. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Shir Amir |
Automatic Video Analysis of Motion-Based Dog Behavior. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Francisco Carpio, Admela Jukan, Ana Isabel Martín Sanchez, Nina Amla, Nicole Kemper |
Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Reinhard Gupfinger, Martin Kaltenbrunner |
Sonic Experiments with Grey Parrots: A Report on Testing the Auditory Skills and Musical Preferences of Grey Parrots in Captivity. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Melanie Ford |
Digital Enrichment with Captive Siamang: Video Showcase of Primate Preference. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Eleonora Nannoni, Giovanna Martelli, Luca Sardi |
Enrichments For Pigs: Improving Animal-Environment Relations. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Sean Mealin, Marc Foster, Katherine Walker, Sherrie Yuschak, Barbara L. Sherman, Alper Bozkurt, David L. Roberts 0001 |
Creating an Evaluation System for Future Guide Dogs: A Case Study of Designing for Both Human and Canine Needs. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Steve North |
Hey, where's my hay?: design fictions in horse-computer interaction. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Steve North |
Salient features, combined detectors and image flipping: an approach to Haar cascades for recognising horses and other complex, deformable objects. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Heli Väätäjä, Päivi Majaranta, Heini Törnqvist, Mari Ainasoja, Veikko Surakka, Oskar Juhlin, Clara Mancini |
Technology for Bonding in Human-Animal Interaction. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Patrizia Paci, Clara Mancini, Blaine A. Price |
The Role of Ethological Observation for Measuring Animal Reactions to Biotelemetry Devices. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Shir Amir, Anna Zamansky, Dirk van der Linden |
K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Fiona French, Clara Mancini, Helen Sharp |
Exploring Research through Design in Animal Computer Interaction. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Juan Haladjian, Ayca Ermis, Zardosht Hodaie, Bernd Brügge |
iPig: Towards Tracking the Behavior of Free-roaming Pigs. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Loup Rault, Ludwig Huber |
Animal-computer technology meets social behaviour: What to look for? What to look forward to? |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Patricia Pons, Javier Jaen |
Designing interspecies playful interactions: studying children perceptions of games with animals. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Lisa J. Wallis, Friederike Range, Enikö Kubinyi, Durga Chapagain, Jessica Serra, Ludwig Huber |
Utilising dog-computer interactions to provide mental stimulation in dogs especially during ageing. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Fiona French, Sofya Baskin, Billy Wallace, Adrian David Cheok, Anna Zamansky, Eleonora Nannoni |
FarmJam 2017: Designing Enrichment for Farm Animals. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Juan Haladjian, Zardosht Hodaie, Stefan Nüske, Bernd Brügge |
Gait Anomaly Detection in Dairy Cattle. |
ACI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Charlotte Bruun |
Rediscovering the Economics of Keynes in an Agent-Based Computational Setting. |
New Math. Nat. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Clara Mancini (eds.) |
Proceedings of the Third International Conference on Animal-Computer Interaction, ACI 2016, Milton Keynes, United Kingdom, November 15-17, 2016 |
ACI |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Fredrik Aspling, Jinyi Wang, Oskar Juhlin |
Plant-computer interaction, beauty and dissemination. |
ACI |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ann Morrison, Rune Heide Møller, Cristina Manresa-Yee, Neda Eshraghi |
The impact of training approaches on experimental setup and design of wearable vibrotactiles for hunting dogs. |
ACI |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Alexandre Pongrácz Rossi, Sarah Rodriguez, Cassia Rabelo Cardoso dos Santos |
A dog using skype. |
ACI |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 248 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|