Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
MacSphere
Browsing by Author Kahl, Wolfram
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
publication date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 4 to 20 of 20
< previous
Publication Date
Title
Author(s)
24-Sep-2007
Detecting Non-Termination in Constraint Handling Rules
Rahimikia, Ershad
2021
Do-it-Yourself Module Systems
Al-hassy, Musa
Aug-2006
Explicitly Staged Software Pipelining
Thaller, Wolfgang
Dec-2008
A Graph Transformation and Visualization Framework
West, Scott
2008
GVariant: Efficient Partial Deserialisation
Lortie, Ryan
Sep-2008
Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications
Bandur, Victor
Sep-2005
Implementation of Pattern Matching Calculus Using Type-Indexed Expressions
Ji, Xiaoheng
Nov-2018
INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION
Hossain, Md Nour
2018
A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation
Zhao, Yuhang
Jun-2015
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets
Al-hassy, Musa
2021
Parallel Windowed Method for Scalar Multiplication in Elliptic Curve Cryptography
Bouman, Tanya
Sep-2008
Proofs of Relational Semigroupoids in Isabelle/Isar
Han, Jinrong
2017
(Re-)Creating sharing in Agda's GHC backend
Perna, Natalie
2021
Type-Safe Modeling for Optimization
Thai, Nhan
Oct-2012
Type-Safety for Inverse Imaging Problems
Moghadas, Maryam
Sep-2007
Verification of Haskell Type Classes
Wang, Feng
Oct-2011
Verifying Permutation Rewritable Hazard Free Loops
Dobrogost, Michal