Journal Article
Online First™Higher-Order Averaging, Formal Series and Numerical Integration II: The Quasi-Periodic Case
P. Chartier, A. Murua and J. M. Sanz-Serna
Foundations of Computational Mathematics, Online First™, 7 April 2012
Journal Article
Online First™ENO Reconstruction and ENO Interpolation Are Stable
Ulrik S. Fjordholm, Siddhartha Mishra and Eitan Tadmor
Foundations of Computational Mathematics, Online First™, 28 March 2012
Journal Article
Online First™Towards formally specifying and verifying transactional memory
Simon Doherty, Lindsay Groves, Victor Luchangco and Mark Moir
Formal Aspects of Computing, Online First™, 18 March 2012
Journal Article
Online First™On theorem prover-based testing
Achim D. Brucker and Burkhart Wolff
Formal Aspects of Computing, Online First™, 6 March 2012
Journal Article
Online First™Automatic verification of reduction techniques in Higher Order Logic
Sa’ed Abed, Otmane Ait Mohamed and Ghiath Al Sammane
Formal Aspects of Computing, Online First™, 13 February 2012
Journal Article
Online First™Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
Pablo Rabanal, Ismael Rodríguez and Fernando Rubio
Formal Aspects of Computing, Online First™, 19 January 2012
Journal Article
Online First™Deriving dense linear algebra libraries
Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí and Tyler Rhodes, et al.
Formal Aspects of Computing, Online First™, 17 January 2012
Journal Article
Online First™Simple linear string constraints
Xiang Fu, Michael C. Powell, Michael Bantegui and Chung-Chih Li
Formal Aspects of Computing, Online First™, 17 January 2012
Journal Article
Online First™Polyharmonic and Related Kernels on Manifolds: Interpolation and Approximation
T. Hangelbroek, F. J. Narcowich and J. D. Ward
Foundations of Computational Mathematics, Online First™, 13 January 2012
Journal Article
Online First™Open AccessStarvation-free mutual exclusion with semaphores
Wim H. Hesselink and Mark IJbema
Formal Aspects of Computing, Online First™, 16 December 2011