Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Pieter Audenaert

Awards & Distinctions

95 Results

2024

Mathematical Models for Robust and Collaborative Transport Optimization

Kenneth StoopMario PickavetPieter Audenaert

Selective backhauls in truck transport with risk mitigation : large Belgian retailer case study

Kenneth StoopMario PickavetDidier CollePieter Audenaert

A1 Journal Article in NETWORKS & SPATIAL ECONOMICS

2023

Improved node and arc multiplicity estimation in de Bruijn graphs using approximate inference in conditional random fields

Aranka SteyaertPieter AudenaertJan Fostier

A1 Journal Article in IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

Large scale simulation of a real-time collaborative system for container trucks in the Port of Antwerp

Kenneth StoopMario PickavetDidier CollePieter Audenaert

U Journal Article in INTERNATIONAL JOURNAL OF SHIPPING AND TRANSPORT LOGISTICS

Modelling de Bruijn graphs using conditional random fields

Aranka SteyaertJan FostierPieter Audenaert

The duplication of genomes and genetic networks and its potential for evolutionary adaptation and survival during environmental turmoil

Mehrshad EbadiQuinten BafortEshchar MizrachiPieter AudenaertPieter SimoensMarc Van MontaguDries BonteYves Van de Peer

A1 Journal Article in PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

2022

A construction heuristic for the capacitated Steiner tree problem

Simon Van den EyndePieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in PLOS ONE

A real-time collaborative system for container trucks In the port of antwerp : a large scale simulation

Kenneth StoopMario PickavetDidier CollePieter Audenaert

Maximal acyclic subgraph optimization for gene regulatory networks

Kenneth StoopTom MichoelVanessa VermeirssenMario PickavetPieter AudenaertDidier Colle

Multilevel clustering in point-to-point fiber network design

Simon Van den EyndePieter AudenaertDidier ColleMario Pickavet

Multilevel clustering in point-to-point fiber network design

Simon Van den EyndePieter AudenaertDidier ColleMario Pickavet

2020

A low-memory alternative for time-dependent Dijkstra

Simon Van den EyndeJeroen VerbrugghePieter AudenaertBen DerudderDidier ColleMario Pickavet

A low-memory alternative for time-dependent Dijkstra

Simon Van den EyndeJeroen VerbrugghePieter AudenaertBen DerudderDidier ColleMario Pickavet

Accurate determination of node and arc multiplicities in de bruijn graphs using conditional random fields

Aranka SteyaertPieter AudenaertJan Fostier

A1 Journal Article in BMC BIOINFORMATICS

2019

Accurate determination of node and arc multiplicities in de Bruijn graphs using conditional random fields

Aranka SteyaertPieter AudenaertJan Fostier

Correction of third generation sequencing reads through read-to-graph alignment

Giles MiclotteJan FostierPieter Audenaert

Extension of graphlets to larger order and generic graph types

Ine MelckenbeeckMario PickavetPieter Audenaert

High-dimensional Bayesian network inference from systems genetics data using genetic node ordering

Lingfei WangPieter AudenaertTom Michoel

A1 Journal Article in FRONTIERS IN GENETICS

Iterative seeding for sequence to graph alignment

Giles MiclottePieter AudenaertJan Fostier

Mirror-aided non-LOS VLC channel characterizations with a time-efficient simulation model

Yuhui WuPieter AudenaertMario PickavetDidier Colle

A1 Journal Article in PHOTONIC NETWORK COMMUNICATIONS

Optimising orbit counting of arbitrary order by equation selection

Ine MelckenbeeckPieter AudenaertThomas Van ParysYves Van de PeerDidier ColleMario Pickavet

A1 Journal Article in BMC BIOINFORMATICS

Policy-compliant maximum network flows

Pieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in APPLIED SCIENCES-BASEL

Regular equivalence for social networks

Pieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in APPLIED SCIENCES-BASEL

Toward implementing a fully automated truck guidance system at a seaport: identifying the roles, costs and benefits of logistics stakeholders

