Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Pieter Audenaert

Publicaties & datasets

Prijzen & Erkenningen

98 Resultaten

2025

Generating random graphs with prescribed graphlet frequency bounds derived from probabilistic networks

Bram MornieDidier ColleP. AudenaertMario Pickavet

A1 Artikel in een tijdschrift in PLOS ONE

2024

A generator for recursive zip files

Ruben Van MelloP. Audenaert

A1 Artikel in een tijdschrift in APPLIED SCIENCES-BASEL

Mathematical models for robust and collaborative transport optimization

Kenneth StoopMario PickavetP. Audenaert

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

Kenneth StoopMario PickavetDidier ColleP. Audenaert

A1 Artikel in een tijdschrift in NETWORKS & SPATIAL ECONOMICS

The dynamic stochastic container drayage problem with truck appointment scheduling

Kenneth StoopMario PickavetDidier ColleP. Audenaert

A1 Artikel in een tijdschrift in OR SPECTRUM

2023

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

Aranka SteyaertP. AudenaertJan Fostier

A1 Artikel in een tijdschrift 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 ColleP. Audenaert

A1 Artikel in een tijdschrift in INTERNATIONAL JOURNAL OF SHIPPING AND TRANSPORT LOGISTICS

Modelling de Bruijn graphs using conditional random fields

Aranka SteyaertJan FostierP. Audenaert

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

Mehrshad EbadiQuinten BafortEshchar MizrachiP. AudenaertPieter SimoensMarc Van MontaguDries BonteYves Van de Peer

A1 Artikel in een tijdschrift 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 EyndeP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in PLOS ONE

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

Kenneth StoopMario PickavetDidier ColleP. Audenaert

Maximal acyclic subgraph optimization for gene regulatory networks

Kenneth StoopTom MichoelVanessa VermeirssenMario PickavetP. AudenaertDidier Colle

Multilevel clustering in point-to-point fiber network design

Simon Van den EyndeP. AudenaertDidier ColleMario Pickavet

Multilevel clustering in point-to-point fiber network design

Simon Van den EyndeP. AudenaertDidier ColleMario Pickavet

2020

A low-memory alternative for time-dependent Dijkstra

Simon Van den EyndeJeroen VerbruggheP. AudenaertBen DerudderDidier ColleMario Pickavet

A low-memory alternative for time-dependent Dijkstra

Simon Van den EyndeJeroen VerbruggheP. AudenaertBen DerudderDidier ColleMario Pickavet

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

Aranka SteyaertP. AudenaertJan Fostier

A1 Artikel in een tijdschrift in BMC BIOINFORMATICS

2019

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

Aranka SteyaertP. AudenaertJan Fostier

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

Giles MiclotteJan FostierP. Audenaert

Extension of graphlets to larger order and generic graph types

Ine MelckenbeeckMario PickavetP. Audenaert

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

Lingfei WangP. AudenaertTom Michoel

A1 Artikel in een tijdschrift in FRONTIERS IN GENETICS

Iterative seeding for sequence to graph alignment

Giles MiclotteP. AudenaertJan Fostier

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

Yuhui WuP. AudenaertMario PickavetDidier Colle

A1 Artikel in een tijdschrift in PHOTONIC NETWORK COMMUNICATIONS

Optimising orbit counting of arbitrary order by equation selection

Ine MelckenbeeckP. AudenaertThomas Van ParysYves Van de PeerDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in BMC BIOINFORMATICS

Policy-compliant maximum network flows

P. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in APPLIED SCIENCES-BASEL

Regular equivalence for social networks

P. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift 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 NaudtsP. AudenaertBart LannooThierry Vanelslander

A2 Artikel in een tijdschrift in JOURNAL OF SHIPPING AND TRADE

2018

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

Ine MelckenbeeckP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in BIOINFORMATICS

Examining the potential of floating car data for dynamic traffic management

Maarten HoubrakenSteven LoggheP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in IET INTELLIGENT TRANSPORT SYSTEMS

Generating constrained length personalized bicycle tours

Pieter StroobantP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH

Hybrid long read error correction using inexact seeds and flow graphs

Giles MiclotteP. AudenaertJan Fostier

Iterative seeding for sequence to graph alignment

Giles MiclotteP. AudenaertJan Fostier

Netwerkmodellering voor het ontwerp van algoritmes en toepassingen in intelligente transportsystemen

