Accueil › Annuaire des chercheurs › Elijah Brick

Elijah Brick

Affiliation : New Jersey Institute of Technology

3Publications (affiliation américaine)
3Publications au total
1Citations
1Indice h

Profil de recherche

Elijah Brick compte 3 publications référencées (2023). Ses travaux paraissent principalement dans « Software & Systems Modeling », « arXiv (Cornell University) » et « IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) ». Son article le plus cité, « On the persistent rumors of the programmer’s imminent demise » (2023), a été cité 1 fois. Ses travaux sont cosignés avec au moins 2 chercheurs.

C’est vous ? Faites connaître vos travaux

Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.

Créer mon profil gratuit Ajouter mes publications

Domaines de recherche

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

Publications (3)

On the persistent rumors of the programmer’s imminent demise
2023 · Software & Systems Modeling · cité 1 fois
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)

Revues de publication

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

Co-auteurs

Données bibliographiques issues d’OpenAlex (base ouverte).