Valentin CarlanDries NaudtsPieter AudenaertBart LannooThierry Vanelslander

A2 Journal Article in JOURNAL OF SHIPPING AND TRADE

2018

Efficiently counting all orbits of graphlets of any order in a graph using autogenerated equations

Ine MelckenbeeckPieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in BIOINFORMATICS

Examining the potential of floating car data for dynamic traffic management

Maarten HoubrakenSteven LogghePieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in IET INTELLIGENT TRANSPORT SYSTEMS

Generating constrained length personalized bicycle tours

Pieter StroobantPieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH

Hybrid long read error correction using inexact seeds and flow graphs

Giles MiclottePieter AudenaertJan Fostier

Iterative seeding for sequence to graph alignment

Giles MiclottePieter AudenaertJan Fostier

Netwerkmodellering voor het ontwerp van algoritmes en toepassingen in intelligente transportsystemen

Maarten HoubrakenMario PickavetPieter Audenaert

Optimizing the public transport priority at road intersections

Olivier De KeyserMenno HillewaerePieter AudenaertBroos Maenhout

A1 Journal Article in IET INTELLIGENT TRANSPORT SYSTEMS

2017

A Cytoscape app for motif enumeration with ISMAGS

Thomas Van ParysIne MelckenbeeckMaarten HoubrakenPieter AudenaertDidier ColleMario PickavetPiet DemeesterYves Van de Peer

A1 Journal Article in BIOINFORMATICS

Automated incident detection using real-time floating car data

Maarten HoubrakenSteven LoggheMarco SchreuderPieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in JOURNAL OF ADVANCED TRANSPORTATION

OMSim : a simulator for optical map data

Giles MiclotteStéphane PlaisanceStephane RombautsYves Van de PeerPieter AudenaertJan Fostier

A1 Journal Article in BIOINFORMATICS

Optimal equation selection for graphlet counting

Ine MelckenbeeckPieter AudenaertMario PickavetDidier CollePiet Demeester

Routing at large scale : advances and challenges for complex networks

Sahel SahhafWouter TavernierDimitrios PapadimitriouDavide CareglioAlok KumarChristian GlacetDavid CoudertNicolas NisseLluis FabregaPere Vila et al.

A1 Journal Article in IEEE NETWORK

2016

An algorithm to automatically generate the combinatorial orbit counting equations

Ine MelckenbeeckPieter AudenaertTom MichoelDidier ColleMario Pickavet

A1 Journal Article in PLOS ONE

Jabba: hybrid error correction for long sequencing reads

Giles MiclotteMahdi HeydariPiet DemeesterStephane RombautsYves Van de PeerPieter AudenaertJan Fostier

A1 Journal Article in ALGORITHMS FOR MOLECULAR BIOLOGY

OMSim: simulating optical mapping data

Giles MiclottePieter AudenaertJan Fostier

2015

An evaluation of section control based on floating car data

Mario VanlommelMaarten HoubrakenPieter AudenaertSteven LoggheMario PickavetPhilippe De Maeyer

A1 Journal Article in TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES

BLSSpeller : exhaustive comparative discovery of conserved cis-regulatory elements

Dieter De WitteJan Van de VeldeDries DecapMichiel Van BelPieter AudenaertPiet DemeesterBart DhoedtKlaas VandepoeleJan Fostier

A1 Journal Article in BIOINFORMATICS

Jabba: Hybrid error correction of long sequencing reads (outstanding presentation award)

Giles MiclotteMahdi HeydariPiet DemeesterPieter AudenaertJan Fostier

Jabba: hybrid error correction for long sequencing reads using maximal exact matches

Giles MiclotteMahdi HeydariPiet DemeesterPieter AudenaertJan Fostier

Real-time traffic monitoring by fusing floating car data with stationary detector data

Maarten HoubrakenPieter AudenaertDidier ColleMario PickavetK ScheerlinckI YpermanS Logghe

2014

