Lasse S. Jensen

From MaRDI portal
Person:1662529

Available identifiers

zbMath Open jensen.lasse-sMaRDI QIDQ1662529

List of research outcomes





PublicationDate of PublicationType
Model checking and synthesis for branching multi-weighted logics2019-06-20Paper
A distributed fixed-point algorithm for extended dependency graphs2018-10-02Paper
Extended dependency graphs and efficient distributed fixed-point computation2018-08-20Paper
Microscopic polarization in ropes and films of aligned carbon nanotubes2008-02-22Paper

Research outcomes over time

This page was built for person: Lasse S. Jensen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1662529&oldid=11102214"
Powered by MediaWiki