| 2024 Q1 |
|
| 2024 Q1 |
|
| Computational Analysis of Social and Organizational Systems (CASOS) Summer Institute Workshop |
|
| Zawadzki_Projection_Algorithm_AP.pdf |
|
| Zawadzki_Generalization_SAT_AP.pdf |
|
| Ahmad_A_Epistemic_Formulation_RH.pdf |
|
| Abi-Antoun_Object_Graphs.pdf |
|
| Abi-Antoun_Object_Graphs.pdf |
|
| Caires_Behavioral_Polymorphism_FP.pdf |
|
| Simsa_Efficient_Exploratory_Test_GG.pdf |
|
| Vanciu_Extracting_Dataflow.pdf |
|
| Mezzour_Global_Mapping_KC.pdf |
|
| Toninho_Higher_Order_Processes_FP.pdf |
|
| Camara_Impact_Models_DG.pdf |
|
| Maass_In_Nimbo_Sandboxing_JA.pdf |
|
| Blum_Landslide_GG.pdf |
|
| Aldrich_Language_Based_Arch_Control_JA.pdf |
|
| Caires_Linear_Logic_Props_FP.pdf |
|
| Perez_Linear_Logocal_RElations_FP.pdf |
|
| Griffith_LiquidPI.pdf |
|
| Caires_Logic_Based_Domain_FP.pdf |
|
| Gennari_Measuring_Attack_Surface_DG.pdf |
|
| Sadeghi_Mining_Categorized_Software.pdf |
|
| Hunsen_PRe_Based_Variability_CK.pdf |
|
| Simsa_Scalable_Dynamic_GG.pdf |
|