Old Web
English
Sign In
Acemap
>
authorDetail
>
Michael Balser
Michael Balser
Computer science
Programming language
Art
Computer architecture
Concolic testing
5
Papers
35
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction.
2006
Michael Balser
Show All
Source
Cite
Save
Citations (20)
The User Interface of the KIV Verication System | A System Description
2005
Dominik Haneberg
Simon Bäumler
Michael Balser
Holger Grandy
Frank Ortmeier
Wolfgang Reif
Gerhard Schellhorn
Jonathan Schmitt
Kurt Stenzel
Show All
Source
Cite
Save
Citations (14)
Money Value Art : State Funding, Free Markets, Big Pictures
2001
Sally McKay
Andrew James Paterson
Cliff Eyland
Kevin Dowler
Jan Allen
Michael Balser
Andy Fabo
Barbara Godard
Andrew Johnson
Jill Henderson
Luis Jacob
Bernie Miller
Pierre Beaudoin
Scott McCleod
Josephine Mills
Robin C. Pacific
Jan Swinburne
Rinaldo Walcott
David McIntosh
John Marriott
Krys Verrall
Bill Burns
Show All
Source
Cite
Save
Citations (1)
Treatments : Adventures in AIDS and Media
1998
Andrew J. Paterson
Michael Balser
Show All
Source
Cite
Save
Citations (0)
Refigured Histories, Remembered Pasts
1997
Robert W.G. Lee
Chantal Nadeau
Stephen Andrews
Michael Balser
Charline Boudreau
Andy Fabo
Anne Golden
Regan Morris
Esther Valiquette
Show All
Source
Cite
Save
Citations (0)
1