Navegar

Colección

Datos Estadísticas

Lista de

Computer programming languages
16
"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623
"Confluence in Probabilistic Rewriting" (2018) Díaz-Caro, A.; Martínez, G. Electronic Notes in Theoretical Computer Science. 338:115-131
"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674
"On the computing power of fuzzy Turing machines" (2008) Bedregal, B.C.; Figueira, S. Fuzzy Sets and Systems. 159(9):1072-1083
"A web-based architecture for temporal OLAP" (2008) Vaisman, A.A.; Izquierdo, A.; Ktenas, M. International Journal of Web Engineering and Technology. 4(4):465-494
"A simple linear time algorithm for the isomorphism problem on proper circular-arc graphs" (2008) Lin, M.C.; Soulignac, F.J.; Szwarcfiter, J.L. 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008. 5124 LNCS:355-366
"6th international workshop on scenarios and state machines: Models, algorithms, and tools (SCESM07)" (2007) Grieskamp, W.; Kicillof, N. 29th International Conference on Software Engineering, ICSE 2007:129-130
"Aspect-oriented weaving and the.NET common language runtime" (2007) Schmied, F.; Cyment, A. IET Software. 1(6):251-262
"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526
"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450
"Visual timed event scenarios" (2004) Alfonso, A.; Braberman, V.; Kicillof, N.; Olivero, A. Proceedings - 26th International Conference on Software Engineering, ICSE 2004. 26:168-177
"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473
"Pure type systems with de Bruijn indices" (2002) Kamareddine, F.; Ríos, A. Computer Journal. 45(2):187-201
"Extending timed automata for compositional modeling healthy timed systems" (2002) Braberman, V.; Olivero, A. QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001). 52(3):227-245
"Performance analysis of real-time DEVS models" (2002) Glinsky, E.; Wainer, G. Proceedings of the 2002 Winter Simulation Conference. 1:588-594