Result 1 to 20 of 92 total
Complete intersections and movable curves on the moduli space of six-pointed rational curves. (English)
Int. J. Algebra Comput. 22, No. 6, 1250049, 14 p. (2012).
1
Combining VDM with executable code. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 266-279 (2012).
2
Fulton’s conjecture for $\overline{M}_{0,7}$. (English)
J. Lond. Math. Soc., II. Ser. 85, No. 1, 1-21 (2012).
3
A deterministic interpreter simulating a distributed real time system using VDM. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 179-194 (2011).
4
Expressing coarse-grain dependencies among tasks in shared memory programs (English)
IEEE Trans. Industrial Informatics 7, No. 4, 652-660 (2011).
5
A deterministic interpreter simulating a distributed real time system using VDM (English)
ICFEM, 179-194 (2011).
6
Predicted relative metabolomic turnover - predicting changes in the environmental metabolome from the metagenome (English)
BIOINFORMATICS, 337-345 (2011).
7
io-port 71007326 Darvann, Tron A.;
Hermann, Nuno V.;
Demant, Sune;
Larsen, Per;
Ólafsdóttir, Hildur;
Thorup, Signe S.;
Zak, Marek;
Lipira, Angelo B.;
Kane, Alex A.;
Govier, Daniel;
Schatz, Helena;
Rueckert, Daniel;
Kreiborg, Sven
Automated quantification and analysis of facial asymmetry in children with arthritis in the temporomandibular joint (English)
ISBI, 1193-1196 (2011).
8
Are formal methods ready for agility? A reality check. (English)
Gruner, Stefan (ed.) et al., FM+AM 2010 second international workshop on formal methods and agile methods. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-273-4). Lect. Notes Inform. 179, 13-25 (2010).
9
Proof obligation generation and discharging for recursive definitions in VDM. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 40-55 (2010).
10
Collaborative modelling and co-simulation in the development of dependable embedded systems. (English)
Méry, Dominique (ed.) et al., Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16264-0/pbk). Lecture Notes in Computer Science 6396, 12-26 (2010).
11
The rate of growth in scientific publication and the decline in coverage provided by science citation index (English)
Scientometrics 84, No. 3, 575-603 (2010).
12
The overture initiative integrating tools for VDM (English)
ACM SIGSOFT Software Engineering Notes 35, No. 1, 1-6 (2010).
13
Incorporating network topology improves prediction of protein interaction networks from transcriptomic data (English)
IJKDB 1, No. 3, 1-19 (2010).
14
Proof obligation generation and discharging for recursive definitions in VDM (English)
ICFEM, 40-55 (2010).
15
Combinatorial testing for VDM (English)
SEFM, 278-285 (2010).
16
Proving consistency of VDM models using HOL (English)
SAC, 2503-2510 (2010).
17
Are formal methods ready for agility? A reality check (English)
FM+AM, 13-25 (2010).
18
Collaborative modelling and co-simulation in the development of dependable embedded systems (English)
IFM, 12-26 (2010).
19
Automated quantification and analysis of mandibular asymmetry (English)
ISBI, 416-419 (2010).
20
Result 1 to 20 of 92 total
Start
Contact
Print
General Help
