<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Verification column

Name: Verification column
Creator: Ranko Lazić

descriptionPublicationkeyboard_double_arrow_right Article , Other literature type 30 Apr 2018Publisher:Association for Computing Machinery (ACM)Journal:ACM SIGLOG News, volume 7, pages 3-3 (eissn: 2372-3491,

Authors: Ranko Lazić;

doi: 10.1145/3397619.3397620 , 10.1145/3584676.3584681 , 10.1145/3313909.3313912 , 10.1145/3212019.3212024 , 10.1145/3326938.3326941 , 10.1145/3242953.3242963 , 10.1145/3583660.3583665 , 10.1145/3458593.3458594 , 10.1145/3373394.3373395 , 10.1145/3527372.3527373 , 10.1145/3292048.3292051 , 10.1145/3436980.3436983 , 10.1145/3467001.3467002 , 10.1145/3385634.3385637 , 10.1145/3527540.3527541 , 10.1145/3477986.3477987

Verification column

- Summary
- Metrics

Abstract

This quarter we have an expert introduction and survey about verification motivated problems on weighted automata, with max-plus and cost register models in focus. Starting gently, and by means of examples, we are quickly led to the state of the art.

Related Organizations

University of Warwick
United Kingdom

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Related to Research communities

EUTOPIA Open Research Portal

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!