Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JESPER GULMANN HENRIKSEN
An Expressive Extension of TLC
International Journal of Foundations of Computer Science
Computer Science
Related publications
An Expressive Semantics of Mocking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing TLC/CMS: Direct Mass Analysis From TLC Plates
Chemical and Engineering News
Chemical Engineering
Towards an Expressive Language for PDE Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model for an Expressive Fragment of XSLT
Information Systems
Hardware
Information Systems
Architecture
Software
An Extension of Turán's Inequality
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Expressive Keyboards
An Extension of Lagrange’s Expansion
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
An Extension of Rellich’s Inequality
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Expressive Wearables
International Journal of Mobile Human Computer Interaction
Human-Computer Interaction
