( en | de | ru )

 

Disambiguation of "Dams, Dennis"

Author of the publication

copydeleteadd this publication to your clipboard
PresenceScape: Virtual World Mediated Rich Communication.

, , , , , , , , and . Bell Labs Tech. J., 16 (4): 219-242 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Judith Dams

Wolfgang Dams

Thomas Dams

Andreas Dams

Wolfgang Dams

 

Other publications of authors with the same name

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs., and . FMCO, volume 4111 of Lecture Notes in Computer Science, page 138-160. Springer, (2005)Integrating Real Time into Spin: A Prototype Implementation., and . FORTE, volume 135 of IFIP Conference Proceedings, page 423-438. Kluwer, (1998)Verification, Model Checking and Abstract Interpretation (Workshop Overview)., , , and . ILPS, page 421-422. MIT Press, (1997)Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis., , and . ICLP, page 79-93. MIT Press, (1991)Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code., , , , and . SANER, page 552-556. IEEE Computer Society, (2018)Bottom-up Abstract Interpretation of Logic Programs., , and . Theor. Comput. Sci., 124 (1): 93-125 (1994)Model Checking SDL with Spin., , , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 363-377. Springer, (2000)An On-the-Fly Tableau Construction for a Real-Time Temporal Logic., and . FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 276-290. Springer, (2000)Symmetric Spin., , and . SPIN, volume 1885 of Lecture Notes in Computer Science, page 1-19. Springer, (2000)Iterating Transducers., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 286-297. Springer, (2001)