Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (Nicolas Burrus)
• An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  + (David Lesage)
• Past People  + (Yann Jacquelet)
• People/David Moreira  + (David Moreira)
• FSMXML pour Vaucanson 2.0  + (David Moreira)
• Vers Vaucanson 2.0  + (David Moreira)
• Implementing rational semiring  + (David Moreira)
• FSMXML for Vaucanson 2.0  + (David Moreira)
• Implémentation du corps des (nombres) rationnels  + (David Moreira)
• Towards Vaucanson 2.0  + (David Moreira)
• Papers about Vaucanson  + (Akim Demaille)
• Generic Emptiness Check for Fun and Profit  + (Christel Baier)
• The Hanoi Omega-Automata Format  + (Tomáš Babiak)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• On-the-fly Emptiness Check of Transition-based Streett Automata  + (Alexandre Duret-Lutz)
• Heuristics for Checking Liveness Properties with Partial Order Reductions  + (Alexandre Duret-Lutz)
• Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  + (Alexandre Duret-Lutz)
• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (Etienne Renault)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (Etienne Renault)
• Parallel Explicit Model Checking for Generalized Büchi Automata  + (Etienne Renault)
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking  + (Alexandre Duret-Lutz)
• Three SCC-based Emptiness Checks for Generalized Büchi Automata  + (Etienne Renault)
• Combining Parallel Emptiness Checks with Partial Order Reductions  + (Denis Poitrenaud)
• LTL under reductions with weaker conditions than stutter invariance  + (Emmanuel Paviot-Adet)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)

• High Throughput Automated Detection of Axial Malformations in Medaka Embryo  + (Diane Genest)
• High throughput automated detection of axial malformations in fish embryo  + (Diane Genest)

• polyDD: Towards a Framework Generalizing Decision Diagrams  + (Alban Linard)
• Jobs/M2 DV 2014 conception-dsl  + (Didier Verna)
• Jobs/M2 DV 2014 lisp-statistiques  + (Didier Verna)
• Jobs/M2 DV 2014 conception-dsl/fr  + (Didier Verna)
• Jobs/M2 DV 2014 lisp-statistiques/fr  + (Didier Verna)
• Jobs/M2 2015 DV Conception DSL  + (Didier Verna)
• Jobs/M2 2015 DV Lisp For Statistics  + (Didier Verna)
• People/Didier Verna  + (Didier Verna)
• Jobs/SPE DV 2015 interface graphique Qt  + (Didier Verna)
• Jobs/M2 2016 DV Profiling for Climb  + (Didier Verna)
• Jobs/M2 2016 DV Qt for Climb  + (Didier Verna)
• Jobs/M2 2017 DV QuickRefs  + (Didier Verna)
• Jobs/M2 2018 DV RTE  + (Didier Verna)
• JSPP: Morphing C++ into JavaScript  + (Christopher Chedeau)
• Urbi et Orbi: unusual design and implementation choices for distributed virtual environments  + (Yoann Fabre)
• Generic Image Processing with Climb  + (Laurent Senta)
• Approaches in Typecase Optimization  + (Jim Newton)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (Jim Newton)
• Revisiting the Visitor: the Just Do It Pattern  + (Didier Verna)
• Lisp, Jazz, Aikido  + (Didier Verna)
• How to make Lisp go faster than C  + (Didier Verna)
• Extensible languages: blurring the distinction between DSLs and GPLs  + (Didier Verna)
• Method Combinators  + (Didier Verna)
• Beating C in Scientific Computing Applications  + (Didier Verna)