Semantic search

This page or action requires Javascript to work, please enable Javascript in your browser or use a browser where this is supported so that functionality can be served and is provided as requested. For further assistance, please have a look at the noscript help page.

Options | Search Clear all entries |

Condition

Printout selection

Options

Parameters [+]

limit:

The maximum number of results to return

offset:

The offset of the first result

link:

Show values as links

headers:

Display the headers/property names

mainlabel:

The label to give to the main page name

intro:

The text to display before the query results, if there are any

outro:

The text to display after the query results, if there are any

searchlabel:

Text for continuing the search

default:

The text to display if there are no query results

import-annotation:

Additional annotated data are to be copied during the parsing of a subject

propsep:

The separator between the properties of a result entry

valuesep:

The separator between the values for a property of a result

template:

The name of a template with which to display the printouts

named args:

Name the arguments passed to the template

userparam:

A value passed into each template call, if a template is used

class:

An additional CSS class to set for the list

introtemplate:

The name of a template to display before the query results, if there are any

outrotemplate:

The name of a template to display after the query results, if there are any

sep:

The separator between results

Sort options

Delete

Add sorting condition

ResultCodeDebugExtra

To embed this query inline into a wiki page use the code below.

{{#ask: [[Category:Publications]]
 |?Has bibtex id
 |?Has author
 |?Has title
 |?Published in
 |?News date#MEDIAWIKI=Date
 |format=template
 |limit=20
 |offset=100
 |sort= News date
 |order= descending
 |mainlabel=
 |template= PublicationRow
 |introtemplate= PublicationRowIntro
 |outrotemplate= PublicationRowOutro
 |sep=
}}

Results 101 – 120 previous 20 20 50 100 250 500 next 20

JSON CSV RSS RDF

Query log

{
    "query_string": "[[Category:Publications]]",
    "query_source": "SMWSQLStore",
    "query_time": "0.0351",
    "from_cache": false
}

	Title	Authors	Published in	Date
vallade.20.nfm	On the Usefulness of Clause Strengthening in Parallel SAT Solving	Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon	Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)	1 August 2020
boutry.20.iwcia1	Euler Well-Composedness	Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago	Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020	21 July 2020
boutry.20.iwcia2	A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D	Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud	Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020	21 July 2020
rivet.20.phd	Non-iterative methods for image improvement in digital holography of the retina	Julie Rivet		17 July 2020
verna.20.hdr	(Dynamic (Programming Paradigms)) ;; Performance and Expressivity	Didier Verna		10 July 2020
renkin.20.atva	Practical “Paritizing” of Emerson–Lei Automata	Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet	Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)	7 July 2020
movn.20.cviu	A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation	Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud	Computer Vision and Image Understanding	2 June 2020
renault.20.isse	Improving swarming using genetic algorithms	Etienne Renault	Innovations in Systems and Software Engineering: a NASA journal (ISSE)	2 June 2020
boutry.20.brainles	Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures	Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud	Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019	1 June 2020
vallade.20.sat	Community and LBD-based Clause Sharing Policy for Parallel SAT Solving	Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon	Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)	1 June 2020
pommellet.20.isse	LTL Model Checking for Communicating Concurrent Programs	Adrien Pommellet, Tayssir Touili	Innovations in Systems and Software Engineering: a NASA journal (ISSE)	15 May 2020
blahoudek.20.cav	Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization	František Blahoudek, Alexandre Duret-Lutz, Jan Strejček	Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)	14 May 2020
movn.20.phd	Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms	Minh Ôn Vũ Ngoc		18 February 2020
zhao.19.stacom	A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images	Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud	Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers	7 February 2020
drumetz.20.icassp	Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation	Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet	Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)	24 January 2020
zhao.19.myops	Stacked and parallel U-nets with multi-output for myocardial pathology segmentation	Zhou Zhao, Nicolas Boutry, Elodie Puybareau	Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge	1 January 2020
atlan.20.spie	Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)	Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard	Label-free Biomedical Imaging and Sensing (LBIS) 2020	1 January 2020
verna.19.tug	Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo	Didier Verna	TUGboat	6 November 2019
huynh.19.prl	Connected Filters on Generalized Shape-Spaces	Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud	Pattern Recognition Letters	20 September 2019
poitrenaud.19.icfem	Combining Parallel Emptiness Checks with Partial Order Reductions	Denis Poitrenaud, Etienne Renault	Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)	2 August 2019

Special

Semantic search

Query log