by Dasgupta, P., Chakrabarti, A., Chakrabarti, P.P.
Published in Design Automation Conference, 7th Asia and South Pacific/ VLSI Design, 15th International Conference on (ASP-DAC/VLSI Design 2002) (2002)

by Dasgupta, Pallab, Chakrabarti, Arindam, Chakrabarti, P. P.
Published in Design Automation Conference, 7th Asia and South Pacific/ VLSI Design, 15th International Conference on (ASP-DAC/VLSI Design 2002) (07.01.2002)

by Longley, John, Normann, Dag
Published in Higher-Order Computability (2015)

by Aguirre, Nazareno M., Frias, Marcelo F., Ponzio, Pablo, Cardiff, Brian J., Galeotti, Juan P., Regis, Germán
Published in Formal Methods and Software Engineering (2008)

by Homer, Steven, Selman, Alan L
Published in Computability and Complexity Theory (2011)

by Rawlings, Blake C., Lafortune, Stephane, Ydstie, B. Erik
Published in IEEE transactions on control systems technology (01.03.2020)

by Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian
Published in Mobile networks and applications (01.12.2021)

by Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Hirsch, Michael D.
Published in Computational complexity (01.09.1991)

by Clemente, Lorenzo, Parys, Pawel, Salvati, Sylvain, Walukiewicz, Igor
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by Lickteig, Thomas, Werther, Kai
Published in Computational complexity (01.09.1995)

by B rgisser, Peter, Karpinski, Marek, Lickteig, Thomas
Published in Computational complexity (01.06.1991)

by Belta, Calin
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)