A parallel, distributed-memory framework for comparative motif discovery

Dieter De WitteMichiel Van BelPieter AudenaertPiet DemeesterBart DhoedtKlaas VandepoeleJan Fostier

Dynamic and stochastic routing for multimodal transportation systems

Sofie DemeyerPieter AudenaertMario PickavetPiet Demeester

A1 Journal Article in IET INTELLIGENT TRANSPORT SYSTEMS

ISMAGS : speeding up subgraph enumeration using dynamic node ordering and symmetry analysis

Maarten HoubrakenPieter AudenaertMario Pickavet

In-memory, distributed content-based recommender system

Simon DoomsPieter AudenaertJan FostierToon De PessemierLuc Martens

A1 Journal Article in JOURNAL OF INTELLIGENT INFORMATION SYSTEMS

The index-based subgraph matching algorithm with general symmetries (ISMAGS): exploiting symmetry for faster subgraph enumeration

Maarten HoubrakenSofie DemeyerTom MichoelPieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in PLOS ONE

2013

An insertion-based heuristic for the constrained pickup and delivery problem

Maarten HoubrakenThijs WalcariusSofie DemeyerPieter AudenaertDidier ColleMario PickavetPiet Demeester

Comparative motif discovery in the cloud

Dieter De WitteJan Van de VeldeMichiel Van BelPieter AudenaertPiet DemeesterBart DhoedtKlaas VandepoeleJan Fostier

Fault tolerant network design inspired by Physarum polycephalum

Maarten HoubrakenSofie DemeyerDimitri StaessensPieter AudenaertDidier ColleMario Pickavet

A1 Journal Article in NATURAL COMPUTING

Geometric information routing

Dimitrios PapadimitriouDidier CollePieter AudenaertPiet Demeester

Improved execution times by specialized data-structures and algorithms for scheduling problems

Pieter AudenaertDidier ColleMario PickavetPiet Demeester

Innovative algorithms for the planning and routing of multimodal transportation

Sofie DemeyerMario PickavetPieter Audenaert

Modeling real-world vehicle routing problems with dependencies

Thijs WalcariusMaarten HoubrakenPieter AudenaertMario PickavetPiet Demeester

Speeding up Martins' algorithm for multiple objective shortest path problems

Sofie DemeyerJan GoedgebeurPieter AudenaertMario PickavetPiet Demeester

A1 Journal Article in 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH

Tackling traffic congestion: modelling, analysis & prediction

Maarten HoubrakenMario PickavetPieter Audenaert

The index-based subgraph matching algorithm (ISMA): fast subgraph enumeration in large networks using optimized search trees

Sofie DemeyerTom MichoelJan FostierPieter AudenaertMario PickavetPiet Demeester

A1 Journal Article in PLOS ONE

Using contraction hierarchies to find dissimilar paths in transportation networks

Sofie DemeyerMaarten HoubrakenThijs WalcariusPieter AudenaertDidier ColleMario PickavetPiet Demeester

2012

Efficient routing with multiple route planners

Thijs WalcariusDidier CollePieter Audenaert

On determining the shortest path through a number of intermediate points

Sofie DemeyerPieter AudenaertMario Pickavet

Practical time-dependent and stochastic routing with historical measurements of travel times

Sofie DemeyerPieter AudenaertS LoggheMario PickavetPiet Demeester

Time-dependent stochastic routing: a practical implementation

Sofie DemeyerPieter AudenaertMario Pickavet

2011

CyClus3D: a Cytoscape plugin for clustering network motifs in integrated networks

Pieter AudenaertThomas Van ParysFlorian BrondelMario PickavetPiet DemeesterYves Van de PeerTom Michoel

A1 Journal Article in BIOINFORMATICS

2010

The predecessor and the accounting algorithm speed up shortest path calculations in traffic routing applications

Sofie DemeyerJan GoedgebeurPieter AudenaertMario PickavetPiet Demeester

2009

Contribution and role of network architectures in the footprint reduction of ICT

