| 1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
A Framework for Current-State Opacity under Dynamic Information Release Mechanism ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
The Role of Achievement Emotions in Math Performance Outcomes of Students with Autism Spectrum Disorder
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Situated speaking: from distraction to disruption.Neurocognitive mechanisms of monitoring and control in spoken word production.
|
|
|
|
BASE
|
|
Show details
|
|
|
| 10 |
The Propaganda Machine in the Age of Social Media
|
|
|
|
In: Argumentum: Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric, Vol 18, Iss 2, Pp 117-138 (2020) (2020)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Имитационная модель деятельности школьника, читающего текст ... : Simulation model of the activity of a pupil reading a text ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Global Aviation System: Towards Sustainable Development
|
|
|
|
In: International Journal of Aviation, Aeronautics, and Aerospace (2019)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Attentional Control in Bilingualism: An Exploration of the Effects of Trait Anxiety and Rumination on Inhibition
|
|
|
|
In: Behavioral Sciences ; Volume 9 ; Issue 8 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
The Notions of the "Closet" and the "Secret" in Oscar Wilde's, The Picture of Dorian Gray
|
|
|
|
In: FIU Electronic Theses and Dissertations (2019)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Native language influence on brass instrument performance: An application of generalized additive mixed models (GAMMs) to midsagittal ultrasound images of the tongue
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Challenging Girlhood
|
|
|
|
In: School of Information Student Research Journal (2019)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Metaphor Theory and Its Relation to Social Policy
|
|
|
|
In: Chancellor’s Honors Program Projects (2019)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Remarks on Finite Control and Hyper-Raising in Brazilian Portuguese
|
|
|
|
In: Journal of Portuguese Linguistics, Vol 18, Iss 1 (2019) (2019)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Remarks on Finite Control and Hyper-Raising in Brazilian Portuguese
|
|
|
|
In: Journal of Portuguese Linguistics, Vol 18, Iss 1 (2019) (2019)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
|
|
