History
1
au:Huggins, J*
34


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 | next | last

Result 1 to 20 of 34 total

Compensation for biodynamic feedthrough in backhoe operation by cab vibration control (English)
ICRA, 4284-4290 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract state machines and the inquiry process. (English)
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 405-413 (2010).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract state machines and the inquiry process (English)
Fields of Logic and Computation, 405-413 (2010).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Engaging computer science students through cooperative education (English)
SIGCSE Bulletin 41, No. 4, 90-94 (2009).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
It seemed like a good idea at the time (English)
SIGCSE, 265-266 (2009).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
Comparison of evaluation metrics in classification applications with imbalanced datasets (English)
ICMLA, 777-782 (2008).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
Execution of A requirement model in software development (English)
IASSE, 203-208 (2004).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX
Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education. (English)
Börger, Egon (ed.) et al., Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2589, 414 (2003).
Classification: F.1.1
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX URL
A method of implementing UML virtual machines with some constraints based on abstract state machines (English)
APSEC, 224- (2003).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX URL
Survivor: getting through that class the first time (English)
SIGCSE, 234-235 (2003).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
Teaching asms, teaching with asms: opportunities in undergraduate education (English)
Abstract State Machines, 414 (2003).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
A toolset for supporting UML static and dynamic model checking (English)
COMPSAC, 147-152 (2002).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX URL
A UML validation toolset based on abstract state machines (English)
ASE, 315-318 (2001).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX URL
An ASM dynamic semantics for standard ML. (English)
Gurevich, Yuri (ed.) et al., Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1912, 203-222 (2000).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX
An ASM dynamic semantics for standard ML (English)
Abstract State Machines, 203-222 (2000).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract state machines 1988-1998: Commented ASM bibliography. (English)
Comput. Res. Repos. 1998, Article No. 9811014 (1998).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX URL
The railroad crossing problem: An experiment with instantaneous actions and immediate reactions. (English)
Comput. Res. Repos. 1998, Article No. 9810026 (1998).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX URL
An offline partial evaluator for evolving algebras. (English)
Comput. Res. Repos. 1998, Article No. 9810025 (1998).
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX URL
Evolving algebras and partial evaluation. (English)
Comput. Res. Repos. 1998, Article No. 9810024 (1998).
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX URL
Equivalence is in the eye of the beholder. (English)
Comput. Res. Repos. 1998, Article No. 9810023 (1998).
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX URL
first | previous | 1 21 | next | last

Result 1 to 20 of 34 total

Valid XHTML 1.0 Transitional Valid CSS!