-
1
المؤلفون: Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
المصدر: Proceedings of the 44th International Conference on Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6914da8c534d6157763186dbf69f0f8e
https://doi.org/10.1145/3510003.3510227 -
2
المؤلفون: Mara Downing, Wei-Yee Goh, Lawrence Lim, Misha Sra
المصدر: UIST (Adjunct Volume)
مصطلحات موضوعية: Computer science, Human–computer interaction, Physical space, Live music, Social experience, Spatial music, Active listening, Augmented reality, Space (commercial competition), Dimension (data warehouse)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22329af1265c068873700113d2b8b5d0
https://doi.org/10.1145/3474349.3480218 -
3
المؤلفون: Mara Downing, Tommy Schneider, Lucas Bang, Abtin Molavi
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: Source code, Computer science, media_common.quotation_subject, Integer lattice, 020207 software engineering, 02 engineering and technology, Data structure, Program analysis, 020204 information systems, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), Algorithm, Time complexity, media_common, Integer (computer science)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::29c33ea6868bb4346575b96ee0628559
https://doi.org/10.1145/3368089.3417937 -
4
المؤلفون: Mara Downing, Lucas Bang, Abtin Molavi
المصدر: GandALF
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computational complexity theory, Computer science, Information Theory (cs.IT), Computer Science - Information Theory, Computational geometry, Symbolic execution, Ranking (information retrieval), Logic in Computer Science (cs.LO), Set (abstract data type), Search problem, Probability distribution, Entropy maximization
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19086ba3ceea48c85beb5e0a30da3d27
http://arxiv.org/abs/2009.10877 -
5
المؤلفون: Lucas Bang, Mara Downing, Abtin Molavi, Tommy Schneider
المصدر: Lecture Notes in Computer Science ISBN: 9783030636173
VSTTEمصطلحات موضوعية: Program analysis, Correctness, Computer science, Bounded function, Integer lattice, Boolean satisfiability problem, Time complexity, Algorithm, Undecidable problem, Integer (computer science)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0138ea90ba81aea7c62adedfbb6d7610
https://doi.org/10.1007/978-3-030-63618-0_8 -
6
المؤلفون: Mara Downing, Shannon Collier
المصدر: SIGCSE
مصطلحات موضوعية: Structure (mathematical logic), Statement (computer science), Parsing, Computer science, 4. Education, media_common.quotation_subject, 05 social sciences, 050301 education, 02 engineering and technology, computer.software_genre, 020204 information systems, ComputingMilieux_COMPUTERSANDEDUCATION, 0202 electrical engineering, electronic engineering, information engineering, Mathematics education, Boolean expression, Function (engineering), Control (linguistics), 0503 education, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d152ccbcbe3871768d42f4d6dda8f724
https://doi.org/10.1145/3287324.3293704