Maarten HoubrakenMario PickavetP. Audenaert

Optimizing the public transport priority at road intersections

Olivier De KeyserMenno HillewaereP. AudenaertBroos Maenhout

A1 Artikel in een tijdschrift in IET INTELLIGENT TRANSPORT SYSTEMS

2017

A Cytoscape app for motif enumeration with ISMAGS

Thomas Van ParysIne MelckenbeeckMaarten HoubrakenP. AudenaertDidier ColleMario PickavetPiet DemeesterYves Van de Peer

A1 Artikel in een tijdschrift in BIOINFORMATICS

Automated incident detection using real-time floating car data

Maarten HoubrakenSteven LoggheMarco SchreuderP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in JOURNAL OF ADVANCED TRANSPORTATION

OMSim : a simulator for optical map data

Giles MiclotteStéphane PlaisanceStephane RombautsYves Van de PeerP. AudenaertJan Fostier

A1 Artikel in een tijdschrift in BIOINFORMATICS

Optimal equation selection for graphlet counting

Ine MelckenbeeckP. 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 Artikel in een tijdschrift in IEEE NETWORK

2016

An algorithm to automatically generate the combinatorial orbit counting equations

Ine MelckenbeeckP. AudenaertTom MichoelDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in PLOS ONE

Jabba: hybrid error correction for long sequencing reads

Giles MiclotteMahdi HeydariPiet DemeesterStephane RombautsYves Van de PeerP. AudenaertJan Fostier

A1 Artikel in een tijdschrift in ALGORITHMS FOR MOLECULAR BIOLOGY

OMSim: simulating optical mapping data

Giles MiclotteP. AudenaertJan Fostier

2015

An evaluation of section control based on floating car data

Mario VanlommelMaarten HoubrakenP. AudenaertSteven LoggheMario PickavetPhilippe De Maeyer

A1 Artikel in een tijdschrift in TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES

BLSSpeller : exhaustive comparative discovery of conserved cis-regulatory elements

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

A1 Artikel in een tijdschrift in BIOINFORMATICS

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

Giles MiclotteMahdi HeydariPiet DemeesterP. AudenaertJan Fostier

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

Giles MiclotteMahdi HeydariPiet DemeesterP. AudenaertJan Fostier

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

Maarten HoubrakenP. AudenaertDidier ColleMario PickavetK ScheerlinckI YpermanS Logghe

2014

A parallel, distributed-memory framework for comparative motif discovery

Dieter De WitteMichiel Van BelP. AudenaertPiet DemeesterBart DhoedtKlaas VandepoeleJan Fostier

Dynamic and stochastic routing for multimodal transportation systems

Sofie DemeyerP. AudenaertMario PickavetPiet Demeester

A1 Artikel in een tijdschrift in IET INTELLIGENT TRANSPORT SYSTEMS

In-memory, distributed content-based recommender system

Simon DoomsP. AudenaertJan FostierToon De PessemierLuc Martens

A1 Artikel in een tijdschrift in JOURNAL OF INTELLIGENT INFORMATION SYSTEMS

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

Maarten HoubrakenP. AudenaertMario Pickavet

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

Maarten HoubrakenSofie DemeyerTom MichoelP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in PLOS ONE

2013

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

Maarten HoubrakenThijs WalcariusSofie DemeyerP. AudenaertDidier ColleMario PickavetPiet Demeester

Comparative motif discovery in the cloud

Dieter De WitteJan Van de VeldeMichiel Van BelP. AudenaertPiet DemeesterBart DhoedtKlaas VandepoeleJan Fostier

Fault tolerant network design inspired by Physarum polycephalum

Maarten HoubrakenSofie DemeyerDimitri StaessensP. AudenaertDidier ColleMario Pickavet

A1 Artikel in een tijdschrift in NATURAL COMPUTING

Geometric information routing

Dimitrios PapadimitriouDidier ColleP. AudenaertPiet Demeester

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

P. AudenaertDidier ColleMario PickavetPiet Demeester

Innovative algorithms for the planning and routing of multimodal transportation

Sofie DemeyerMario PickavetP. Audenaert

Modeling real-world vehicle routing problems with dependencies

Thijs WalcariusMaarten HoubrakenP. AudenaertMario PickavetPiet Demeester

Speeding up Martins' algorithm for multiple objective shortest path problems

Sofie DemeyerJan GoedgebeurP. AudenaertMario PickavetPiet Demeester

