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=10
 |offset=10
 |sort= News date
 |order= descending
 |mainlabel=
 |template= PublicationRow
 |introtemplate= PublicationRowIntro
 |outrotemplate= PublicationRowOutro
 |sep=
}}

Results 11 – 20 previous 10 20 50 100 250 500 next 10

JSON CSV RSS RDF

Query log

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

	Title	Authors	Published in	Date
kheireddine.22.apsec	Tuning SAT Solvers for LTL Model Checking	Anissa Kheireddine, Étienne Renault, Souheib Baarir	Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)	9 December 2022
kheireddine.22.constraints	Towards Better Heuristics for Solving Bounded Model Checking Problems	Anissa Kheireddine, Étienne Renault, Souheib Baarir	Constraints	9 December 2022
renault.22.sttt	Go2Pins: A framework for the LTL verification of Go programs (Extended Version)	Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau	International Journal on Software Tools for Technology Transfer (STTT)	9 December 2022
abate.22.lites	Introduction to the Special Issue on Distributed Hybrid Systems	Alessandro Abate, Uli Fahrenberg, FränzleMartin	Leibniz Transactions on Embedded Systems	8 December 2022
fahrenberg.22.lites	Higher-Dimensional Timed and Hybrid Automata	Uli Fahrenberg	Leibniz Transactions on Embedded Systems	8 December 2022
saouli.23.vmcai	CosySEL: Improving SAT Solving Using Local Symmetries	S Saouli, S Baarir, C Dutheillet, J Devriendt	24th International Conference on Verification, Model Checking, and Abstract Interpretation	8 December 2022
dziadek.23.fm	Energy Problems in Finite and Timed Automata with Büchi Conditions	Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier	International Symposium on Formal Methods (FM)	8 December 2022
vallade.22.setta	Diversifying a Parallel SAT Solver with Bayesian Moment Matching	V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir	Symposium on Dependable Software Engineering TheoriesTools and Applications	8 December 2022
movn.22.pr	The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images	Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud	Pattern Recognition	3 December 2022
fahrenberg.22.scp	Featured Games	Uli Fahrenberg, Axel Legay	Science of Computer Programming	1 November 2022

Special

Semantic search

Query log