976 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR49 papers
- Technical University of DenmarkDK38 papers
- Aarhus UniversityDK29 papers
- University of CopenhagenDK23 papers
- Tokyo Institute of TechnologyJP19 papers
- University of ManchesterGB18 papers
- École Polytechnique Fédérale de LausanneCH17 papers
- University of OxfordGB16 papers
- Centre de Physique ThéoriqueFR14 papers
- East China Normal UniversityCN14 papers
- IMAR - Institutul de Matematică „Simion Stoilow” al Academiei RomâneRO14 papers
- Imperial College LondonGB14 papers
57 papers · 1 filter
Partout: A Distributed Engine for Efficient RDF Processing
Luis Galárraga, Katja Hose, Ralf Schenkel
The increasing interest in Semantic Web technologies has led not only to a rapid growth of semantic data on the Web but also to an increasing number of backend applications with al…
Parameterized Metatheory for Continuous Markovian Logic
Kim G. Larsen, Radu Mardare, Claus Thrane
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…
Proceedings Quantities in Formal Methods
Uli Fahrenberg, Axel Legay, Claus Thrane
This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th S…
Dimension Correction for Hierarchical Latent Class Models
Tomas Kocka, Nevin Lianwen Zhang
Model complexity is an important factor to consider when selecting among graphical models. When all variables are observed, the complexity of a model can be measured by its standar…
Unconstrained Influence Diagrams
Finn Verner Jensen, Marta Vomlelova
We extend the language of influence diagrams to cope with decision scenarios where the order of decisions and observations is not determined. As the ordering of decisions is depend…
Optical Hall conductivity in bulk and nanostructured graphene beyond the Dirac approximation
Jesper Goor Pedersen, Mikkel H. Brynildsen, Horia D. Cornean +1
We present a perturbative method for calculating the optical Hall conductivity in a tight-binding framework based on the Kubo formalism. The method involves diagonalization only of…
Refinement and Difference for Probabilistic Automata
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen +1
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between…
On Local Optima in Learning Bayesian Networks
Jens D. Nielsen, Tomas Kocka, Jose M. Pena
This paper proposes and evaluates the k-greedy equivalence search algorithm (KES) for learning Bayesian networks (BNs) from complete data. The main characteristic of KES is that it…
Incremental Compilation of Bayesian networks
Julia M. Flores, Jose A. Gamez, Kristian G. Olesen
Most methods of exact probability propagation in Bayesian networks do not carry out the inference directly over the network, but over a secondary structure known as a junction tree…
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Radu Mardare, Luca Cardelli, Kim G. Larsen
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic)…
Time-Darts: A Data Structure for Verification of Closed Timed Automata
Kenneth Y. Jørgensen, Kim G. Larsen, Jiří Srba
Symbolic data structures for model checking timed systems have been subject to a significant research, with Difference Bound Matrices (DBMs) still being the preferred data structur…
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
Alexandre David, Lasse Jacobsen, Morten Jacobsen +1
Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We pres…
Transport in graphene antidot barriers and tunneling devices
Thomas Garm Pedersen, Jesper Goor Pedersen
Periodic arrays of antidots, i.e. nanoscale perforations, in graphene enable tight confinement of carriers and efficient transport barriers. Such barriers evade the Klein tunneling…
Graphene antidot lattice waveguides
Jesper Goor Pedersen, Tue Gunst, Troels Markussen +1
We introduce graphene antidot lattice waveguides: nanostructured graphene where a region of pristine graphene is sandwiched between regions of graphene antidot lattices. The band g…
Memory effects in non-interacting mesoscopic transport
Horia D. Cornean, Arne Jensen, Gheorghe Nenciu
Consider a quantum dot coupled to two semi-infinite one-dimensional leads at thermal equilibrium. We turn on adiabatically a bias between the leads such that there exists exactly o…
Feng-Rao decoding of primary codes
Olav Geil, Ryutaroh Matsumoto, Diego Ruano
We show that the Feng-Rao bound for dual codes and a similar bound by Andersen and Geil [H.E. Andersen and O. Geil, Evaluation codes from order domain theory, Finite Fields Appl.,…
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
Joint Estimation and Contention-Resolution Protocol for Wireless Random Access
Čedomir Stefanović, Kasper F. Trilingsgaard, Nuno K. Pratas +1
We propose a contention-based random-access protocol, designed for wireless networks where the number of users is not a priori known. The protocol operates in rounds divided into e…
Interactive Joint Transfer of Energy and Information
P. Popovski, A. M. Fouladgar, O. Simeone
In some communication networks, such as passive RFID systems, the energy used to transfer information between a sender and a recipient can be reused for successive communication ta…
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…
Composite Design Pattern for Feature Oriented Service Injection and Composition of Web Services for Distributed Computing Systems with Service Oriented Architecture
Vishnuvardhan Mannava, T. Ramesh
With the advent of newly introduced programming models like Feature-Oriented Programming (FOP), we feel that it will be more flexible to include the new service invocation function…
A Parametric Counterexample Refinement Approach for Robust Timed Specifications
Louis-Marie Traonouez
Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to model hardware imprecision and therefore it has been applied to determine implemen…
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
Zheng Wang, Geguang Pu, Shenchao Qin +5
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observe…