Result 1 to 20 of 159 total
io-port 70137948 Yu, Anthony W.;
Krainak, Michael A.;
Harding, David J.;
Abshire, James B.;
Sun, Xiaoli;
Cavanaugh, John;
Valett, Susan;
Ramos-Izquierdo, Luis;
Winkert, Tom;
Kirchner, Cynthia;
Plants, Michael;
Filemyr, Timothy;
Kamamia, Brian;
Hasselbrack, William
Sixteen channel, non-scanning airborne lidar surface topography (list) simulator (English)
IGARSS, 4119-4121 (2011).
1
On the confluence of lambda-calculus with conditional rewriting. (English)
Theor. Comput. Sci. 411, No. 37, 3301-3327 (2010).
2
Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6‒10, 2010. Proceedings, Part II. (English)
Lecture Notes in Computer Science 6199. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). xxiv, 614~p. EUR~84.53 (2010).
3
Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6‒10, 2010. Proceedings, Part I. (English)
Lecture Notes in Computer Science 6198. Berlin: Springer (ISBN 978-3-642-14164-5/pbk). xxiii, 754~p. EUR~93.09 (2010).
4
A type system for tom. (English)
Comput. Res. Repos. 2010, Article No. 1003.4799 (2010).
5
Anti-patterns for rule-based languages. (English)
J. Symb. Comput. 45, No. 5, 523-550 (2010).
6
Constraint based strategies. (English)
Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 13-26 (2010).
7
Regaining cut admissibility in deduction modulo using abstract completion. (English)
Inf. Comput. 208, No. 2, 140-164 (2010).
8
Verification of timed automata using rewrite rules and strategies. (English)
Comput. Res. Repos. 2009, Article No. 0907.3123 (2009).
9
Analysis of rewrite-based access control policies. (English)
Electron. Notes Theor. Comput. Sci. 234, 55-75 (2009).
10
Inductive proof search modulo. (English)
Ann. Math. Artif. Intell. 55, No. 1-2, 123-154 (2009).
11
Efficient reformulation and solution of a nonlinear PDE-controlled flow network model. (English)
Computing 85, No. 3, 245-265 (2009).
12
Formal to practical security. Papers issued from the 2005‒2008 French-Japanese collaboration. (English)
Lecture Notes in Computer Science 5458. Berlin: Springer (ISBN 978-3-642-02001-8/pbk). vii, 199~p. \$~59.95 (2009).
13
Constraint based strategies (English)
WFLP, 13-26 (2009).
14
Strategic computation and deduction. (English)
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 339-364 (2008).
15
Towards a sharing strategy for the graph rewriting calculus. (English)
Electron. Notes Theor. Comput. Sci. 204, 111-127 (2008).
16
Anti-pattern matching modulo. (English)
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13‒19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 275-286 (2008).
17
SPREADSPACES: Mathematically-intelligent graphical spreadsheets. (English)
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 194-208 (2008).
18
Multicommodity flows on road networks. (English)
Commun. Math. Sci. 6, No. 1, 171-187 (2008).
19
Anti-pattern matching modulo (English)
LATA, 275-286 (2008).
20
Result 1 to 20 of 159 total
Start
Contact
Print
General Help
