Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systemsMukelabai, Mukelabai ; Nešić, Damir ; Maro, Salome ; Berger, Thorsten ; Steghöfer, Jan-Philipp2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.155-166 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Knowledge Representation and Reasoning According to an Advanced N-Ary ModelZarri, Gian PieroThe Artificial intelligence review, 2019, Vol.51 (4), p.373-376 [Periódico revisado por pares]Springer VerlagTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Improved algorithms for finding low-weight polynomial multiples in F2[x] and some cryptographic applicationsLöndahl, Carl ; Johansson, ThomasDesigns, codes and cryptography, 2014, Vol.73 (2), p.625-640 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Small secret exponent attack on RSA variant with modulus N=prqSarkar, SantanuDesigns, codes and cryptography, 2014, Vol.73 (2), p.383-392 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Decompositions of λKvRODGER, C. A ; WESTBROOK, S. KJournal of combinatorial optimization, 2007, Vol.14 (2-3), p.259-265 [Periódico revisado por pares]Norwell, MA: SpringerTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Special Issue of the Sixth International Conference on Principle and Practice of Constraint ProgrammingDECHTER, RinaConstraints (Dordrecht), 2003, Vol.8 (3) [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Computer science research supporting high-performance applicationsOLDEHOEFT, RodJournal of supercomputing, 2006, Vol.36 (2) [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Special Issue on Real Time Networks and Systems: Proceedings of 24th International Conference on Real-Time Networks and Systems (RTNS 2016), held at Université de Bretagne Occidentale (November 2016, in Brest, France)Faucou, Sébastien ; Pinho, Luís MiguelReal-Time Systems, 2018, Vol.54 (4) [Periódico revisado por pares]Springer VerlagTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Intelligent Infrastructure: Technology Innovations for Capitalizing on Efficient Critical InfrastructuresPRASAD, Ramjee ; RUGGIERI, MarinaWireless personal communications, 2014, Vol.76 (2) [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Special Issue on Intelligent Infrastructure Selected Topics from the Strategic Workshop, May 21-23, 2013, Marbella, SpainPRASAD, Ramjee ; RUGGIERI, MarinaWireless personal communications, 2014, Vol.76 (2), p.125-147 [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |