-
1دورية أكاديمية
المؤلفون: Matthew J. Parkinson, Alexander J. Summers
المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)
مصطلحات موضوعية: computer science - programming languages, computer science - logic in computer science, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Thibault Dardinier, Peter Müller, Alexander J. Summers
المصدر: Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)
مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software
وصف الملف: application/application/pdf
-
3
المؤلفون: Alexander J. Summers, Jasmine P. Devadhasan, Jian Gu, Douglas C. Montgomery, Brittany Fischer, Marcellene A. Gates-Hollingsworth, Kathryn J. Pflughoeft, Tuan Vo-Dinh, David P. AuCoin, Frederic Zenhausern
المصدر: ACS Omega. 7:32262-32271
مصطلحات موضوعية: General Chemical Engineering, General Chemistry
-
4
المؤلفون: Fabian Wolff, Aurel Bílý, Alexander J. Summers, Peter Müller, Christoph Matheja
المصدر: Proceedings of the ACM on Programming Languages, 5 (OOPSLA)
مصطلحات موضوعية: Computer science, Programming language, business.industry, Rust, Closures, High-order functions, Software verification, Extension (predicate logic), computer.software_genre, Automation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Closure (computer programming), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Code (cryptography), State (computer science), Safety, Risk, Reliability and Quality, business, computer, Formal verification, Software, Rust (programming language), computer.programming_language
وصف الملف: application/application/pdf
-
5
المؤلفون: Christian Bräm, Peter Müller, Robin Sierra, Alexander J. Summers, Marco Eilers
المصدر: Proceedings of the ACM on Programming Languages, 5 (OOPSLA)
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Correctness, Smart contract, Computer science, business.industry, Ethereum, Smart contracts, Specification, Software verification, Resources, Domain (software engineering), Core (game theory), Resource (project management), Code (cryptography), Safety, Risk, Reliability and Quality, Software engineering, business, Software, Scope (computer science), Programming Languages (cs.PL)
وصف الملف: application/application/pdf
-
6
المؤلفون: Jin G Park, Samantha Carotenuto, Alexander J Summers, Jing Wei, Xiaokuang Ma, Ross Johnson, Nicole Teru Quintus, Shenfeng Qiu, Hee-Dae Kim, Deveroux Ferguson, Chenxi Xu, Tanessa Call
المصدر: Molecular Psychiatry. 26:7316-7327
مصطلحات موضوعية: 0301 basic medicine, Mice, Transgenic, AMPA receptor, Nucleus accumbens, Biology, Optogenetics, Medium spiny neuron, Nucleus Accumbens, Social defeat, Mice, 03 medical and health sciences, Cellular and Molecular Neuroscience, 0302 clinical medicine, medicine, Animals, Humans, Molecular Biology, Depression (differential diagnoses), Depression, Receptors, Dopamine D2, Receptors, Dopamine D1, Mice, Inbred C57BL, Ventral tegmental area, Psychiatry and Mental health, 030104 developmental biology, medicine.anatomical_structure, Excitatory postsynaptic potential, Neuroscience, 030217 neurology & neurosurgery
-
7
المؤلفون: Alexander J. Summers, Houshang Yin, Ralf D. Fischer, Barton C. Prorok, Xiaoyuan Lou, Q. Peter He
المصدر: 2022 American Control Conference (ACC).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b1e23e1e01d6334f475e436a2b25a6b3
https://doi.org/10.23919/acc53348.2022.9867290 -
8
المساهمون: Shoham, Sharon, Vizel, Yakir
المصدر: Computer Aided Verification ISBN: 9783031131875
Lecture Notes in Computer Science, 13372
Computer Aided Verificationوصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78335b6b4daea614a5de80af5a8e745e
-
9
المؤلفون: Thomas Wies, Siddharth Krishna, Alexander J. Summers
المساهمون: Müller, Peter
المصدر: Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science, 12075
Local Reasoning for Global Graph Propertiesمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Property (philosophy), Theoretical computer science, Computer science, Concurrency, 020207 software engineering, 02 engineering and technology, Data structure, Article, Logic in Computer Science (cs.LO), Reachability, Path (graph theory), ComputingMilieux_COMPUTERSANDEDUCATION, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Remainder, Graph property, Heap (data structure)
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f0f43641d9067cde192e42f37a4c105
http://europepmc.org/articles/PMC7702264 -
10
المؤلفون: Alexander J. Summers, Peter Müller
المصدر: International Journal on Software Tools for Technology Transfer. 22:709-728
مصطلحات موضوعية: Weak consistency, Computer science, Programming language, 020207 software engineering, 02 engineering and technology, Separation logic, C11, Permission, Mathematical proof, computer.software_genre, Encoding (memory), 0202 electrical engineering, electronic engineering, information engineering, Memory model, computer, Software, Information Systems, Abstraction (linguistics)