Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Contact
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
Profiel
Projecten
Publicaties
Activiteiten
87
Resultaten
2022
A construction heuristic for the capacitated Steiner tree problem
Simon Van den Eynde
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
PLOS ONE
2022
A real-time collaborative system For container trucks In the port of antwerp : a large scale simulation
Kenneth Stoop
Mario Pickavet
Didier Colle
Pieter Audenaert
C1
Conferentie
2022
Maximal acyclic subgraph optimization for gene regulatory networks
Kenneth Stoop
Tom Michoel
Vanessa Vermeirssen
Mario Pickavet
Pieter Audenaert
Didier Colle
C3
Conferentie
2022
Multilevel clustering in point-to-point fiber network design
Simon Van den Eynde
Pieter Audenaert
Didier Colle
Mario Pickavet
U
Conferentie
2022
2020
A low-memory alternative for time-dependent Dijkstra
Simon Van den Eynde
Pieter Audenaert
Ben Derudder
Didier Colle
Mario Pickavet
P1
Conferentie
2020
A low-memory alternative for time-dependent Dijkstra
Simon Van den Eynde
Pieter Audenaert
Ben Derudder
Didier Colle
Mario Pickavet
C3
Conferentie
2020
Accurate determination of node and arc multiplicities in de bruijn graphs using conditional random fields
Aranka Steyaert
Pieter Audenaert
Jan Fostier
A1
Artikel in een tijdschrift
in
BMC BIOINFORMATICS
2020
2019
Accurate determination of node and arc multiplicities in de Bruijn graphs using conditional random fields
Aranka Steyaert
Pieter Audenaert
Jan Fostier
C3
Conferentie
2019
Correction of third generation sequencing reads through read-to-graph alignment
Giles Miclotte
Jan Fostier
Pieter Audenaert
Proefschrift
2019
Extension of graphlets to larger order and generic graph types
Ine Melckenbeeck
Mario Pickavet
Pieter Audenaert
Proefschrift
2019
High-dimensional Bayesian network inference from systems genetics data using genetic node ordering
Pieter Audenaert
Tom Michoel
A1
Artikel in een tijdschrift
in
FRONTIERS IN GENETICS
2019
Iterative seeding for sequence to graph alignment
Giles Miclotte
Pieter Audenaert
Jan Fostier
C3
Conferentie
2019
Mirror-aided non-LOS VLC channel characterizations with a time-efficient simulation model
Yuhui Wu
Pieter Audenaert
Mario Pickavet
Didier Colle
A1
Artikel in een tijdschrift
in
PHOTONIC NETWORK COMMUNICATIONS
2019
Optimising orbit counting of arbitrary order by equation selection
Ine Melckenbeeck
Pieter Audenaert
Thomas Van Parys
Yves Van de Peer
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
BMC BIOINFORMATICS
2019
Policy-compliant maximum network flows
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
APPLIED SCIENCES-BASEL
2019
Regular equivalence for social networks
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
APPLIED SCIENCES-BASEL
2019
Toward implementing a fully automated truck guidance system at a seaport: identifying the roles, costs and benefits of logistics stakeholders
Dries Naudts
Pieter Audenaert
Bart Lannoo
A2
Artikel in een tijdschrift
in
JOURNAL OF SHIPPING AND TRADE
2019
2018
Efficiently counting all orbits of graphlets of any order in a graph using autogenerated equations
Ine Melckenbeeck
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
BIOINFORMATICS
2018
Examining the potential of floating car data for dynamic traffic management
Maarten Houbraken
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
IET INTELLIGENT TRANSPORT SYSTEMS
2018
Generating constrained length personalized bicycle tours
Pieter Stroobant
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH
2018
Hybrid long read error correction using inexact seeds and flow graphs
Giles Miclotte
Pieter Audenaert
Jan Fostier
C3
Conferentie
2018
Iterative seeding for sequence to graph alignment
Giles Miclotte
Pieter Audenaert
Jan Fostier
C3
Conferentie
2018
Netwerkmodellering voor het ontwerp van algoritmes en toepassingen in intelligente transportsystemen
Maarten Houbraken
Mario Pickavet
Pieter Audenaert
Proefschrift
2018
Optimizing the public transport priority at road intersections
Pieter Audenaert
Broos Maenhout
A1
Artikel in een tijdschrift
in
IET INTELLIGENT TRANSPORT SYSTEMS
2018
2017
A Cytoscape app for motif enumeration with ISMAGS
Thomas Van Parys
Ine Melckenbeeck
Maarten Houbraken
Pieter Audenaert
Didier Colle
Mario Pickavet
Piet Demeester
Yves Van de Peer
A1
Artikel in een tijdschrift
in
BIOINFORMATICS
2017
Automated incident detection using real-time floating car data
Maarten Houbraken
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
JOURNAL OF ADVANCED TRANSPORTATION
2017
OMSim : a simulator for optical map data
Giles Miclotte
Stéphane Plaisance
Stephane Rombauts
Yves Van de Peer
Pieter Audenaert
Jan Fostier
A1
Artikel in een tijdschrift
in
BIOINFORMATICS
2017
Optimal equation selection for graphlet counting
Ine Melckenbeeck
Pieter Audenaert
Mario Pickavet
Didier Colle
Piet Demeester
C3
Conferentie
2017
Routing at large scale : advances and challenges for complex networks
Wouter Tavernier
Dimitrios Papadimitriou
Pieter Audenaert
Didier Colle
Piet Demeester
A1
Artikel in een tijdschrift
in
IEEE NETWORK
2017
2016
An algorithm to automatically generate the combinatorial orbit counting equations
Ine Melckenbeeck
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
PLOS ONE
2016
Jabba: hybrid error correction for long sequencing reads
Giles Miclotte
Mahdi Heydari
Piet Demeester
Stephane Rombauts
Yves Van de Peer
Pieter Audenaert
Jan Fostier
A1
Artikel in een tijdschrift
in
ALGORITHMS FOR MOLECULAR BIOLOGY
2016
OMSim: simulating optical mapping data
Giles Miclotte
Pieter Audenaert
Jan Fostier
C3
Conferentie
2016
2015
An evaluation of section control based on floating car data
Mario Vanlommel
Maarten Houbraken
Pieter Audenaert
Mario Pickavet
Philippe De Maeyer
A1
Artikel in een tijdschrift
in
TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES
2015
BLSSpeller : exhaustive comparative discovery of conserved cis-regulatory elements
Dieter De Witte
Jan Van de Velde
Dries Decap
Michiel Van Bel
Pieter Audenaert
Piet Demeester
Bart Dhoedt
Klaas Vandepoele
Jan Fostier
A1
Artikel in een tijdschrift
in
BIOINFORMATICS
2015
Jabba: Hybrid error correction of long sequencing reads (outstanding presentation award)
Giles Miclotte
Mahdi Heydari
Piet Demeester
Pieter Audenaert
Jan Fostier
C3
Conferentie
2015
Jabba: hybrid error correction for long sequencing reads using maximal exact matches
Giles Miclotte
Mahdi Heydari
Piet Demeester
Pieter Audenaert
Jan Fostier
P1
Conferentie
2015
Real-time traffic monitoring by fusing floating car data with stationary detector data
Maarten Houbraken
Pieter Audenaert
Didier Colle
Mario Pickavet
P1
Conferentie
2015
2014
A parallel, distributed-memory framework for comparative motif discovery
Dieter De Witte
Michiel Van Bel
Pieter Audenaert
Piet Demeester
Bart Dhoedt
Klaas Vandepoele
Jan Fostier
P1
Conferentie
2014
Dynamic and stochastic routing for multimodal transportation systems
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
Piet Demeester
A1
Artikel in een tijdschrift
in
IET INTELLIGENT TRANSPORT SYSTEMS
2014
In-memory, distributed content-based recommender system
Simon Dooms
Pieter Audenaert
Jan Fostier
Toon De Pessemier
Luc Martens
A1
Artikel in een tijdschrift
in
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
2014
The index-based subgraph matching algorithm with general symmetries (ISMAGS): exploiting symmetry for faster subgraph enumeration
Maarten Houbraken
Sofie Demeyer
Tom Michoel
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
PLOS ONE
2014
2013
An insertion-based heuristic for the constrained pickup and delivery problem
Maarten Houbraken
Thijs Walcarius
Sofie Demeyer
Pieter Audenaert
Didier Colle
Mario Pickavet
Piet Demeester
C3
Conferentie
2013
Comparative motif discovery in the cloud
Dieter De Witte
Jan Van de Velde
Michiel Van Bel
Pieter Audenaert
Piet Demeester
Bart Dhoedt
Klaas Vandepoele
Jan Fostier
C3
Conferentie
2013
Fault tolerant network design inspired by Physarum polycephalum
Maarten Houbraken
Sofie Demeyer
Dimitri Staessens
Pieter Audenaert
Didier Colle
Mario Pickavet
A1
Artikel in een tijdschrift
in
NATURAL COMPUTING
2013
Geometric information routing
Dimitrios Papadimitriou
Didier Colle
Pieter Audenaert
Piet Demeester
C3
Conferentie
2013
Improved execution times by specialized data-structures and algorithms for scheduling problems
Pieter Audenaert
Didier Colle
Mario Pickavet
Piet Demeester
C3
Conferentie
2013
Innovative algorithms for the planning and routing of multimodal transportation
Sofie Demeyer
Mario Pickavet
Pieter Audenaert
Proefschrift
2013
Modeling real-world vehicle routing problems with dependencies
Thijs Walcarius
Maarten Houbraken
Pieter Audenaert
Mario Pickavet
Piet Demeester
C1
Conferentie
2013
Speeding up Martins' algorithm for multiple objective shortest path problems
Sofie Demeyer
Jan Goedgebeur
Pieter Audenaert
Mario Pickavet
Piet Demeester
A1
Artikel in een tijdschrift
in
4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH
2013
Tackling traffic congestion: modelling, analysis & prediction
Maarten Houbraken
Mario Pickavet
Pieter Audenaert
C3
Conferentie
2013
The index-based subgraph matching algorithm (ISMA): fast subgraph enumeration in large networks using optimized search trees
Sofie Demeyer
Jan Fostier
Pieter Audenaert
Mario Pickavet
Piet Demeester
A1
Artikel in een tijdschrift
in
PLOS ONE
2013
Using contraction hierarchies to find dissimilar paths in transportation networks
Sofie Demeyer
Maarten Houbraken
Thijs Walcarius
Pieter Audenaert
Didier Colle
Mario Pickavet
Piet Demeester
C3
Conferentie
2013
2012
Efficient routing with multiple route planners
Thijs Walcarius
Didier Colle
Pieter Audenaert
C3
Conferentie
2012
On determining the shortest path through a number of intermediate points
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
C3
Conferentie
2012
Practical time-dependent and stochastic routing with historical measurements of travel times
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
Piet Demeester
C1
Conferentie
2012
Time-dependent stochastic routing: a practical implementation
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
C3
Conferentie
2012
2011
CyClus3D: a Cytoscape plugin for clustering network motifs in integrated networks
Pieter Audenaert
Thomas Van Parys
Florian Brondel
Mario Pickavet
Piet Demeester
Yves Van de Peer
Tom Michoel
A1
Artikel in een tijdschrift
in
BIOINFORMATICS
2011
2010
The predecessor and the accounting algorithm speed up shortest path calculations in traffic routing applications
Sofie Demeyer
Jan Goedgebeur
Pieter Audenaert
Mario Pickavet
Piet Demeester
C1
Conferentie
2010
2009
Contribution and role of network architectures in the footprint reduction of ICT
Mario Pickavet
Willem Vereecken
Sofie Demeyer
Pieter Audenaert
Didier Colle
Chris Develder
Piet Demeester
C3
Conferentie
2009
2008
Energy efficiency of ICT
Mario Pickavet
Ruth Van Caenegem
Sofie Demeyer
Pieter Audenaert
Brecht Vermeulen
Didier Colle
Bart Dhoedt
Piet Demeester
C3
Conferentie
2008
Energy footprint of ICT: future outlook and challenges
Mario Pickavet
Willem Vereecken
Sofie Demeyer
Pieter Audenaert
Didier Colle
Bart Dhoedt
Piet Demeester
C3
Conferentie
2008
Innovative ICT solutions for the routing and planning of multimodal transportation
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
C1
Conferentie
2008
Multimodal transport planning in a dynamic environment
Sofie Demeyer
Pieter Audenaert
Mario Pickavet
Piet Demeester
C1
Conferentie
2008
Survivability over multiple GMPLS domains
Dimitri Staessens
Pieter Audenaert
Didier Colle
Ilse Lievens
Mario Pickavet
Piet Demeester
P1
Conferentie
2008
The Higher-Order-Logic Formath
Pieter Audenaert
A1
Artikel in een tijdschrift
in
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN
2008
Worldwide energy needs for ICT: the rise of power-aware networking
Mario Pickavet
Willem Vereecken
Sofie Demeyer
Pieter Audenaert
Brecht Vermeulen
Chris Develder
Didier Colle
Bart Dhoedt
Piet Demeester
P1
Conferentie
2008
2007
Energy footprint of ICT
Mario Pickavet
Ruth Van Caenegem
Sofie Demeyer
Pieter Audenaert
Didier Colle
Piet Demeester
C3
Conferentie
2007
2006
ILP for reliability of multidomain optical links
Pieter Audenaert
Dimitri Staessens
Didier Colle
Mario Pickavet
Piet Demeester
C1
Conferentie
2006
Next generation optical scientific network
Pieter Audenaert
Sofie Verbrugge
Didier Colle
Ilse Lievens
Mario Pickavet
Piet Demeester
P1
Conferentie
2006
Optimizing reliable multidomain optical routing
Mario Pickavet
Pieter Audenaert
Dimitri Staessens
Didier Colle
Piet Demeester
P1
Conferentie
2006
Providing survivable interdomain connections over an optical backbone network
Dimitri Staessens
Pieter Audenaert
Didier Colle
Ilse Lievens
Mario Pickavet
Piet Demeester
C1
Conferentie
2006
Techno-economic concepts and techniques used for strategic planning of optical telecommunication networks (invited paper)
Sofie Verbrugge
Jan Van Ooteghem
Koen Casier
Pieter Audenaert
Didier Colle
Ilse Lievens
Mario Pickavet
Piet Demeester
C1
Conferentie
2006
2005
Formath: higher-order logic revised
Albert Hoogewijs
Pieter Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2005
Planning of transmission infrastructure to support next generation BELNET network
Sofie Verbrugge
Didier Colle
Ilse Lievens
Pieter Audenaert
Piet Demeester
C1
Conferentie
2005
Techno-economical optimizations in optical backbone networks
Koen Casier
Sofie Verbrugge
Pieter Audenaert
Didier Colle
Mario Pickavet
Piet Demeester
C1
Conferentie
2005
2004
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
Pieter Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2004
Formath: Higher-order logic revised
Albert Hoogewijs
Pieter Audenaert
C3
Conferentie
2004
Specificatie en verificatie van functionele programmatuur in hogere-orde-logica / Pieter Audenaert.
Pieter Audenaert
Proefschrift
2004
2003
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
Pieter Audenaert
C3
Conferentie
2003
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
Albert Hoogewijs
Pieter Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2003
Verifying Alfred-code in PVS
Pieter Audenaert
C3
Conferentie
2003
2002
A pvs-proof for a memory modeling problem is a proof?
Albert Hoogewijs
Pieter Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2002
Higher-order partial predicates in PVS
Pieter Audenaert
C3
Conferentie
2002
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
Albert Hoogewijs
Pieter Audenaert
C3
Conferentie
2002
2001
A PVS-Proof for a Memory Modeling Problem is a Proof!
Pieter Audenaert
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51
2001
Toward a Verified Generic Prooftool
Pieter Audenaert
C1
Conferentie
2001
2000
Memory modeling in PVS
Pieter Audenaert
C3
Conferentie
2000