sign in · help · news · about ·

BibSonomy :: author :: Maler ::

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

(155)

<< < 1 | 2 | 3 > >>

Optimizing explicit data transfers for data parallel applications on the cell architecture.
Selma Saidi, Pranav Tendulkar, Thierry Lepley, and Oded Maler TACO 8(4):37 (2012)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Multi-criteria optimization for mapping programs to multi-processors.
Scott Cotton, Oded Maler, Julien Legriel, and Selma Saidi SIES, page 9-17. IEEE, (2011)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
A Kleene Theorem for Timed Automata.
Eugene Asarin, Paul Caspi, and Oded Maler LICS, page 160-171. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
On the Learnability of Infinitary Regular Sets.
Oded Maler, and Amir Pnueli COLT, page 128-136. Morgan Kaufmann, (1991)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Subtractive and Divisive Inhibition: Effect of Voltage-Dependent Inhibitory Conductances and Noise.
Brent Doiron, André Longtin, Neil Berman, and Leonard Maler Neural Computation 13(1):227-248 (2001)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
The Venn of Identity: Options and Issues in Federated Identity Management.
Eve Maler, and Drummond Reed IEEE Security & Privacy 6(2):16-23 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
On under-determined dynamical systems.
Oded Maler EMSOFT, page 89-96. ACM, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Tight Bounds on the Complexity of Cascaded Decomposition of Automata
Oded Maler, and Amir Pnueli FOCS, page 672-682. IEEE Computer Society, (1990)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
Performance Evaluation of Schedulers in a Probabilistic Setting.
Jean-Francois Kempf, Marius Bozga, and Oded Maler FORMATS, volume 6919 of Lecture Notes in Computer Science, page 1-17. Springer, (2011)
to dblp by dblp on Sep 29, 2011, 12:00 AM
URL | BibTeX
On universal search strategies for multi-criteria optimization using weighted sums.
Julien Legriel, Scott Cotton, and Oded Maler IEEE Congress on Evolutionary Computation, page 2351-2358. IEEE, (2011)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
On the Effects of Noise and Speed on Computations.
Bernard Delyon, and Oded Maler Theor. Comput. Sci. 129(2):279-291 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Extensible Markup Language
Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, and Fran�ois Yergeau (November 2008)
to imported by zazi on Aug 19, 2011, 12:45 PM
URL | BibTeX
Extensible Markup Language XML 1.0 Fifth Edition
Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, and Francois Yergeau W3C Recommendation, (2008)Available at http://www.w3.org/TR/REC-xml/ .
to imported by utahell and 3 other users on Aug 11, 2011, 1:45 PM
BibTeX
Monitoring Temporal Properties of Continuous Signals.
Oded Maler, and Dejan Nickovic FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 152-166. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Some Progress in Satisfiability Checking for Difference Logic.
Scott Cotton, Eugene Asarin, Oded Maler, and Peter Niebert FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 263-276. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
Thao Dang, Alexandre Donzé, and Oded Maler FMCAD, volume 3312 of Lecture Notes in Computer Science, page 21-36. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
The Distribution of Inversion Lengths in Bacteria.
David Sankoff, Jean-François Lefebvre, Elisabeth R. M. Tillier, Adrian Maler, and Nadia El-Mabrouk Comparative Genomics, volume 3388 of Lecture Notes in Computer Science, page 97-108. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
SpaceEx: Scalable Verification of Hybrid Systems.
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler CAV, volume 6806 of Lecture Notes in Computer Science, page 379-395. Springer, (2011)
to dblp by dblp on Jul 11, 2011, 12:00 AM
URL | BibTeX
On the Learnability of Infinitary Regular Sets
Oded Maler, and Amir Pnueli Inf. Comput. 118(2):316-326 (May 1995)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
On Recognizable Timed Languages.
Oded Maler, and Amir Pnueli FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 348-362. 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