Thomas Pedersen

According to our database, Thomas Pedersen authored at least 18 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Methods for Efficient Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist

Fundam. Informaticae, 2022

2021

Improvements in Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Reachability Problems - 15th International Conference, 2021

2019

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library.

Thomas Pedersen, Michele Albano, Brian Nielsen

Proceedings of the IECON 2019, 2019

2016

User constraints for reliable user-defined smart home scenarios.

Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov

J. Reliab. Intell. Environ., 2016

Toolchain for user-centered intelligent floor heating control.

Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou

Proceedings of the IECON 2016, 2016

2015

To Do and Not to Do: Constrained Scenarios for Safe Smart House.

Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou

Proceedings of the 2015 International Conference on Intelligent Environments, 2015

A Method for Model Checking Feature Interactions.

Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

Proceedings of the ICSOFT-EA 2015, 2015

Model Checking Feature Interactions.

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

2014

INTrEPID: A project on energy optimization in buildings.

Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 4th International Conference on Wireless Communications, 2014

2013

A Toolchain for Home Automation Controller Development.

Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

A Look-Ahead Approach to Secure Multiparty Protocols.

Mehmet Ercan Nergiz, A. Ercüment Çiçek, Thomas Pedersen, Yücel Saygin

IEEE Trans. Knowl. Data Eng., 2012

2011

Intra-project transfer of knowledge in information systems development firms.

Jan Terje Karlsen, Line Hagman, Thomas Pedersen

J. Syst. Inf. Technol., 2011

2010

Practical and Secure Integer Comparison and Interval Check.

Ahmet Erhan Nergiz, Mehmet Ercan Nergiz, Thomas Pedersen, Chris Clifton

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

2004

Badger - A Fast and Provably Secure MAC.

Martin Boesgaard, Ove Scavenius, Thomas Pedersen, Thomas Christensen, Erik Zenner

IACR Cryptol. ePrint Arch., 2004

The Rabbit Stream Cipher - Design and Security Analysis.

Martin Boesgaard, Thomas Pedersen, Mette Vesterager, Erik Zenner

IACR Cryptol. ePrint Arch., 2004

On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-Way Quantum Transmission.

Ivan Damgård, Thomas Pedersen, Louis Salvail

Proceedings of the Advances in Cryptology, 2004

Periodic Properties of Counter Assisted Stream Ciphers.

Ove Scavenius, Martin Boesgaard, Thomas Pedersen, Jesper Christiansen, Vincent Rijmen

Proceedings of the Topics in Cryptology, 2004

2003

Rabbit: A New High-Performance Stream Cipher.

Martin Boesgaard, Mette Vesterager, Thomas Pedersen, Jesper Christiansen, Ove Scavenius

Proceedings of the Fast Software Encryption, 10th International Workshop, 2003