Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michal Walicki
The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology.
Related publications
Legal Update—Application of the ADA to Contingent Workers
AAOHN Journal
The Sheaf of Straight Lines Methodology. An Application to the Spanish Stock Market
AESTIMATIO
The Potential Possibility of Symptom Checker
International Journal of Health Policy and Management
Health Information Management
Management
Monitoring
Health Policy
Leadership
Health
Policy
Law
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Estimation and Identification of a DSGE Model: An Application of the Data Cloning Methodology
The Stanford Organ: A Synthesis of Views, the Stanford Eclectic Tunings
Performance Practice Review
McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Talks and Tweets From the ADA
Journal of Diabetes
Endocrinology
Metabolism
Diabetes
Improving and Assessing the Efficiency of the Mc4cslta Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
