Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
decomposition
Papers
Title Overlapping Communities Discovery and Improvement
Rong Yang
In
:
Proceedings of 38th International Conference on Computers and Their Applications
Extended formulations for the min-max-min problem with few recourse solutions
Marco Silva
,
Ayse Nur Arslan
and
Michael Poss
EasyChair Preprint no. 2493
Coordinated railway traffic rescheduling with the Resource Conflict Graph model
Ambra Toletti
,
Marco Laumanns
and
Ulrich Weidmann
EasyChair Preprint no. 884
Compositional Verification of Security Properties for Embedded Execution Platforms
Christoph Baumann
,
Oliver Schwarz
and
Mads Dam
In
:
PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Copyright © 2012-2023 easychair.org. All rights reserved.