Mario PickavetWillem VereeckenSofie DemeyerPieter AudenaertDidier ColleChris DevelderPiet Demeester

2008

Energy efficiency of ICT

Mario PickavetRuth Van CaenegemSofie DemeyerPieter AudenaertBrecht VermeulenDidier ColleBart DhoedtPiet Demeester

Energy footprint of ICT: future outlook and challenges

Mario PickavetWillem VereeckenSofie DemeyerPieter AudenaertDidier ColleBart DhoedtPiet Demeester

Innovative ICT solutions for the routing and planning of multimodal transportation

Sofie DemeyerPieter AudenaertMario Pickavet

Multimodal transport planning in a dynamic environment

Sofie DemeyerPieter AudenaertBart SlockMario PickavetPiet Demeester

Survivability over multiple GMPLS domains

Dimitri StaessensPieter AudenaertDidier ColleIlse LievensMario PickavetPiet Demeester

The Higher-Order-Logic Formath

Pieter Audenaert

A1 Journal Article in BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN

Worldwide energy needs for ICT: the rise of power-aware networking

Mario PickavetWillem VereeckenSofie DemeyerPieter AudenaertBrecht VermeulenChris DevelderDidier ColleBart DhoedtPiet Demeester

2007

Energy footprint of ICT

Mario PickavetRuth Van CaenegemSofie DemeyerPieter AudenaertDidier CollePiet DemeesterHans-Martin FoiselMonika JaegerRalph LepplaAndreas Gladisch

2006

ILP for reliability of multidomain optical links

Pieter AudenaertDimitri StaessensDidier ColleMario PickavetPiet Demeester

Next generation optical scientific network

Pieter AudenaertSofie VerbruggeL DepréDidier ColleIlse LievensMario PickavetPiet DemeesterW DerijnckP Van HeckeJ Valcke et al.

Optimizing reliable multidomain optical routing

Mario PickavetPieter AudenaertJeroen VanhaverbekeDimitri StaessensDidier CollePiet Demeester

Providing survivable interdomain connections over an optical backbone network

Dimitri StaessensPieter AudenaertDidier ColleIlse LievensMario PickavetPiet Demeester

Techno-economic concepts and techniques used for strategic planning of optical telecommunication networks (invited paper)

Sofie VerbruggeJan Van OoteghemKoen CasierL DEPRÉPieter AudenaertDidier ColleIlse LievensMario PickavetPiet Demeester

2005

Formath: higher-order logic revised

Albert HoogewijsPieter Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Planning of transmission infrastructure to support next generation BELNET network

Sofie VerbruggeW DERIJNCKL DEPRÉP VAN HECKEDidier ColleJ VALCKEIlse LievensPieter AudenaertJ TORREELEPiet Demeester

Techno-economical optimizations in optical backbone networks

Koen CasierSofie VerbruggeL DEPRÉPieter AudenaertDidier ColleMario PickavetPiet Demeester

2004

Combinatory logic, a bridge to verified programs

Albert HoogewijsPieter Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Formath: Higher-order logic revised

Albert HoogewijsPieter Audenaert

Specificatie en verificatie van functionele programmatuur in hogere-orde-logica / Pieter Audenaert.

Pieter AudenaertAlbert Hoogewijs

2003

Combinatory logic, a bridge to verified programs

Albert HoogewijsPieter Audenaert

Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic

Albert HoogewijsPieter Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Verifying Alfred-code in PVS

Pieter Audenaert

2002

A pvs-proof for a memory modeling problem is a proof?

Albert HoogewijsPieter Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Higher-order partial predicates in PVS

Pieter Audenaert

Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic

Albert HoogewijsPieter Audenaert

2001

A PVS-Proof for a Memory Modeling Problem is a Proof!

Pieter AudenaertAlbert Hoogewijs

A2 Journal Article in Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51

Toward a Verified Generic Prooftool

Pieter Audenaert

2000

Memory modeling in PVS

Pieter Audenaert