sign in · help · news · about ·

BibSonomy :: author :: Markey ::

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

(98)

<< < 1 | 2 | 3 > >>

Through a Game Darkly: Student Experiences with the Technology of the Library Research Process.
Karen Markey, Chris Leeder, and Soo Young Rieh Library Hi Tech (2012)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Robustness in real-time systems.
Nicolas Markey SIES, page 28-34. IEEE, (2011)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
Eigen-Genomic System Dynamic-Pattern Analysis ESDA: Modeling mRNA Degradation and Self-Regulation.
Daifeng Wang, Mia K. Markey, Claus O. Wilke, and Ari Arapostathis IEEE/ACM Trans. Comput. Biology Bioinform. 9(2):430-437 (2012)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Shrinking Timed Automata.
Ocan Sankur, Patricia Bouyer, and Nicolas Markey FSTTCS, volume 13 of LIPIcs, page 90-102. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
Nash Equilibria in Concurrent Games with Büchi Objectives.
Patricia Bouyer, Romain Brenguier, Nicolas Markey, and Michael Ummels FSTTCS, volume 13 of LIPIcs, page 375-386. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
On Termination for Faulty Channel Machines
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, and James Worrell CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the Expressiveness and Complexity of ATL
François Laroussinie, Nicolas Markey, and Ghassan Oreiby CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, and Michael Ummels CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Model Checking One-clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, and Nicolas Markey CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Scripting Languages Emerge in Standards Bodies.
Arturo A. Rodriguez, Martin Fisher, and Brian Markey IEEE MultiMedia 2(4):88-92 (1995)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
A Pilot Study on Using Eye Tracking to Understand Assessment of Surgical Outcomes from Clinical Photography.
Min Soon Kim, Angela Burgess, Andrew J. Waters, Gregory P. Reece, Elisabeth K. Beahm, Melissa A. Crosby, Karen M. Basen-Engquist, and Mia K. Markey J. Digital Imaging 24(5):778-786 (2011)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited.
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, and Michael Ummels ATVA, volume 6996 of Lecture Notes in Computer Science, page 135-149. Springer, (2011)
to dblp by dblp and 1 other user on Oct 14, 2011, 12:00 AM
URL | BibTeX
Robust Model-Checking of Timed Automata via Pumping in Channel Machines.
Patricia Bouyer, Nicolas Markey, and Ocan Sankur FORMATS, volume 6919 of Lecture Notes in Computer Science, page 97-112. Springer, (2011)
to dblp by dblp on Sep 29, 2011, 12:00 AM
URL | BibTeX
Timed Automata Can Always Be Made Implementable.
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, and Claus R. Thrane CONCUR, volume 6901 of Lecture Notes in Computer Science, page 76-91. Springer, (2011)
to dblp by dblp on Aug 27, 2011, 12:00 AM
URL | BibTeX
Quantitative analysis of real-time systems using priced timed automata.
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, and Nicolas Markey Commun. ACM 54(9):78-87 (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Symbolic Model Checking for Simply-Timed Systems.
Nicolas Markey, and Ph. Schnoebelen FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 102-117. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Robustness and Implementability of Timed Automata.
Martin De Wulf, Laurent Doyen, Nicolas Markey, and Jean-François Raskin FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 118-133. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
A peer-to-peer checkers program.
Luke Markey ACM Southeast Regional Conference, page 367-368. ACM, (2011)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
The Effectiveness of a Web-based Board Game for Teaching Undergraduate Students Information Literacy Concepts and Skills
Karen Markey, Fritz Swanson, Andrea Jenkins, Brian J. Jennings, Beth St. Jean, Victor Rosenberg, Xingxing Yao, and Robert L. Frost D-Lib Magazine (2008)
to imported by aesop on Jul 8, 2011, 8:06 PM
URL | DOI | BibTeX
Non-deterministic Temporal Logics for General Flow Systems.
Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, and Thomas Moor HSCC, volume 2993 of Lecture Notes in Computer Science, page 280-295. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX

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

a gripper