A1 Artikel in een tijdschrift in 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH

Tackling traffic congestion: modelling, analysis & prediction

Maarten HoubrakenMario PickavetP. Audenaert

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

Sofie DemeyerTom MichoelJan FostierP. AudenaertMario PickavetPiet Demeester

A1 Artikel in een tijdschrift in PLOS ONE

Using contraction hierarchies to find dissimilar paths in transportation networks

Sofie DemeyerMaarten HoubrakenThijs WalcariusP. AudenaertDidier ColleMario PickavetPiet Demeester

2012

Efficient routing with multiple route planners

Thijs WalcariusDidier ColleP. Audenaert

On determining the shortest path through a number of intermediate points

Sofie DemeyerP. AudenaertMario Pickavet

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

Sofie DemeyerP. AudenaertS LoggheMario PickavetPiet Demeester

Time-dependent stochastic routing: a practical implementation

Sofie DemeyerP. AudenaertMario Pickavet

2011

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

P. AudenaertThomas Van ParysFlorian BrondelMario PickavetPiet DemeesterYves Van de PeerTom Michoel

A1 Artikel in een tijdschrift in BIOINFORMATICS

2010

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

Sofie DemeyerJan GoedgebeurP. AudenaertMario PickavetPiet Demeester

2009

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

Mario PickavetWillem VereeckenSofie DemeyerP. AudenaertDidier ColleChris DevelderPiet Demeester

2008

Energy efficiency of ICT

Mario PickavetRuth Van CaenegemSofie DemeyerP. AudenaertBrecht VermeulenDidier ColleBart DhoedtPiet Demeester

Energy footprint of ICT: future outlook and challenges

Mario PickavetWillem VereeckenSofie DemeyerP. AudenaertDidier ColleBart DhoedtPiet Demeester

Innovative ICT solutions for the routing and planning of multimodal transportation

Sofie DemeyerP. AudenaertMario Pickavet

Multimodal transport planning in a dynamic environment

Sofie DemeyerP. AudenaertBart SlockMario PickavetPiet Demeester

Survivability over multiple GMPLS domains

Dimitri StaessensP. AudenaertDidier ColleIlse LievensMario PickavetPiet Demeester

The Higher-Order-Logic Formath

A1 Artikel in een tijdschrift in BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN

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

Mario PickavetWillem VereeckenSofie DemeyerP. AudenaertBrecht VermeulenChris DevelderDidier ColleBart DhoedtPiet Demeester

2007

Energy footprint of ICT

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

2006

ILP for reliability of multidomain optical links

P. AudenaertDimitri StaessensDidier ColleMario PickavetPiet Demeester

Next generation optical scientific network

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

Optimizing reliable multidomain optical routing

Mario PickavetP. AudenaertJeroen VanhaverbekeDimitri StaessensDidier CollePiet Demeester

Providing survivable interdomain connections over an optical backbone network

Dimitri StaessensP. 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ÉP. AudenaertDidier ColleIlse LievensMario PickavetPiet Demeester

2005

Formath: higher-order logic revised

Albert HoogewijsP. Audenaert

A2 Artikel in een tijdschrift 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 LievensP. AudenaertJ TORREELEPiet Demeester

Techno-economical optimizations in optical backbone networks

Koen CasierSofie VerbruggeL DEPRÉP. AudenaertDidier ColleMario PickavetPiet Demeester

2004

Combinatory logic, a bridge to verified programs

Albert HoogewijsP. Audenaert

A2 Artikel in een tijdschrift in THE BULLETIN OF SYMBOLIC LOGIC

Formath: Higher-order logic revised

Albert HoogewijsP. Audenaert

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

P. AudenaertAlbert Hoogewijs

2003

Combinatory logic, a bridge to verified programs

Albert HoogewijsP. Audenaert

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

Albert HoogewijsP. Audenaert

A2 Artikel in een tijdschrift in THE BULLETIN OF SYMBOLIC LOGIC

Verifying Alfred-code in PVS

2002

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

Albert HoogewijsP. Audenaert

A2 Artikel in een tijdschrift in THE BULLETIN OF SYMBOLIC LOGIC

Higher-order partial predicates in PVS

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

Albert HoogewijsP. Audenaert

2001

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

P. AudenaertAlbert Hoogewijs

A2 Artikel in een tijdschrift in Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51

Toward a Verified Generic Prooftool

2000

Memory modeling in PVS