Jan Madsen

Jan Madsen

Professor, Section Head, Deputy Director

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 114

2800 Kgs. Lyngby

Ph.
Fax +45 45 93 00 74
E-mail jama@dtu.dk
ORCID 0000-0002-5098-8454
Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
DTU news
Loading

Publications rss feed

2017
  PDF

Helbredstjek af dansk sundhedsteknologi

Nielsen, Niels Axel ; Bardram, Jakob Eyvind ; Madsen, Jan ; Jørgensen, John Bagterp ; Riis, Mark Bernhard ; Andersen, Henning Boje ; Sørensen, Helge Bjarup Dissing ; Svendsen, Winnie Edith ; Andersen, Peter E. ; Pryds, Nini ; Lauritsen, Sune Nordentoft ; Skov, Anne Ladegaard ; Buch, Martin Jensen ; Andersen, Morten ; Billund, Charlotte Holm ; Brückner, Lars ; Kruse, Stine ; Molzen, Jan Eiersted ; Odgaard, Mads H
Publisher: Technical University of Denmark (DTU), Report name: Helbredstjek af dansk sundhedsteknologi, pages: 72

Type: Report

Status: Published     |    Year: 2017

 

Simulation Approach for Timing Analysis of Genetic Logic Circuits

Baig, Hasan ; Madsen, Jan
in journal: A C S Synthetic Biology (ISSN: 2161-5063) (DOI: http://dx.doi.org/10.1021/acssynbio.6b00296), vol: 6, issue: 7, pages: 1169-1179, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1021/acssynbio.6b00296

 

Paper-Based Digital Microfluidic Chip for Multiple Electrochemical Assay Operated by a Wireless Portable Control System

Ruecha, Nipapan ; Lee, Jumi ; Chae, Heedo ; Cheong, Haena ; Soum, Veasna ; Preechakasedkit, Pattarachaya ; Chailapakul, Orawon ; Tanev, Georgi Plamenov ; Madsen, Jan ; Rodthongkum, Nadnudda ; Kwon, Oh-Sun ; Shin, Kwanwoo
in journal: Advanced Materials Technologies (ISSN: 2365-709x) (DOI: http://dx.doi.org/10.1002/admt.201600267), vol: 2, issue: 3, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1002/admt.201600267

  PDF

Test-Driven, Model-Based Systems Engineering.

Munck, Allan ; Madsen, Jan (Main supervisor) ; Lindqvist, Lars ; Schmidt, Flemming (Supervisor) ; Pop, Paul (Supervisor)
DTU Compute, pages: 237

Type: Ph.D. thesis

Status: Published     |    Year: 2017

 

Synthesis of on-chip control circuits for mVLSI biochips

Potluri, Seetal ; Schneider, Alexander Rüdiger ; Hørslev-Petersen, Martin ; Pop, Paul ; Madsen, Jan
part of: Proceedings of 20th Design, Automation and Test in Europe (ISBN: 9783981537093), pages: 1799-1804, 2017, IEEE,
Presented at:
20th Design, Automation and Test in Europe, 2017, Lausanne

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.23919/DATE.2017.7927284

  PDF

Logic analysis and verification of n-input genetic logic circuits

Baig, Hasan ; Madsen, Jan
part of: Proceedings of 20th Design, Automation and Test in Europe (ISBN: 9783981537093), pages: 654-657, 2017, IEEE,
Presented at:
20th Design, Automation and Test in Europe, 2017, Lausanne

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.23919/DATE.2017.7927070

 

Waste-aware fluid volume assignment for flow-based microfluidic biochips

Schneider, Alexander Rüdiger ; Pop, Paul ; Madsen, Jan
part of: 2017 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP) (ISBN: 9781538629529), pages: 1-6, 2017, IEEE,
Presented at:
2017 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS, 2017, Bordeaux

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1109/DTIP.2017.7984507

  PDF

A Top-down Approach to Genetic Circuit Synthesis and Optimized Technology Mapping

Baig, Hasan ; Madsen, Jan
part of: Proceedings of 9th International Workshop on Bio-Design Automation, 2017,
Presented at:
9th International Workshop on Bio-Design Automation, 2017, Pittsburgh

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017

  PDF

Taming Living Logic using Formal Methods

Baig, Hasan ; Madsen, Jan
part of: Models, Algorithms, Logics and Tools (ISBN: 9783319631202), pages: 503–515, 2017, Springer,
Presented at:
KiMfest, 2017, Aalborg

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1007/978-3-319-63121-9_25


http://www.academy.compute.dtu.dk/service/phonebook/person?id=1562&tab=2&qt=dtupublicationquery
25 SEPTEMBER 2017