Elijah Brick

الانتماء : New Jersey Institute of Technology

3منشورات (انتماء أمريكي)
3مجموع المنشورات
1الاستشهادات
1مؤشر h

الملف البحثي

لدى Elijah Brick 3 منشور(ات) مفهرسة (2023). تُنشر أعماله أساسًا في «Software & Systems Modeling»، «arXiv (Cornell University)» و«IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)». أكثر مقالاته استشهادًا هو «On the persistent rumors of the programmer’s imminent demise» (2023)، وقد استُشهد به 1 مرة. شارك في تأليف أعماله 2 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Logic, programming, and type systems
Formal Methods in Verification
Software Testing and Debugging Techniques
Software Engineering Research
Software Engineering Techniques and Practices

المنشورات (3)

On the persistent rumors of the programmer’s imminent demise
2023 · Software & Systems Modeling · استُشهد به 1 مرة
Invariant Relations: A Bridge from Programs to Equations
2023 · arXiv (Cornell University)
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
2023 · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)

مجلات النشر

Software & Systems Modeling × 1
arXiv (Cornell University) × 1
IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) × 1

المؤلفون المشاركون

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).