sign in · help · news · about ·

BibSonomy :: author :: Dill ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(293)

<< < 1 | 2 | 3 > >>

Der große Raubzug. Wie im Windschatten der Weltfinanzkrise die Staatskassen geplündert werden
Alexander Dill FinanzBuch-Verlag, München, 1. Aufl. edition, (2009)
to Deutschland Finanzkrise bankenrettung staatsverschuldung umverteilung Öffentliche_Schulden by meneteqel on Jan 30, 2012, 3:07 PM
URL | BibTeX
The square root raised cosine wavelet and its relation to the Meyer functions.
William W. Jones, and Jeffrey C. Dill IEEE Transactions on Signal Processing 49(1):248-251 (2001)
to dblp by dblp on Jan 30, 2012, 12:00 AM
URL | BibTeX
Symbolic Model Checking: 10^20 States and Beyond
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang LICS, page 428-439. IEEE Computer Society, (1990)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
Model-Checking for Real-Time Systems
Rajeev Alur, Costas Courcoubetis, and David L. Dill LICS, page 414-425. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Decision Procedure for an Extensional Theory of Arrays.
Aaron Stump, Clark W. Barrett, David L. Dill, and Jeremy R. Levitt LICS, page 29-37. IEEE Computer Society, (2001)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Successive Approximation of Abstract Transition Relations.
Satyaki Das, and David L. Dill LICS, page 51-58. IEEE Computer Society, (2001)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Haptic Subdivision: An Approach to Defining Level-of-Detail in Haptic Rendering.
Jian Zhang, Shahram Payandeh, and John Dill Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, page 201-208. IEEE Computer Society, (2002)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
Power-law distribution functions derived from maximum entropy and a symmetry relationship
G. J. Peterson, and K. A. Dill CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Nonuniversal power law scaling in the probability distribution of scientific citations
G. J. Peterson, S. Pressé, and K. A. Dill CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
KNIME: The Konstanz Information Miner
Michael R. Berthold, Nicolas Cebron, Fabian Dill, Thomas R. Gabriel, Tobias Kötter, Thorsten Meinl, Peter Ohl, Christoph Sieb, Kilian Thiel, and Bernd Wiswedel Data Analysis, Machine Learning and Applications, Springer, Berlin Heidelberg, (2008)
to diplom knime by lutzm on Nov 6, 2011, 1:07 PM
URL | DOI | BibTeX
How Qualitative Spatial Reasoning Can Improve Strategy Game AIs.
Kenneth D. Forbus, James V. Mahoney, and Kevin Dill IEEE Intelligent Systems 17(4):25-30 (2002)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
Guest Editors' Introduction: Graphics in Advanced Computer-Aided Design.
Frank Bliss, John Dill, and Carl Machover IEEE Computer Graphics and Applications 22(3):22-23 (2002)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Instantaneous chemical profiles of banknotes by ambient mass spectrometry
Livia S. Eberlin, Renato Haddad, Ramon C. Sarabia Neto, Ricardo G. Cosso, Denison R. J. Maia, Adriano O. Maldaner, Jorge Jardim Zacca, Gustavo B. Sanvido, Wanderson Romão, Boniek G. Vaz, Demian R. Ifa, Allison Dill, R. Graham Cooks, and Marcos N. Eberlin Analyst (2010)
by afcallender on Sep 30, 2011, 11:32 PM
DOI | BibTeX
A Theory of Timed Automata.
Rajeev Alur, and David L. Dill Theor. Comput. Sci. 126(2):183-235 (1994)
to dblp by dblp and 3 other users on Sep 7, 2011, 12:00 AM
URL | BibTeX
A Partitioning Methodology for BDD-Based Verification.
Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, and E. Allen Emerson FMCAD, volume 3312 of Lecture Notes in Computer Science, page 399-413. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
An Invitation to Formal Methods.
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, and Pamela Zave IEEE Computer 29(4):16-30 (1996)
to engineering formal methods myown software by jpbowen and 1 other user on Aug 2, 2011, 12:44 AM
URL | BibTeX
Using Interface Refinement to Integrate Formal Verification into the Design Cycle.
Jacob Chang, Sergey Berezin, and David L. Dill CAV, volume 3114 of Lecture Notes in Computer Science, page 122-134. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Model-Checking in Dense Real-time
Rajeev Alur, Costas Courcoubetis, and David L. Dill Inf. Comput. 104(1):2-34 (May 1993)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Symbolic Model Checking: 10^20 States and Beyond
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang Inf. Comput. 98(2):142-170 (June 1992)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
The IBM Zurich Research Laboratory's 1.13 Gb/s LAN/MAN Prototype.
Erwin A. Zurfluh, Roy D. Cideciyan, P. Dill, R. Heller, W. W. Lemppenau, P. Mueller, H. R. Schindler, and Pitro Zafiropulo Computer Networks and ISDN Systems 26(2):163-183 (1993)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper