Thomas Pedersen

20 papers A* 2B 2C 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
Methods for Efficient Unfolding of Colored Petri Nets.
CoRR
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
2022 J jnl
Methods for Efficient Unfolding of Colored Petri Nets.
Fundam. Informaticae
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
2021 — conf
Improvements in Unfolding of Colored Petri Nets.
RP
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
2019 C conf
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library.
IECON
Thomas Pedersen, Michele Albano, Brian Nielsen
2016 C conf
Toolchain for user-centered intelligent floor heating control.
IECON
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
2016 J jnl
User constraints for reliable user-defined smart home scenarios.
J. Reliab. Intell. Environ.
Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov
2015 — conf
A Method for Model Checking Feature Interactions.
ICSOFT-EA
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
2015 — conf
Model Checking Feature Interactions.
ICSOFT (Selected Papers)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
2015 B conf
To Do and Not to Do: Constrained Scenarios for Safe Smart House.
Intelligent Environments
Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou
2014 — conf
INTrEPID: A project on energy optimization in buildings.
VITAE
Thomas Pedersen, Anders P. Ravn, Arne Skou
2013 — conf
A Toolchain for Home Automation Controller Development.
EUROMICRO-SEAA
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
2012 J jnl
A Look-Ahead Approach to Secure Multiparty Protocols.
IEEE Trans. Knowl. Data Eng.
Mehmet Ercan Nergiz, A. Ercüment Çiçek, Thomas Pedersen, Yücel Saygin
2011 J jnl
Intra-project transfer of knowledge in information systems development firms.
J. Syst. Inf. Technol.
Jan Terje Karlsen, Line Hagman, Thomas Pedersen
2010 — conf
Practical and Secure Integer Comparison and Interval Check.
SocialCom/PASSAT
Ahmet Erhan Nergiz, Mehmet Ercan Nergiz, Thomas Pedersen, Chris Clifton
2004 J jnl
Badger - A Fast and Provably Secure MAC.
IACR Cryptol. ePrint Arch.
Martin Boesgaard, Ove Scavenius, Thomas Pedersen, Thomas Christensen, Erik Zenner
2004 A* conf
On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-Way Quantum Transmission.
EUROCRYPT
Ivan Damgård, Thomas Pedersen, Louis Salvail
2004 J jnl
On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission.
IACR Cryptol. ePrint Arch.
Ivan Damgård, Thomas Pedersen, Louis Salvail
2004 B conf
Periodic Properties of Counter Assisted Stream Ciphers.
CT-RSA
Ove Scavenius, Martin Boesgaard, Thomas Pedersen, Jesper Christiansen, Vincent Rijmen
2004 J jnl
The Rabbit Stream Cipher - Design and Security Analysis.
IACR Cryptol. ePrint Arch.
Martin Boesgaard, Thomas Pedersen, Mette Vesterager, Erik Zenner
2003 A* conf
Rabbit: A New High-Performance Stream Cipher.
FSE
Martin Boesgaard, Mette Vesterager, Thomas Pedersen, Jesper Christiansen, Ove Scavenius