Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A three paradigm first course for CS majors
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An experience teaching formal methods in discrete mathematics
ACM SIGCSE Bulletin
ACM SIGACT News
Shaping the focus of the undergraduate curriculum
ACM SIGCSE Bulletin
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Teaching formal programming to first year computer science students
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
FLAME: Formal Linear Algebra Methods Environment
ACM Transactions on Mathematical Software (TOMS)
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Journal of Automated Reasoning
On Equivalents of Well-Foundedness
Journal of Automated Reasoning
Functional programming, and where you can put it
ACM SIGPLAN Notices
Derivation schemes in twin open set logic
Collision-based computing
Monotonicity in Calculational Proofs
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Algebraic and coalgebraic methods in the mathematics of program construction
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Optimal gate sizing for coupling-noise reduction
Proceedings of the 2004 international symposium on Physical design
The science of deriving dense linear algebra algorithms
ACM Transactions on Mathematical Software (TOMS)
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving a new efficient algorithm for min-period retiming
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Yield driven gate sizing for coupling-noise reduction under uncertainty
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Meeting the challenges of discrete mathematics for computer science: the power of symbols
Journal of Computing Sciences in Colleges - Papers of the Fourteenth Annual CCSC Midwestern Conference and Papers of the Sixteenth Annual CCSC Rocky Mountain Conference
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A new efficient retiming algorithm derived by formal manipulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Families of algorithms related to the inversion of a Symmetric Positive Definite matrix
ACM Transactions on Mathematical Software (TOMS)
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general technique for proving lock-freedom
Science of Computer Programming
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
Discrete mathematics/structures: how do we deal with the late appreciation problem?
Journal of Computing Sciences in Colleges
FCA-Based Two Dimensional Pattern Matching
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Automated deduction for verification
ACM Computing Surveys (CSUR)
Teaching and practicing computer science at the university level
ACM SIGCSE Bulletin
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox
Advances in Engineering Software
Composition in hierarchical CLP
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Which Mathematics for the Information Society?
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Making Temporal Logic Calculational: A Tool for Unification and Discovery
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-passive replication and Lazy Consensus
Journal of Parallel and Distributed Computing
Verifying lock-freedom using well-founded orders
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Theorem proving modulo based on Boolean equational procedures
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
On Euclid's algorithm and elementary number theory
Science of Computer Programming
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Mathematical induction is a recursive technique
Proceedings of the 42nd ACM technical symposium on Computer science education
EQ-logics: Non-commutative fuzzy logics based on fuzzy equality
Fuzzy Sets and Systems
Logic training through algorithmic problem solving
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Knowledge-based automatic generation of partitioned matrix expressions
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Using domain-independent problems for introducing formal methods
FM'06 Proceedings of the 14th international conference on Formal Methods
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Algorithmic problem solving: three years on
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Microsemantics as a bootstrap in teaching formal methods
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Preventing arithmetic overflows in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Fork Algebras in Algebra, Logic and Computer Science
Fundamenta Informaticae
The algorithmics of solitaire-like games
Science of Computer Programming
Live linked data: synchronising semantic stores with commutative replicated data types
International Journal of Metadata, Semantics and Ontologies
The roles of mathematics in computer science
ACM Inroads
Hi-index | 0.00 |