11 papers:
RE-2014-ChopraDAGMS #named- Protos: Foundations for engineering innovative sociotechnical systems (AKC, FD, FBA, PG, JM, MPS), pp. 53–62.
ICEIS-v3-2013-SilvaSH #design- Co-authoring Proto-patterns to Support on Designing Systems to Be Adequate for Users´ Diversity (JCAS, MARS, ECMH), pp. 164–169.
SAC-PL-J-2011-ViroliBU13 #semantics- Operational semantics of proto (MV, JB, KU), pp. 633–656.
- SAC-2011-ViroliBC #semantics
- Core operational semantics of Proto (MV, JB, MC), pp. 1325–1332.
OOPSLA-2010-QuillienW #agile- Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile (JQ, DW), pp. 901–917.
ICML-2009-Makino #network #predict #representation- Proto-predictive representation of states with simple recurrent temporal-difference networks (TM), pp. 697–704.
ECSA-2007-NavarroLMR #architecture #automation #generative- Supporting the Automatic Generation of Proto-Architectures (EN, PL, JJM, IR), pp. 325–329.
PPDP-2006-Volanschi #compilation #confluence #named- Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.
- ICML-2005-Mahadevan #learning
- Proto-value functions: developmental reinforcement learning (SM), pp. 553–560.
TRI-Ada-C-1992-Acosta #ada #concurrent #prototype #source code #specification- Specification Prototyping of Concurrent Ada Programs in DProto (RDA), pp. 258–266.
SEKE-1990-Bottcher #database #deduction #development #programming- Development and Programming of Deductive Databases with PROTOS-L (SB), pp. 171–176.
